{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T21:18:56Z","timestamp":1725830336659},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319242453"},{"type":"electronic","value":"9783319242460"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24246-0_4","type":"book-chapter","created":{"date-parts":[[2015,9,19]],"date-time":"2015-09-19T00:20:53Z","timestamp":1442622053000},"page":"49-65","source":"Crossref","is-referenced-by-count":2,"title":["Reasoning in Expressive Description Logics under Infinitely Valued G\u00f6del Semantics"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Borgwardt","sequence":"first","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":[[2015,11,12]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press (2007)","key":"4_CR1","DOI":"10.1017\/CBO9780511711787"},{"key":"4_CR2","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":"4_CR3","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1013882326814","volume":"69","author":"F. Baader","year":"2001","unstructured":"Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Studia Logica\u00a069(1), 5\u201340 (2001)","journal-title":"Studia Logica"},{"key":"4_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-540-89765-1_11","volume-title":"Uncertainty Reasoning for the Semantic Web I","author":"F. Bobillo","year":"2008","unstructured":"Bobillo, F., Delgado, M., G\u00f3mez-Romero, J.: A crisp representation for fuzzy \n                      \n                        \n                      \n                      $\\cal SHOIN$\n                     with fuzzy nominals and general concept inclusions. In: da Costa, P.C.G., d\u2019Amato, C., Fanizzi, N., Laskey, K.B., Laskey, K.J., Lukasiewicz, T., Nickles, M., Pool, M. (eds.) URSW 2005 - 2007. LNCS (LNAI), vol.\u00a05327, pp. 174\u2013188. Springer, Heidelberg (2008)"},{"key":"4_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/978-3-540-89765-1_12","volume-title":"Uncertainty Reasoning for the Semantic Web I","author":"F. Bobillo","year":"2008","unstructured":"Bobillo, F., Delgado, M., G\u00f3mez-Romero, J.: Optimizing the crisp representation of the fuzzy description logic \n                      \n                        \n                      \n                      $\\cal \\mathcal{SROIQ}$\n                    . In: da Costa, P.C.G., d\u2019Amato, C., Fanizzi, N., Laskey, K.B., Laskey, K.J., Lukasiewicz, T., Nickles, M., Pool, M. (eds.) URSW 2005 - 2007. LNCS (LNAI), vol.\u00a05327, pp. 189\u2013206. Springer, Heidelberg (2008)"},{"issue":"3","key":"4_CR6","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. Int. J. Approx. Reason.\u00a050(3), 494\u2013514 (2009)","journal-title":"Int. J. Approx. Reason."},{"issue":"4","key":"4_CR7","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1142\/S0218488512500249","volume":"20","author":"F. Bobillo","year":"2012","unstructured":"Bobillo, F., Delgado, M., G\u00f3mez-Romero, J., Straccia, U.: Joining G\u00f6del and Zadeh fuzzy logics in fuzzy description logics. Int. J. Uncertain. Fuzz.\u00a020(4), 475\u2013508 (2012)","journal-title":"Int. J. Uncertain. Fuzz."},{"issue":"23","key":"4_CR8","doi-asserted-by":"publisher","first-page":"3382","DOI":"10.1016\/j.fss.2009.03.006","volume":"160","author":"F. Bobillo","year":"2009","unstructured":"Bobillo, F., Straccia, U.: Fuzzy description logics with general t-norms and datatypes. Fuzzy Set. Syst.\u00a0160(23), 3382\u20133402 (2009)","journal-title":"Fuzzy Set. Syst."},{"key":"4_CR9","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                    . Inform. Sciences\u00a0181, 758\u2013778 (2011)","journal-title":"Inform. Sciences"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-642-35975-0_6","volume-title":"Uncertainty Reasoning for the Semantic Web II","author":"F. Bobillo","year":"2013","unstructured":"Bobillo, F., Straccia, U.: Finite fuzzy description logics and crisp representations. In: Bobillo, F., et al. (eds.) URSW 2008-2010\/UniDL 2010. LNCS, vol.\u00a07123, pp. 99\u2013118. Springer, Heidelberg (2013)"},{"unstructured":"Borgwardt, S.: Fuzzy DLs over finite lattices with nominals. In: Proc. DL 2014. CEUR-WS, vol.\u00a01193, pp. 58\u201370 (2014)","key":"4_CR11"},{"unstructured":"Borgwardt, S., Distel, F., Pe\u00f1aloza, R.: Decidable G\u00f6del description logics without the finitely-valued model property. In: Proc. KR 2014, pp. 228\u2013237. AAAI Press (2014)","key":"4_CR12"},{"key":"4_CR13","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.artint.2014.09.001","volume":"218","author":"S. Borgwardt","year":"2015","unstructured":"Borgwardt, S., Distel, F., Pe\u00f1aloza, R.: The limits of decidability in fuzzy description logics with general concept inclusions. Artif. Intell.\u00a0218, 23\u201355 (2015)","journal-title":"Artif. Intell."},{"doi-asserted-by":"crossref","unstructured":"Borgwardt, S., Pe\u00f1aloza, R.: The complexity of lattice-based fuzzy description logics 2(1), 1\u201319 (2013)","key":"4_CR14","DOI":"10.1007\/s13740-012-0013-x"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1007\/978-3-319-13413-0_7","volume-title":"Uncertainty Reasoning for the Semantic Web III","author":"S. Borgwardt","year":"2014","unstructured":"Borgwardt, S., Pen\u0302aloza, R.: Finite lattices do not make reasoning in \n                      \n                        \n                      \n                      $\\mathcal{ALCOI}$\n                     harder. In: Bobillo, F., Carvalho, R.N., Costa, P.C.G., d\u2019Amato, C., Fanizzi, N., Laskey, K.B., Laskey, K.J., Lukasiewicz, T., Nickles, M., Pool, M. (eds.) URSW 2011-2013. LNCS, vol.\u00a08816, pp. 122\u2013141. Springer, Heidelberg (2014)"},{"unstructured":"Borgwardt, S., Pe\u00f1aloza, R.: Infinitely valued G\u00f6del semantics for expressive description logics. LTCS-Report 15-11, Chair for Automata Theory, TU Dresden, Germany (2015). see \n                      \n                        http:\/\/lat.inf.tu-dresden.de\/research\/reports.html.","key":"4_CR16"},{"unstructured":"Calvanese, D., Eiter, T., Ortiz, M.: Regular path queries in expressive description logics with nominals. In: Proc. IJCAI 2009, pp. 714\u2013720. AAAI Press (2009)","key":"4_CR17"},{"key":"4_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.ins.2012.11.019","volume":"227","author":"M. Cerami","year":"2013","unstructured":"Cerami, M., Straccia, U.: On the (un)decidability of fuzzy description logics under \u0141ukasiewicz t-norm. Inform. Sciences\u00a0227, 1\u201321 (2013)","journal-title":"Inform. Sciences"},{"doi-asserted-by":"crossref","unstructured":"Droste, M., Kuich, W., Vogler, H.: Handbook of Weighted Automata. 1st edn. Springer (2009)","key":"4_CR19","DOI":"10.1007\/978-3-642-01492-5"},{"unstructured":"H\u00e1jek, P.: Metamathematics of Fuzzy Logic (Trends in Logic). Springer (2001)","key":"4_CR20"},{"issue":"1","key":"4_CR21","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 Set. Syst.\u00a0154(1), 1\u201315 (2005)","journal-title":"Fuzzy Set. Syst."},{"unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible \n                      \n                        \n                      \n                      $\\mathcal{SROIQ}$\n                    . In: Proc. KR 2006, pp. 57\u201367. AAAI Press (2006)","key":"4_CR22"},{"doi-asserted-by":"crossref","unstructured":"Horrocks, I., Sattler, U.: Decidability of \n                      \n                        \n                      \n                      $\\mathcal{SHIQ}$\n                     with complex role inclusion axioms 160(1\u20132), 79\u2013104 (2004)","key":"4_CR23","DOI":"10.1016\/j.artint.2004.06.002"},{"doi-asserted-by":"crossref","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for very expressive description logics 8(3), 239\u2013263 (2000)","key":"4_CR24","DOI":"10.1093\/jigpal\/8.3.239"},{"key":"4_CR25","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1007\/978-3-540-30227-8_32","volume-title":"Logics in Artificial Intelligence","author":"Y. Kazakov","year":"2004","unstructured":"Kazakov, Y.: A polynomial translation from the two-variable guarded fragment with number restrictions to the guarded fragment. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 372\u2013384. Springer, Heidelberg (2004)"},{"unstructured":"Kazakov, Y.: \n                      \n                        \n                      \n                      $\\mathcal{RIQ}$\n                     and \n                      \n                        \n                      \n                      $\\mathcal{SROIQ}$\n                     are harder than \n                      \n                        \n                      \n                      $\\mathcal{SHOIQ}$\n                    . In: Proc. KR 2008, pp. 274\u2013284. AAAI Press (2008)","key":"4_CR26"},{"doi-asserted-by":"crossref","unstructured":"Klement, E.P., Mesiar, R., Pap, E.: Triangular Norms. Trends in Logic, Studia Logica Library. Springer (2000)","key":"4_CR27","DOI":"10.1007\/978-94-015-9540-7"},{"key":"4_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-33158-9_1","volume-title":"Reasoning Web. Semantic Technologies for Advanced Query Answering","author":"M. Ortiz","year":"2012","unstructured":"Ortiz, M., \u0160imkus, M.: Reasoning and query answering in description logics. In: Eiter, T., Krennwallner, T. (eds.) Reasoning Web 2012. LNCS, vol.\u00a07487, pp. 1\u201353. Springer, Heidelberg (2012)"},{"unstructured":"Schild, K.: A correspondence theory for terminological logics: Preliminary report. In: Proc. IJCAI 1991, pp. 466\u2013471. Morgan Kaufmann (1991)","key":"4_CR29"},{"issue":"1","key":"4_CR30","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","author":"M. Schmidt-Schau\u00df","year":"1991","unstructured":"Schmidt-Schau\u00df, M., Smolka, G.: Attributive concept descriptions with complements. Artif. Intell.\u00a048(1), 1\u201326 (1991)","journal-title":"Artif. Intell."},{"key":"4_CR31","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/978-3-540-30227-8_33","volume-title":"Logics in Artificial Intelligence","author":"U. Straccia","year":"2004","unstructured":"Straccia, U.: Transforming fuzzy description logics into classical description logics. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 385\u2013399. Springer, Heidelberg (2004)"},{"key":"4_CR32","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1613\/jair.705","volume":"12","author":"S. Tobies","year":"2000","unstructured":"Tobies, S.: The complexity of reasoning with cardinality restrictions and nominals in expressive description logics. J. Artif. Intell. Res.\u00a012, 199\u2013217 (2000)","journal-title":"J. Artif. Intell. Res."},{"unstructured":"Tobies, S.: Complexity Results and Practical Algorithms for Logics in Knowledge Representation. Ph.D. thesis, RWTH Aachen, Germany (2001)","key":"4_CR33"}],"container-title":["Lecture Notes in Computer Science","Frontiers of Combining Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24246-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T20:37:53Z","timestamp":1559248673000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24246-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319242453","9783319242460"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24246-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}