{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,8]],"date-time":"2026-02-08T22:26:27Z","timestamp":1770589587546,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642359743","type":"print"},{"value":"9783642359750","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35975-0_6","type":"book-chapter","created":{"date-parts":[[2013,1,8]],"date-time":"2013-01-08T01:07:32Z","timestamp":1357607252000},"page":"99-118","source":"Crossref","is-referenced-by-count":9,"title":["Finite Fuzzy Description Logics and Crisp Representations"],"prefix":"10.1007","author":[{"given":"Fernando","family":"Bobillo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Umberto","family":"Straccia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2003)"},{"issue":"4","key":"6_CR2","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/j.websem.2008.05.001","volume":"6","author":"B. Cuenca-Grau","year":"2008","unstructured":"Cuenca-Grau, B., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P.F., Sattler, U.: OWL 2: The next step for OWL. Journal Web Semantics\u00a06(4), 309\u2013322 (2008)","journal-title":"Journal Web Semantics"},{"issue":"4","key":"6_CR3","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/j.websem.2008.04.001","volume":"6","author":"T. Lukasiewicz","year":"2008","unstructured":"Lukasiewicz, T., Straccia, U.: Managing uncertainty and vagueness in Description Logics for the Semantic Web. Journal of Web Semantics\u00a06(4), 291\u2013308 (2008)","journal-title":"Journal of Web Semantics"},{"key":"6_CR4","unstructured":"Liau, C.J.: On rough terminological logics. In: Proceedings of the 4th International Workshop on Rough Sets, Fuzzy Sets and Machine Discovery, RSFD 1996, pp. 47\u201354 (1996)"},{"issue":"2-4","key":"6_CR5","first-page":"147","volume":"57","author":"P. Doherty","year":"2003","unstructured":"Doherty, P., Grabowski, M., \u0141ukaszewicz, W., Sza\u0142as, A.: Towards a framework for approximate ontologies. Fundamenta Informaticae\u00a057(2-4), 147\u2013165 (2003)","journal-title":"Fundamenta Informaticae"},{"key":"6_CR6","unstructured":"Schlobach, S., Klein, M.C.A., Peelen, L.: Description logics with approximate definitions: Precise modeling of vague concepts. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence, IJCAI 2007, pp. 557\u2013562 (2007)"},{"issue":"5","key":"6_CR7","doi-asserted-by":"publisher","first-page":"600","DOI":"10.1016\/j.ins.2008.10.021","volume":"179","author":"Y. Jiang","year":"2009","unstructured":"Jiang, Y., Wang, J., Tang, S., Xiao, B.: Reasoning with rough description logics: An approximate concepts approach. Information Sciences\u00a0179(5), 600\u2013612 (2009)","journal-title":"Information Sciences"},{"key":"6_CR8","unstructured":"Cerami, M., Esteva, F., Bou, F.: Decidability of a Description Logic over infinite-valued product logic. In: Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning, KR 2010, pp. 203\u2013213. AAAI Press (2010)"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Baader, F., Pe\u00f1aloza, R.: Are fuzzy Description Logics with General Concept Inclusion axioms decidable? In: Proceedings of the 20th IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2011, pp. 1735\u20131742. IEEE Press (2011)","DOI":"10.1109\/FUZZY.2011.6007520"},{"key":"6_CR10","unstructured":"Baader, F., Pe\u00f1aloza, R.: GCIs make reasoning in fuzzy DL with the product t-norm undecidable. In: Proceedings of the 24th International Workshop on Description Logics, DL 2011. CEUR Workshop Proceedings, vol.\u00a0745 (2011)"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-642-24364-6_5","volume-title":"Frontiers of Combining Systems","author":"F. Baader","year":"2011","unstructured":"Baader, F., Pe\u00f1aloza, R.: On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm. In: Tinelli, C., Sofronie-Stokkermans, V. (eds.) FroCoS 2011. LNCS, vol.\u00a06989, pp. 55\u201370. Springer, Heidelberg (2011)"},{"issue":"1","key":"6_CR12","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 Logics more general. Fuzzy Sets and Systems\u00a0154(1), 1\u201315 (2005)","journal-title":"Fuzzy Sets and Systems"},{"issue":"1","key":"6_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.fss.2011.02.012","volume":"172","author":"F. Bobillo","year":"2011","unstructured":"Bobillo, F., Bou, F., Straccia, U.: On the failure of the finite model property in some fuzzy Description Logics. Fuzzy Sets and Systems\u00a0172(1), 1\u201312 (2011)","journal-title":"Fuzzy Sets and Systems"},{"issue":"4","key":"6_CR14","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1142\/S0218488509006121","volume":"17","author":"F. Bobillo","year":"2009","unstructured":"Bobillo, F., Delgado, M., G\u00f3mez-Romero, J.: Crisp representations and reasoning for fuzzy ontologies. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems\u00a017(4), 501\u2013530 (2009)","journal-title":"International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems"},{"issue":"3","key":"6_CR15","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1016\/j.ijar.2008.10.003","volume":"50","author":"F. Bobillo","year":"2009","unstructured":"Bobillo, F., Delgado, M., G\u00f3mez-Romero, J., Straccia, U.: Fuzzy Description Logics under G\u00f6del semantics. International Journal of Approximate Reasoning\u00a050(3), 494\u2013514 (2009)","journal-title":"International Journal of Approximate Reasoning"},{"issue":"4","key":"6_CR16","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 \n                    \n                      \n                    \n                    $\\mathcal{SROIQ}$\n                  . Information Sciences\u00a0181(4), 758\u2013778 (2011)","journal-title":"Information Sciences"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"H\u00e1jek, P.: What does mathematical fuzzy logic offer to Description Logic? In: Capturing Intelligence: Fuzzy Logic and the Semantic Web, ch. 5, pp. 91\u2013100. Elsevier (2006)","DOI":"10.1016\/S1574-9576(06)80007-9"},{"issue":"6","key":"6_CR18","doi-asserted-by":"publisher","first-page":"632","DOI":"10.1016\/j.ijar.2010.01.001","volume":"51","author":"A. Garc\u00eda-Cerda\u00f1a","year":"2010","unstructured":"Garc\u00eda-Cerda\u00f1a, A., 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":"6_CR19","doi-asserted-by":"crossref","unstructured":"Cerami, M., Garc\u00eda-Cerda\u00f1a, A., Esteva, F.: From classical Description Logic to n\u2013graded fuzzy Description Logic. In: Proceedings of the 19th IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2010, pp. 1506\u20131513. IEEE Press (2010)","DOI":"10.1109\/FUZZY.2010.5584114"},{"issue":"7","key":"6_CR20","doi-asserted-by":"publisher","first-page":"771","DOI":"10.1002\/int.4550080703","volume":"8","author":"G. Mayor","year":"1993","unstructured":"Mayor, G., Torrens, J.: On a class of operators for expert systems. International Journal of Intelligent Systems\u00a08(7), 771\u2013778 (1993)","journal-title":"International Journal of Intelligent Systems"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Mayor, G., Torrens, J.: Triangular norms in discrete settings. In: Logical, Algebraic, Analytic, and Probabilistic Aspects of Triangular Norms, ch. 7, pp. 189\u2013230. Elsevier (2005)","DOI":"10.1016\/B978-044451814-9\/50007-0"},{"issue":"1","key":"6_CR22","first-page":"3","volume":"40","author":"M. Mas","year":"2004","unstructured":"Mas, M., Monserrat, M., Torrens, J.: S-implications and R-implications on a finite chain. Kybernetika\u00a040(1), 3\u201320 (2004)","journal-title":"Kybernetika"},{"issue":"3","key":"6_CR23","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1016\/j.ijar.2005.05.001","volume":"40","author":"M. Mas","year":"2005","unstructured":"Mas, M., Monserrat, M., Torrens, J.: On two types of discrete implications. International Journal of Approximate Reasoning\u00a040(3), 262\u2013279 (2005)","journal-title":"International Journal of Approximate Reasoning"},{"issue":"1","key":"6_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1142\/S0218488506003807","volume":"14","author":"U. Straccia","year":"2006","unstructured":"Straccia, U.: Description Logics over lattices. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems\u00a014(1), 1\u201316 (2006)","journal-title":"International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems"},{"issue":"2","key":"6_CR25","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1016\/j.knosys.2009.11.002","volume":"23","author":"Y. Jiang","year":"2010","unstructured":"Jiang, Y., Tang, Y., Wang, J., Deng, P., Tang, S.: Expressive fuzzy Description Logics over lattices. Knowledge-Based Systems\u00a023(2), 150\u2013161 (2010)","journal-title":"Knowledge-Based Systems"},{"key":"6_CR26","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"L.A. Zadeh","year":"1965","unstructured":"Zadeh, L.A.: Fuzzy sets. Information and Control\u00a08, 338\u2013353 (1965)","journal-title":"Information and Control"},{"key":"6_CR27","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible \n                    \n                      \n                    \n                    $\\mathcal{SROIQ}$\n                  . In: Proceedings of the 10th International Conference of Knowledge Representation and Reasoning, KR 2006, pp. 452\u2013457. IEEE Press (2006)"},{"key":"6_CR28","unstructured":"Stoilos, G., Stamou, G., Pan, J.Z.: Handling imprecise knowledge with fuzzy Description Logic. In: Proceedings of the 2006 International Workshop on Description Logics, DL 2006, pp. 119\u2013126 (2006)"},{"key":"6_CR29","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"},{"issue":"6","key":"6_CR30","doi-asserted-by":"publisher","first-page":"656","DOI":"10.1016\/j.ijar.2010.01.005","volume":"51","author":"G. Stoilos","year":"2010","unstructured":"Stoilos, G., Stamou, G., Pan, J.Z.: Fuzzy extensions of OWL: Logical properties and reduction to fuzzy Description Logics. International Journal of Approximate Reasoning\u00a051(6), 656\u2013679 (2010)","journal-title":"International Journal of Approximate Reasoning"}],"container-title":["Lecture Notes in Computer Science","Uncertainty Reasoning for the Semantic Web II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35975-0_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T13:34:05Z","timestamp":1620135245000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35975-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642359743","9783642359750"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35975-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}