{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:25:02Z","timestamp":1762100702030},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540755586"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75560-9_25","type":"book-chapter","created":{"date-parts":[[2007,10,6]],"date-time":"2007-10-06T05:36:46Z","timestamp":1191649006000},"page":"333-347","source":"Crossref","is-referenced-by-count":21,"title":["Data Complexity in the $\\mathcal{EL}$ Family of Description Logics"],"prefix":"10.1007","author":[{"given":"Adila","family":"Krisnadhi","sequence":"first","affiliation":[]},{"given":"Carsten","family":"Lutz","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","volume-title":"AAAI 2007","author":"A. Artale","year":"2007","unstructured":"Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: DL-Lite in the light of first-order logic. In: AAAI 2007. Proc. of the 22nd Conf. on AI, AAAI Press, Stanford, California, USA (2007)"},{"key":"25_CR2","first-page":"364","volume-title":"IJCAI 2005","author":"F. Baader","year":"2005","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the \n                  \n                    \n                  \n                  $\\mathcal{EL}$\n                 envelope. In: IJCAI 2005. Proc. of the 19th Int. Joint Conf. on AI, pp. 364\u2013369. Morgan Kaufmann, San Francisco (2005)"},{"key":"25_CR3","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the \n                  \n                    \n                  \n                  $\\mathcal{EL}$\n                 envelope. (submitted to a Journal, 2007)"},{"key":"25_CR4","unstructured":"Baader, F., Lutz, C., Suntisrivaraporn, B.: Is tractable reasoning in extensions of the description\u00a0logic \n                  \n                    \n                  \n                  $\\mathcal{EL}$\n                 useful in practice? In: M4M 2005. Proc. of the 4th Int. WS on Methods for Modalities (2005)"},{"key":"25_CR5","volume-title":"The Description Logic Handbook: Theory, implementation and applications","author":"F. Baader","year":"2003","unstructured":"Baader, F., McGuiness, D.L., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook: Theory, implementation and applications. Cambridge University Press, Cambridge (2003)"},{"key":"25_CR6","first-page":"298","volume-title":"ECAI 2004","author":"S. Brandt","year":"2004","unstructured":"Brandt, S.: Polynomial time reasoning in a description logic with existential restrictions, GCI axioms, and\u2014what else? In: ECAI 2004. Proc. of the 16th European Conf. on AI, pp. 298\u2013302. IOS Press, Amsterdam (2004)"},{"key":"25_CR7","first-page":"602","volume-title":"AAAI 2005","author":"D. Calvanese","year":"2005","unstructured":"Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Rosati, R.: DL-lite: Tractable description logics for ontologies. In: AAAI 2005. Proc. of the 20th National Conf. on AI, pp. 602\u2013607. AAAI Press, Stanford, California, USA (2005)"},{"key":"25_CR8","volume-title":"KR 2006","author":"D. Calvanese","year":"2006","unstructured":"Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in description logics. In: KR 2006. Proc. of the 10th Int. Conf. on KR, AAAI Press, Stanford, California, USA (2006)"},{"key":"25_CR9","unstructured":"Calvanese, D., Giacomo, G.D., Lenzerini, M., Rosati, R., Vetere, G.: DL-lite: Practical reasoning for rich dls. In: DL 2004. CEUR Workshop Proceedings. CEUR-WS.org, vol.\u00a0104 (2004)"},{"key":"25_CR10","volume-title":"IJCAI 2007","author":"B. Glimm","year":"2007","unstructured":"Glimm, B., Horrocks, I., Lutz, C., Sattler, U.: Conjunctive Query Answering for the Description Logic \n                  \n                    \n                  \n                  $\\mathcal{SHIQ}$\n                . In: IJCAI 2007. Proc. of the 20th Int. Joint Conf. on AI, AAAI Press, Stanford, California, USA (2007)"},{"key":"25_CR11","first-page":"205","volume-title":"AAAI 1994","author":"G.D. Giacomo","year":"1994","unstructured":"Giacomo, G.D., Lenzerini, M.: Boosting the correspondence between description logics and propositional dynamic logics. In: AAAI 1994. Proc. of the 12th National Conf. on AI, vol.\u00a01, pp. 205\u2013212. AAAI Press, Stanford, California, USA (1994)"},{"key":"25_CR12","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Data complexity of reasoning in very expressive description logics. In: IJCAI 2005. Proc. of the 19th Int. Joint Conf. on AI, Professional Book Center, pp. 466\u2013471 (2005)"},{"key":"25_CR13","unstructured":"Kazakov, Y.: Saturation-based decision procedures for extensions of the guarded fragment, PhD thesis, University of Saarland (2005)"},{"key":"25_CR14","unstructured":"Krisnadhi, A.: Data complexity of instance checking in the \n                  \n                    \n                  \n                  $\\mathcal{EL}$\n                 family of description logics. Master thesis, TU Dresden, Germany (2007)"},{"key":"25_CR15","unstructured":"Krisnadhi, A., Lutz, C.: Data complexity of instance checking in the \n                  \n                    \n                  \n                  $\\mathcal{EL}$\n                 family of description logics. available from \n                  \n                    http:\/\/lat.inf.tu-dresden.de\/~clu\/papers\/"},{"key":"25_CR16","unstructured":"Kr\u00f6tzsch, M., Rudolph, S., Hitzler, P.: On the complexity of horn description logics. In: Proc. of the 2nd WS on OWL: Experiences and Directions. CEUR-WS, vol.\u00a0216 (2006), \n                  \n                    http:\/\/ceur-ws.org\/"},{"key":"25_CR17","unstructured":"Kr\u00f6tzsch, M., Rudolph, S.: Conjunctive Queries for \n                  \n                    \n                  \n                  $\\mathcal{EL}$\n                 with Composition of Roles. In: DL 2007. Proc. of the 2007 Int. WS on DLs, CEUR-WS.org (2007)"},{"key":"25_CR18","unstructured":"Rosati, R.: On conjunctive query answering in \n                  \n                    \n                  \n                  $\\mathcal{EL}$\n                . In: DL 2007. Proc. of the 2007 Int. WS on DLs, CEUR-WS.org (2007)"},{"key":"25_CR19","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/BF00962071","volume":"2","author":"A. Schaerf","year":"1993","unstructured":"Schaerf, A.: On the complexity of the instance checking problem in concept languages with existential quantification. Journal of Intelligent Information Systems\u00a02, 265\u2013278 (1993)","journal-title":"Journal of Intelligent Information Systems"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75560-9_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:24:43Z","timestamp":1619519083000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75560-9_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540755586"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75560-9_25","relation":{},"subject":[]}}