{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:19:49Z","timestamp":1760170789662},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642317149"},{"type":"electronic","value":"9783642317156"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31715-6_26","type":"book-chapter","created":{"date-parts":[[2012,7,20]],"date-time":"2012-07-20T20:42:14Z","timestamp":1342816934000},"page":"235-244","source":"Crossref","is-referenced-by-count":2,"title":["On Finitely Valued Fuzzy Description Logics: The \u0141ukasiewicz Case"],"prefix":"10.1007","author":[{"given":"Marco","family":"Cerami","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesc","family":"Esteva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00c0ngel","family":"Garc\u00eda-Cerda\u00f1a","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"26_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.fss.2005.03.005","volume":"154","author":"P. H\u00e1jek","year":"2005","unstructured":"H\u00e1jek, P.: Making fuzzy description logic more general. Fuzzy Sets and Systems\u00a0154(1), 1\u201315 (2005)","journal-title":"Fuzzy Sets and Systems"},{"issue":"6","key":"26_CR2","doi-asserted-by":"publisher","first-page":"632","DOI":"10.1016\/j.ijar.2010.01.001","volume":"51","author":"\u00c0. Garc\u00eda-Cerda\u00f1a","year":"2010","unstructured":"Garc\u00eda-Cerda\u00f1a, \u00c0., Armengol, E., Esteva, F.: Fuzzy Description Logics and t-norm based fuzzy logics. International Journal of Approximate Reasoning\u00a051(6), 632\u2013655 (2010)","journal-title":"International Journal of Approximate Reasoning"},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"Cerami, M., Garc\u00eda-Cerda\u00f1a, \u00c0., Esteva, F.: From classical description logic to n-graded fuzzy description logic. In: Proceedings of the FUZZ-IEEE 2010. WCCI 2010 IEEE World Congress on Computational Intelligence, pp. 1506\u20131513 (2010)","DOI":"10.1109\/FUZZY.2010.5584114"},{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"26_CR4","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, New York (2003)"},{"key":"26_CR5","unstructured":"Yen, J.: Generalizing Term Subsumption Languages to Fuzzy Logic. In: Proc. of the 12th IJCAI, Sidney, Australia, pp. 472\u2013477 (1991)"},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"Tresp, C.B., Molitor, R.: A Description Logic for Vague Knowledge. Technical Report RWTH-LTCS Report 98-01. Aachen University of Technology (1998)","DOI":"10.25368\/2022.77"},{"key":"26_CR7","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1613\/jair.813","volume":"14","author":"U. Straccia","year":"2001","unstructured":"Straccia, U.: Reasoning within Fuzzy Description Logics. Journal of Artificial Intelligence Research\u00a014, 137\u2013166 (2001)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"26_CR8","series-title":"Studies in Logic","volume-title":"Handbook of Mathematical Fuzzy Logic","year":"2011","unstructured":"Cintula, P., H\u00e1jek, P., Noguera, C. (eds.): Handbook of Mathematical Fuzzy Logic. Studies in Logic, vol.\u00a01,2. College Publications, London (2011)"},{"key":"26_CR9","series-title":"Trends in Logic. Studia Logica Library","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of Fuzzy Logic","author":"P. H\u00e1jek","year":"1998","unstructured":"H\u00e1jek, P.: Metamathematics of Fuzzy Logic. Trends in Logic. Studia Logica Library, vol.\u00a04. Kluwer Academic Publishers, Dordrecht (1998)"},{"key":"26_CR10","doi-asserted-by":"publisher","first-page":"758","DOI":"10.1016\/j.ins.2010.10.020","volume":"181","author":"F. Bobillo","year":"2011","unstructured":"Bobillo, F., Straccia, U.: Reasoning with the Finitely Many-valued \u0141ukasiewicz Fuzzy Description Logic SROIQ. Information Sciences\u00a0181, 758\u2013778 (2011)","journal-title":"Information Sciences"},{"key":"26_CR11","unstructured":"Borgwardt, S., Pe\u00f1aloza, R.: Description logics over lattices with multi-valued ontologies. In: Proceedings of the Twenty-Second International Conference on Artificial Intelligence, pp. 768\u2013773 (2011)"},{"key":"26_CR12","series-title":"Trends in Logic\u2014Studia Logica Library","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9480-6","volume-title":"Algebraic Foundations of Many-Valued Reasoning","author":"R. Cignoli","year":"2000","unstructured":"Cignoli, R., D\u2019Ottaviano, I., Mundici, D.: Algebraic Foundations of Many-Valued Reasoning. Trends in Logic\u2014Studia Logica Library, vol.\u00a07. Kluwer Academic Publishers, Dordrecht (2000)"},{"issue":"1","key":"26_CR13","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/BF00374052","volume":"47","author":"R. Tuziak","year":"1988","unstructured":"Tuziak, R.: An Axiomatization of the Finite-Valued \u0141ukasiewicz Calculus. Studia Logica\u00a047(1), 49\u201355 (1988)","journal-title":"Studia Logica"},{"issue":"5","key":"26_CR14","doi-asserted-by":"publisher","first-page":"739","DOI":"10.1093\/logcom\/exp062","volume":"21","author":"F. Bou","year":"2011","unstructured":"Bou, F., Esteva, F., Godo, L., Rodr\u00edguez, R.: On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice. Journal of Logic and Computation\u00a021(5), 739\u2013790 (2011)","journal-title":"Journal of Logic and Computation"},{"issue":"3","key":"26_CR15","first-page":"247","volume":"14","author":"U. Straccia","year":"2007","unstructured":"Straccia, U., Bobillo, F.: Mixed Integer Programming, General Concept Inclusions and Fuzzy Description Logics. Mathware and Soft Computing\u00a014(3), 247\u2013259 (2007)","journal-title":"Mathware and Soft Computing"},{"key":"26_CR16","doi-asserted-by":"crossref","unstructured":"Baader, F., Horrocks, I., Sattler, U.: Description logics. In: van Harmelin, F., Lifshitz, V., Porter, B. (eds.) Handbook of Knowledge Representation, pp. 135\u2013179. Elsevier (2008)","DOI":"10.1016\/S1574-6526(07)03003-9"},{"key":"26_CR17","unstructured":"Bou, F., Cerami, M., Esteva, F.: Finite-valued \u0141ukasiewicz Modal Logic is PSPACE-complete. In: Proceedings of the IJCAI 2011, pp. 774\u2013779 (2011)"},{"key":"26_CR18","unstructured":"Bobillo, F., Straccia, U.: Finite fuzzy description logics: A crisp representation for finite fuzzy $\\mathcal{ALCH}$ . In: Bobillo, F., et al. (eds.) Proceedings of the 6th ISWC Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2010). CEUR Workshop Proceedings, vol.\u00a0654, pp. 61\u201372 (November 2010)"}],"container-title":["Communications in Computer and Information Science","Advances in Computational Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31715-6_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,24]],"date-time":"2023-06-24T11:17:48Z","timestamp":1687605468000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31715-6_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642317149","9783642317156"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31715-6_26","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2012]]}}}