{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T01:11:02Z","timestamp":1743037862567,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319115573"},{"type":"electronic","value":"9783319115580"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11558-0_5","type":"book-chapter","created":{"date-parts":[[2014,9,16]],"date-time":"2014-09-16T02:22:39Z","timestamp":1410834159000},"page":"62-76","source":"Crossref","is-referenced-by-count":1,"title":["The Fuzzy Description Logic $\\mathsf{G}\\text{-}{\\mathcal{F\\!L}_0} $ with Greatest Fixed-Point Semantics"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Borgwardt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 A.","family":"Leyva Galano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rafael","family":"Pe\u00f1aloza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"5_CR1","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/BF02127747","volume":"18","author":"F. Baader","year":"1996","unstructured":"Baader, F.: Using automata theory for characterizing the semantics of terminological cycles. Annals of Mathematics and Artificial Intelligence\u00a018(2), 175\u2013219 (1996)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"5_CR2","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $\\mathcal{EL}$ envelope. In: Kaelbling, L.P., Saffiotti, A. (eds.) Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005), pp. 364\u2013369. Professional Book Center (2005)"},{"key":"5_CR3","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)","DOI":"10.1017\/CBO9780511711787"},{"key":"5_CR4","series-title":"LNCS (LNAI)","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 (LNAI), vol.\u00a06989, pp. 55\u201370. Springer, Heidelberg (2011)"},{"issue":"23","key":"5_CR5","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 Sets and Systems\u00a0160(23), 3382\u20133402 (2009)","journal-title":"Fuzzy Sets and Systems"},{"key":"5_CR6","unstructured":"Borgwardt, S., Distel, F., Pe\u00f1aloza, R.: Decidable G\u00f6del description logics without the finitely-valued model property. In: Proc. of the 14th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2014). AAAI Press (to appear, 2014)"},{"key":"5_CR7","unstructured":"Borgwardt, S., Pe\u00f1aloza, R.: Undecidability of fuzzy description logics. In: Brewka, G., Eiter, T., McIlraith, S.A. (eds.) Proc. of the 13th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2012), pp. 232\u2013242. AAAI Press (2012)"},{"issue":"1","key":"5_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s13740-012-0013-x","volume":"2","author":"S. Borgwardt","year":"2013","unstructured":"Borgwardt, S., Pe\u00f1aloza, R.: The complexity of lattice-based fuzzy description logics. Journal on Data Semantics\u00a02(1), 1\u201319 (2013)","journal-title":"Journal on Data Semantics"},{"key":"5_CR9","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. Information Sciences\u00a0227, 1\u201321 (2013)","journal-title":"Information Sciences"},{"key":"5_CR10","unstructured":"Cintula, P., H\u00e1jek, P., Noguera, C. (eds.): Handbook of Mathematical Fuzzy Logic, Studies in Logic, pp. 37\u201338. College Publications (2011)"},{"key":"5_CR11","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"M.R. Garey","year":"1979","unstructured":"Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman & Co., New York (1979)"},{"key":"5_CR12","unstructured":"Gr\u00e4tzer, G.: General Lattice Theory, 2nd edn. Birkh\u00e4user (2003)"},{"key":"5_CR13","unstructured":"H\u00e1jek, P.: Metamathematics of Fuzzy Logic (Trends in Logic). Springer (2001)"},{"issue":"1","key":"5_CR14","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"},{"key":"5_CR15","volume-title":"Introduction to Metamathematics","author":"S.C. Kleene","year":"1952","unstructured":"Kleene, S.C.: Introduction to Metamathematics. Van Nostrand, New York (1952)"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Klement, E.P., Mesiar, R., Pap, E.: Triangular Norms. Trends in Logic, Studia Logica Library. Springer (2000)","DOI":"10.1007\/978-94-015-9540-7"},{"issue":"2","key":"5_CR17","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/s10844-012-0195-6","volume":"39","author":"T. Mailis","year":"2012","unstructured":"Mailis, T., Stoilos, G., Simou, N., Stamou, G.B., Kollias, S.: Tractable reasoning with vague knowledge using fuzzy $\\mathcal{EL}^{++}$. Journal of Intelligent Information Systems\u00a039(2), 399\u2013440 (2012)","journal-title":"Journal of Intelligent Information Systems"},{"issue":"2","key":"5_CR18","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/0004-3702(90)90087-G","volume":"43","author":"B. Nebel","year":"1990","unstructured":"Nebel, B.: Terminological reasoning is inherently intractable. Artificial Intelligence\u00a043(2), 235\u2013249 (1990)","journal-title":"Artificial Intelligence"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Nebel, B.: Terminological cycles: Semantics and computational properties. In: Sowa, J. (ed.) Principles of Semantic Networks, pp. 331\u2013362. Morgan Kaufmann (1991)","DOI":"10.1016\/B978-1-4832-0771-1.50018-7"},{"key":"5_CR20","unstructured":"Stoilos, G., Stamou, G.B., Pan, J.Z.: Classifying fuzzy subsumption in fuzzy-$\\mathcal{EL}$+. In: Baader, F., Lutz, C., Motik, B. (eds.) Proc. of the 2008 Int. Workshop on Description Logics (DL 2008). CEUR Workshop Proceedings, vol.\u00a0353 (2008)"},{"key":"5_CR21","unstructured":"Stoilos, G., Straccia, U., Stamou, G.B., Pan, J.Z.: General concept inclusions in fuzzy description logics. In: Brewka, G., Coradeschi, S., Perini, A., Traverso, P. (eds.) Proc. of the 17th Eur. Conf. on Artificial Intelligence (ECAI 2006), pp. 457\u2013461. IOS Press (2006)"},{"key":"5_CR22","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":"1","key":"5_CR23","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":"5_CR24","doi-asserted-by":"publisher","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"Tarski, A.: A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics\u00a05(2), 285\u2013309 (1955)","journal-title":"Pacific Journal of Mathematics"},{"issue":"3","key":"5_CR25","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(3), 338\u2013353 (1965)","journal-title":"Information and Control"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11558-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,28]],"date-time":"2023-01-28T08:29:23Z","timestamp":1674894563000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-11558-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319115573","9783319115580"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11558-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}