{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:40:11Z","timestamp":1762101611127},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2014,10,14]],"date-time":"2014-10-14T00:00:00Z","timestamp":1413244800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1007\/s10992-014-9329-3","type":"journal-article","created":{"date-parts":[[2014,10,13]],"date-time":"2014-10-13T12:35:38Z","timestamp":1413203738000},"page":"117-146","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["On the Decidability Status of Fuzzy A \u2112 C $\\mathcal {A}\\mathcal {L}\\mathcal {C}$ with General Concept Inclusions"],"prefix":"10.1007","volume":"44","author":[{"given":"Franz","family":"Baader","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Borgwardt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rafael","family":"Pe\u00f1aloza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,10,14]]},"reference":[{"key":"9329_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01051766","volume":"2","author":"F Baader","year":"1993","unstructured":"Baader, F., B\u00fcrckert, H.J., Nebel, B., Nutt, W., Smolka, G. (1993). On the expressivity of feature logics with negation, functional uncertainty, and sort equations. Journal of Logic Language and Information, 2, 1\u201318.","journal-title":"Journal of Logic Language and Information"},{"key":"9329_CR2","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (Eds.) (2003). The description logic handbook: theory, implementation, and applications. Cambridge University Press."},{"key":"9329_CR3","doi-asserted-by":"crossref","unstructured":"Baader, F., & Pe\u00f1aloza, R. (2011). Are fuzzy description logics with general concept inclusion axioms decidable? In Proceedings of the 2011 IEEE international conference on fuzzy systems (FUZZ-IEEE 2011) (pp. 1735\u20131742). IEEE Press.","DOI":"10.1109\/FUZZY.2011.6007520"},{"key":"9329_CR4","unstructured":"Baader, F., & Pe\u00f1aloza, R. (2011). On the undecidability of fuzzy description logics with GCIs and product t-norm. In: C. Tinelli, & V. Sofronie-Stokkermans (Eds.) In Proceedings of 8th international symposium on frontiers of combining systems (FroCoS 2011), lecture notes in computer science (Vol. 6989, pp. 55\u201370). Springer-Verlag."},{"key":"9329_CR5","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1013882326814","volume":"69","author":"F Baader","year":"2001","unstructured":"Baader, F., & Sattler, U. (2001). An overview of tableau algorithms for description logics. Studia Logica, 69, 5\u201340.","journal-title":"Studia Logica"},{"issue":"1","key":"9329_CR6","doi-asserted-by":"crossref","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. (2011). On the failure of the finite model property in some fuzzy description logics. Fuzzy Sets and Systems, 172(1), 1\u201312. doi: 10.1016\/j.fss.2011.02.012 .","journal-title":"Fuzzy Sets and Systems"},{"key":"9329_CR7","doi-asserted-by":"crossref","unstructured":"Bobillo, F., & Straccia, U. (2007). A fuzzy description logic with product t-norm. In Proceedings of the 2007 IEEE international conference on fuzzy systems (FUZZ-IEEE 2007) (pp. 1\u20136). IEEE Press.","DOI":"10.1109\/FUZZY.2007.4295443"},{"key":"9329_CR8","unstructured":"Bobillo, F., & Straccia, U. (2008). On qualified cardinality restrictions in fuzzy description logics under Lukasiewicz semantics. In Proceedings of the 12th international conference on information processing and managment of uncertainty in knowledge-based systems (IPMU 2008) (pp. 1008\u20131015)."},{"issue":"23","key":"9329_CR9","doi-asserted-by":"crossref","first-page":"3382","DOI":"10.1016\/j.fss.2009.03.006","volume":"160","author":"F Bobillo","year":"2009","unstructured":"Bobillo, F., & Straccia, U. (2009). Fuzzy description logics with general t-norms and datatypes. Fuzzy Sets and Systems, 160(23), 3382\u20133402.","journal-title":"Fuzzy Sets and Systems"},{"key":"9329_CR10","unstructured":"Borgwardt, S., Distel, F., Pe\u00f1aloza, R. (2014). Decidable G\u00f6del description logics without the finitely-valued model property. In C. Baral, G. De Giacomo, T. Eiter (Eds.), Proceedings of the 14th international conference on principles of knowledge representation and reasoning (KR\u201914) (pp. 228\u2013237). AAAI Press."},{"key":"9329_CR11","unstructured":"Borgwardt, S., Distel, F., Pe\u00f1aloza, R. (2012). G\u00f6del negation makes unwitnessed consistency crisp In Y. Kazakov, D. Lembo, F. Wolter (Eds.), Proceedings of the 2012 international workshop on description logics (DL 2012), CEUR workshop proceedings (Vol. 846, pp. 103\u2013113)."},{"key":"9329_CR12","doi-asserted-by":"crossref","unstructured":"Borgwardt, S., Distel, F., Pe\u00f1aloza, R. (2012). How fuzzy is my fuzzy description logic? In B. Gramlich, D. Miller, U. Sattler (Eds.), Proceedings of the 6th international joint conference on automated reasoning (IJCAR 2012), lecture notes in artificial intelligence (Vol. 7364, pp. 82\u201396). Springer-Verlag.","DOI":"10.1007\/978-3-642-31365-3_9"},{"key":"9329_CR13","unstructured":"Borgwardt, S., & Pe\u00f1aloza, R. (2012). Non-G\u00f6del negation makes unwitnessed consistency undecidable In Y. Kazakov, D. Lembo, F. Wolter (Eds.), Proceedings of the 2012 international workshop on description logics (DL 2012), CEUR workshop proceedings (Vol. 846, pp. 411\u2013421)."},{"key":"9329_CR14","unstructured":"Borgwardt, S., & Pe\u00f1aloza, R. (2012). Undecidability of fuzzy description logics In G. Brewka, T. Eiter, S. McIlraith (Eds.), Proceedings of the 13th international conference on principles of knowledge representation and reasoning (KR 2012) (pp. 232\u2013242). AAAI Press."},{"key":"9329_CR15","unstructured":"Buchheit, M., Donini, F.M., Schaerf, A. (1993). Decidable reasoning in terminological knowledge representation systems. In Proceedings of the 13th international joint conference on artificial intelligence (IJCAI 1993) (pp. 704\u2013709). Los Altos: Morgan Kaufmann."},{"key":"9329_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.ins.2012.11.019","volume":"227","author":"M Cerami","year":"2013","unstructured":"Cerami, M., & Straccia, U. (2013). On the (un)decidability of fuzzy description logics under \u0141ukasiewicz t-norm. Information Sciences, 227, 1\u201321. doi: 10.1016\/j.ins.2012.11.019 .","journal-title":"Information Sciences"},{"key":"9329_CR17","doi-asserted-by":"crossref","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. (2010). Fuzzy description logics and t-norm based fuzzy logics. International Journal of Approximate Reasoning, 51, 632\u2013655.","journal-title":"International Journal of Approximate Reasoning"},{"key":"9329_CR18","unstructured":"H\u00e1jek, P. (2001). Metamathematics of fuzzy logic (Trends in Logic). Springer-Verlag."},{"issue":"1","key":"9329_CR19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.fss.2005.03.005","volume":"154","author":"P H\u00e1jek","year":"2005","unstructured":"H\u00e1jek, P. (2005). Making fuzzy description logic more general. Fuzzy Sets and Systems, 154(1), 1\u201315.","journal-title":"Fuzzy Sets and Systems"},{"issue":"1","key":"9329_CR20","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/j.websem.2003.07.001","volume":"1","author":"I Horrocks","year":"2003","unstructured":"Horrocks, I., Patel-Schneider, P.F., van Harmelen, F. (2003). From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics, 1(1), 7\u201326.","journal-title":"Journal of Web Semantics"},{"key":"9329_CR21","unstructured":"Horrocks, I., & Sattler, U. (2005). A tableaux decision procedure for S \u210b O I Q $\\mathcal {S}\\mathcal {H}\\mathcal {O}\\mathcal {I}\\mathcal {Q}$ In L.P. Kaelbling, & A. Saffiotti (Eds.), Proceedings of the 19th international joint conference on artificial intelligence (IJCAI 2005) (pp. 448\u2013453). Professional Book Center."},{"key":"9329_CR22","doi-asserted-by":"crossref","unstructured":"Klement, E.P., Mesiar, R., Pap, E. (2000). Triangular norms. Springer-Verlag.","DOI":"10.1007\/978-94-015-9540-7"},{"issue":"4","key":"9329_CR23","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/j.websem.2008.04.001","volume":"6","author":"T Lukasiewicz","year":"2008","unstructured":"Lukasiewicz, T., & Straccia, U. (2008). Managing uncertainty and vagueness in description logics for the semantic web. Journal of Web Semantics, 6(4), 291\u2013308. doi: 10.1016\/j.websem.2008.04.001 .","journal-title":"Journal of Web Semantics"},{"key":"9329_CR24","unstructured":"Lutz, C. (2003). Description logics with concrete domains\u2014a survey In P. Balbiani, N.Y. Suzuki, F. Wolter, M. Zakharyaschev (Eds.), Advances in modal logics (Vol. 4, pp. 265\u2013296). King\u2019s College Publications."},{"issue":"5","key":"9329_CR25","doi-asserted-by":"crossref","first-page":"432","DOI":"10.1093\/comjnl\/36.5.432","volume":"36","author":"S McCallum","year":"1993","unstructured":"McCallum, S. (1993). Solving polynomial strict inequalities using cylindrical algebraic decomposition. The Computer Journal, 36(5), 432\u2013438.","journal-title":"The Computer Journal"},{"key":"9329_CR26","doi-asserted-by":"crossref","unstructured":"Molitor, R., & Tresp, C. (2000). Extending description logics to vague knowledge in medicine. In P. Szczepaniak, P. Lisboa, S. Tsumoto (Eds.), Fuzzy systems in medicine, studies in fuzziness and soft computing (Vol. 41, pp. 617\u2013635). Springer-Verlag.","DOI":"10.1007\/978-3-7908-1859-8_30"},{"key":"9329_CR27","doi-asserted-by":"crossref","first-page":"117","DOI":"10.2307\/1969668","volume":"65","author":"PS Mostert","year":"1957","unstructured":"Mostert, P.S., & Shields, A.L. (1957). On the structure of semigroups on a compact manifold with boundary. Annals of Mathematics, 65, 117\u2013143.","journal-title":"Annals of Mathematics"},{"key":"9329_CR28","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1090\/S0002-9904-1946-08555-9","volume":"52","author":"E Post","year":"1946","unstructured":"Post, E. (1946). A variant of a recursively unsolvable problem. Bulletin of the American Mathematical Society, 52, 264\u2013268.","journal-title":"Bulletin of the American Mathematical Society"},{"key":"9329_CR29","doi-asserted-by":"crossref","unstructured":"Schmidt-Schau\u00df, M. Smolka (1991). Attributive concept descriptions with complements. Artificial Intelligence, 48(1), 1\u201326.","DOI":"10.1016\/0004-3702(91)90078-X"},{"key":"9329_CR30","unstructured":"Stoilos, G., Stamou, G.B., Tzouvaras, V., Pan, J.Z., Horrocks, I. (2005). The fuzzy description logic f- S \u210b I N $\\mathcal {S}\\mathcal {H}\\mathcal {I}\\mathcal {N}$ . In Proceedings of the 1st international workshop on uncertainty reasoning for the semantic web (URSW 2005) (pp. 67\u201376)."},{"key":"9329_CR31","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1613\/jair.813","volume":"14","author":"U Straccia","year":"2001","unstructured":"Straccia, U. (2001). Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research, 14, 137\u2013166.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"9329_CR32","unstructured":"Straccia, U. (2005). Description logics with fuzzy concrete domains. In Proceedings of the 21st conference in uncertainty in artificial intelligence (UAI 2005) (pp. 559\u2013567). AUAI Press."},{"key":"9329_CR33","unstructured":"Straccia, U., & Bobillo, F. (2007). Mixed integer programming, general concept inclusions and fuzzy description logics. In Proceedings of the 5th EUSFLAT conference (pp. 213\u2013220). Universitas Ostraviensis."},{"key":"9329_CR34","doi-asserted-by":"crossref","unstructured":"Tresp, C.B., & Molitor, R. (1998). A description logic for vague knowledge. In Proceedings of the 13th European conference on artificial intelligence (ECAI 1998) (pp. 361\u2013365). Wiley.","DOI":"10.25368\/2022.77"},{"issue":"3","key":"9329_CR35","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"LA Zadeh","year":"1965","unstructured":"Zadeh, L.A. (1965). Fuzzy sets. Information and Control, 8(3), 338\u2013353.","journal-title":"Information and Control"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-014-9329-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-014-9329-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-014-9329-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,19]],"date-time":"2022-04-19T21:56:18Z","timestamp":1650405378000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-014-9329-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,14]]},"references-count":35,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,4]]}},"alternative-id":["9329"],"URL":"https:\/\/doi.org\/10.1007\/s10992-014-9329-3","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,10,14]]}}}