{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T18:03:01Z","timestamp":1710266581378},"reference-count":15,"publisher":"Elsevier","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1016\/s1574-9576(06)80007-9","type":"book-chapter","created":{"date-parts":[[2007,10,4]],"date-time":"2007-10-04T14:22:42Z","timestamp":1191507762000},"page":"91-100","source":"Crossref","is-referenced-by-count":11,"title":["Chapter 5 What does mathematical fuzzy logic offer to description logic?"],"prefix":"10.1016","author":[{"given":"Petr","family":"H\u00e1jek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1574-9576(06)80007-9_bib1","article-title":"Logic engineering \u2014 the case of description and hybrid logics","author":"Areces","year":"2000","journal-title":"Thesis, ILLC Univ. Amsterdam"},{"key":"10.1016\/S1574-9576(06)80007-9_bib2","series-title":"The Description Logic Handbook \u2014 Theory, Interpretation and Applications","year":"2003"},{"key":"10.1016\/S1574-9576(06)80007-9_bib3","series-title":"Proc. Int. Workshop on Fuzzy Logic and Applications (WILF'03)","article-title":"Some complexity results on fuzzy description logics","author":"Bonatti","year":"2003"},{"key":"10.1016\/S1574-9576(06)80007-9_bib4","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1016\/0004-3702(96)00004-5","article-title":"On the relative expressiveness of description logics and predicate logics","volume":"82","author":"Borgida","year":"1996","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-9576(06)80007-9_bib5","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1007\/s005000000044","article-title":"Basic logic is the logic of continuous t-norms and their residua","volume":"4","author":"Cignoli","year":"2000","journal-title":"Soft Comput."},{"key":"10.1016\/S1574-9576(06)80007-9_bib6","series-title":"Metamathematics of Fuzzy Logic","author":"H\u00e1jek","year":"1998"},{"key":"10.1016\/S1574-9576(06)80007-9_bib7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.fss.2005.03.005","article-title":"Making fuzzy dynamic logic more powerful","volume":"154","author":"H\u00e1jek","year":"2005","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S1574-9576(06)80007-9_bib8","unstructured":"P. H\u00e1jek, P. Cintula, On theories and models in fuzzy predicate logic, submitted for publication."},{"key":"10.1016\/S1574-9576(06)80007-9_bib9","first-page":"453","article-title":"A note on the complexity of individual t-algebras","volume":"12","author":"Hanikov\u00e1","year":"2002","journal-title":"Neural Network World"},{"key":"10.1016\/S1574-9576(06)80007-9_bib10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","article-title":"Attributive concept descriptions with complements","volume":"48","author":"Schmidt-Schauss","year":"1991","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-9576(06)80007-9_bib11","unstructured":"U. Straccia, A fuzzy description logic Proc. AAAI'98, Madison, WI, on web."},{"key":"10.1016\/S1574-9576(06)80007-9_bib12","first-page":"137","article-title":"Reasoning with fuzzy description logics","volume":"14","author":"Straccia","year":"2001","journal-title":"J. AI Research"},{"key":"10.1016\/S1574-9576(06)80007-9_bib13","article-title":"Fuzzy description logics with concrete domains","author":"Straccia","year":"2005"},{"key":"10.1016\/S1574-9576(06)80007-9_bib14","unstructured":"C. B. Tresp, R. Molitor, A description logic for vague knowledge RWTH-LTCS Report 98-01, Aachen Univ. of Technology."},{"key":"10.1016\/S1574-9576(06)80007-9_bib15","unstructured":"J. Yen, Generalizing term subsumption languages to fuzzy logic IJCAI'91, 472\u2013477."}],"container-title":["Capturing Intelligence","Fuzzy Logic and the Semantic Web"],"original-title":[],"deposited":{"date-parts":[[2019,1,3]],"date-time":"2019-01-03T17:24:26Z","timestamp":1546536266000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1574957606800079"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1016\/s1574-9576(06)80007-9","relation":{},"ISSN":["1574-9576"],"issn-type":[{"value":"1574-9576","type":"print"}],"subject":[],"published":{"date-parts":[[2006]]}}}