{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T00:06:28Z","timestamp":1743033988887,"version":"3.40.3"},"publisher-location":"Cham","reference-count":52,"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":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11558-0_1","type":"book-chapter","created":{"date-parts":[[2014,9,16]],"date-time":"2014-09-16T02:22:39Z","timestamp":1410834159000},"page":"1-17","source":"Crossref","is-referenced-by-count":1,"title":["Query Answering over Description Logic Ontologies"],"prefix":"10.1007","author":[{"given":"Diego","family":"Calvanese","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Abiteboul, S., Buneman, P., Suciu, D.: Data on the Web: From Relations to Semistructured Data and XML. Morgan Kaufmann (2000)"},{"key":"1_CR2","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison Wesley Publ. Co. (1995)"},{"key":"1_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1613\/jair.2820","volume":"36","author":"A. Artale","year":"2009","unstructured":"Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-Lite family and relations. J. of Artificial Intelligence Research\u00a036, 1\u201369 (2009)","journal-title":"J. of Artificial Intelligence Research"},{"key":"1_CR4","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press (2003)"},{"issue":"3","key":"1_CR5","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1093\/logcom\/9.3.319","volume":"9","author":"F. Baader","year":"1999","unstructured":"Baader, F., Sattler, U.: Expressive number restrictions in description logics. J. of Logic and Computation\u00a09(3), 319\u2013350 (1999)","journal-title":"J. of Logic and Computation"},{"key":"1_CR6","series-title":"LNCS (LNAI)","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/10722086_1","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"F. Baader","year":"2000","unstructured":"Baader, F., Sattler, U.: Tableau algorithms for description logics. In: Dyckhoff, R. (ed.) TABLEAUX 2000. LNCS (LNAI), vol.\u00a01847, pp. 1\u201318. Springer, Heidelberg (2000)"},{"key":"1_CR7","unstructured":"Bao, J., et al.: OWL 2 Web Ontology Language document overview, W3C Recommendation, World Wide Web Consortium, 2nd edn. (December 2012), \n                      http:\/\/www.w3.org\/TR\/owl2-overview\/"},{"key":"1_CR8","unstructured":"Bienvenu, M., Calvanese, D., Ortiz, M., Simkus, M.: Nested regular path queries in description logics. In: Proc. of the 14th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2014). AAAI Press (2014)"},{"key":"1_CR9","unstructured":"Bienvenu, M., Ortiz, M., Simkus, M.: Conjunctive regular path queries in lightweight description logics. In: Proc. of the 23rd Int. Joint Conf. on Artificial Intelligence, IJCAI 2013 (2013)"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Buneman, P., Davidson, S., Hillebrand, G., Suciu, D.: A query language and optimization technique for unstructured data. In: Proc. of the ACM SIGMOD Int. Conf. on Management of Data, pp. 505\u2013516 (1996)","DOI":"10.1145\/235968.233368"},{"key":"1_CR11","unstructured":"Calvanese, D., De Giacomo, G.: Expressive description logics. In: Baader, et al. (eds.) [4], ch.\u00a05, pp. 178\u2013218"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/978-3-642-03754-2_7","volume-title":"Reasoning Web. Semantic Technologies for Information Systems","author":"D. Calvanese","year":"2009","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Poggi, A., Rodriguez-Muro, M., Rosati, R.: Ontologies and databases: The DL-Lite approach. In: Tessaris, S., Franconi, E., Eiter, T., Gutierrez, C., Handschuh, S., Rousset, M.-C., Schmidt, R.A. (eds.) Reasoning Web. LNCS, vol.\u00a05689, pp. 255\u2013356. Springer, Heidelberg (2009)"},{"issue":"3","key":"1_CR13","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s10817-007-9078-x","volume":"39","author":"D. Calvanese","year":"2007","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. of Automated Reasoning\u00a039(3), 385\u2013429 (2007)","journal-title":"J. of Automated Reasoning"},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/j.artint.2012.10.003","volume":"195","author":"D. Calvanese","year":"2013","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in description logics. Artificial Intelligence\u00a0195, 335\u2013360 (2013)","journal-title":"Artificial Intelligence"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M.: On the decidability of query containment under constraints. In: Proc. of the 17th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 1998), pp. 149\u2013158 (1998)","DOI":"10.1145\/275487.275504"},{"key":"1_CR16","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M., Vardi, M.Y.: Containment of conjunctive regular path queries with inverse. In: Proc. of the 7th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2000), pp. 176\u2013185 (2000)"},{"issue":"3","key":"1_CR17","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1006\/jcss.2001.1805","volume":"64","author":"D. Calvanese","year":"2002","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M., Vardi, M.Y.: Rewriting of regular expressions and regular path queries. J. of Computer and System Sciences\u00a064(3), 443\u2013465 (2002)","journal-title":"J. of Computer and System Sciences"},{"issue":"4","key":"1_CR18","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1145\/959060.959076","volume":"32","author":"D. Calvanese","year":"2003","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M., Vardi, M.Y.: Reasoning on regular path queries. SIGMOD Record\u00a032(4), 83\u201392 (2003)","journal-title":"SIGMOD Record"},{"key":"1_CR19","unstructured":"Calvanese, D., Eiter, T., Ortiz, M.: Answering regular path queries in expressive description logics: An automata-theoretic approach. In: Proc. of the 22nd AAAI Conf. on Artificial Intelligence (AAAI 2007), pp. 391\u2013396 (2007)"},{"key":"1_CR20","unstructured":"Calvanese, D., Eiter, T., Ortiz, M.: Regular path queries in expressive description logics with nominals. In: Proc. of the 21st Int. Joint Conf. on Artificial Intelligence (IJCAI 2009), pp. 714\u2013720 (2009)"},{"key":"1_CR21","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1016\/j.ic.2014.04.002","volume":"237","author":"D. Calvanese","year":"2014","unstructured":"Calvanese, D., Ortiz, M., Eiter, T.: Answering regular path queries in expressive description logics via alternating tree-automata. Information and Computation\u00a0237, 12\u201355 (2014)","journal-title":"Information and Computation"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Chandra, A.K., Merlin, P.M.: Optimal implementation of conjunctive queries in relational data bases. In: Proc. of the 9th ACM Symp. on Theory of Computing (STOC 1977), pp. 77\u201390 (1977)","DOI":"10.1145\/800105.803397"},{"key":"1_CR23","unstructured":"Eiter, T., Lutz, C., Ortiz, M., \u0160imkus, M.: Query answering in description logics with transitive roles. In: Proc. of the 21st Int. Joint Conf. on Artificial Intelligence (IJCAI 2009), pp. 759\u2013764 (2009)"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Eiter, T., Ortiz, M., Simkus, M., Tran, T.K., Xiao, G.: Query rewriting for Horn-SHIQ plus rules. In: Proc. of the 26th AAAI Conf. on Artificial Intelligence (AAAI 2012). AAAI Press (2012)","DOI":"10.1609\/aaai.v26i1.8219"},{"issue":"1","key":"1_CR25","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.tcs.2004.10.033","volume":"336","author":"R. Fagin","year":"2005","unstructured":"Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data exchange: Semantics and query answering. Theoretical Computer Science\u00a0336(1), 89\u2013124 (2005)","journal-title":"Theoretical Computer Science"},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Florescu, D., Levy, A., Suciu, D.: Query containment for conjunctive queries with regular expressions. In: Proc. of the 17th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 1998), pp. 139\u2013148 (1998)","DOI":"10.1145\/275487.275503"},{"key":"1_CR27","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1613\/jair.3029","volume":"39","author":"B. Glimm","year":"2010","unstructured":"Glimm, B., Rudolph, S.: Nominals, inverses, counting, and conjunctive queries or: Why infinity is your friend. J. of Artificial Intelligence Research\u00a039, 429\u2013481 (2010)","journal-title":"J. of Artificial Intelligence Research"},{"key":"1_CR28","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1016\/j.artint.2014.04.004","volume":"213","author":"G. Gottlob","year":"2014","unstructured":"Gottlob, G., Kikot, S., Kontchakov, R., Podolskii, V.V., Schwentick, T., Zakharyaschev, M.: The price of query rewriting in ontology-based data access. Artificial Intelligence\u00a0213, 42\u201359 (2014)","journal-title":"Artificial Intelligence"},{"key":"1_CR29","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible $\\mathcal{SROIQ}$. In: Proc. of the 10th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR\u00a02006), pp. 57\u201367 (2006)"},{"issue":"3","key":"1_CR30","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/s10817-007-9079-9","volume":"39","author":"I. Horrocks","year":"2007","unstructured":"Horrocks, I., Sattler, U.: A tableau decision procedure for $\\mathcal{SHOIQ}$. J. of Automated Reasoning\u00a039(3), 249\u2013276 (2007)","journal-title":"J. of Automated Reasoning"},{"key":"1_CR31","unstructured":"Kontchakov, R., Lutz, C., Toman, D., Wolter, F., Zakharyaschev, M.: The combined approach to query answering in DL-Lite. In: Proc. of the 12th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2010), pp. 247\u2013257 (2010)"},{"key":"1_CR32","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/978-3-540-75560-9_25","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"A. Krisnadhi","year":"2007","unstructured":"Krisnadhi, A., Lutz, C.: Data complexity in the $\\mathcal{EL}$ family of description logics. In: Dershowitz, N., Voronkov, A. (eds.) LPAR 2007. LNCS (LNAI), vol.\u00a04790, pp. 333\u2013347. Springer, Heidelberg (2007)"},{"key":"1_CR33","unstructured":"Kr\u00f6tzsch, M., Rudolph, S., Hitzler, P.: Complexity boundaries for horn description logics. In: Proc. of the 22nd AAAI Conf. on Artificial Intelligence (AAAI 2007), pp. 452\u2013457 (2007)"},{"key":"1_CR34","doi-asserted-by":"crossref","unstructured":"Lenzerini, M.: Data integration: A theoretical perspective. In: Proc. of the 21st ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2002), pp. 233\u2013246 (2002)","DOI":"10.1145\/543613.543644"},{"issue":"1-2","key":"1_CR35","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/S0004-3702(98)00048-4","volume":"104","author":"A.Y. Levy","year":"1998","unstructured":"Levy, A.Y., Rousset, M.C.: Combining Horn rules and description logics in CARIN. Artificial Intelligence\u00a0104(1-2), 165\u2013209 (1998)","journal-title":"Artificial Intelligence"},{"key":"1_CR36","unstructured":"Lutz, C.: Inverse roles make conjunctive queries hard. In: Proc. of the 20th Int. Workshop on Description Logic (DL 2007). CEUR Electronic Workshop Proceedings, vol.\u00a0250, pp. 100\u2013111 (2007), \n                      http:\/\/ceur-ws.org\/"},{"issue":"1-3","key":"1_CR37","first-page":"227","volume":"38","author":"C. Lutz","year":"2007","unstructured":"Lutz, C., Milicic, M.: A tableau algorithm for description logics with concrete domains and general tboxes. J. of Automated Reasoning Special Issue on Automated Reasoning with Analytic Tableaux and Related Methods\u00a038(1-3), 227\u2013259 (2007)","journal-title":"J. of Automated Reasoning Special Issue on Automated Reasoning with Analytic Tableaux and Related Methods"},{"key":"1_CR38","unstructured":"Ortiz, M.: Ontology based query answering: The story so far. In: Proc. of the 7th Alberto Mendelzon Int. Workshop on Foundations of Data Management (AMW 2013). CEUR Electronic Workshop Proceedings, vol.\u00a01087 (2013), \n                      http:\/\/ceur-ws.org\/"},{"issue":"1","key":"1_CR39","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/s10817-008-9102-9","volume":"41","author":"M. Ortiz","year":"2008","unstructured":"Ortiz, M., Calvanese, D., Eiter, T.: Data complexity of query answering in expressive description logics via tableaux. J. of Automated Reasoning\u00a041(1), 61\u201398 (2008)","journal-title":"J. of Automated Reasoning"},{"key":"1_CR40","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)"},{"key":"1_CR41","unstructured":"P\u00e9rez-Urbina, H., Motik, B., Horrocks, I.: A comparison of query rewriting techniques for DL-lite. In: Proc. of the 22nd Int. Workshop on Description Logic (DL 2009). CEUR Electronic Workshop Proceedings, vol.\u00a0477 (2009), \n                      http:\/\/ceur-ws.org\/"},{"issue":"2","key":"1_CR42","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1016\/j.jal.2009.09.004","volume":"8","author":"H. P\u00e9rez-Urbina","year":"2010","unstructured":"P\u00e9rez-Urbina, H., Motik, B., Horrocks, I.: Tractable query answering and rewriting under description logic constraints. J. of Applied Logic\u00a08(2), 186\u2013209 (2010)","journal-title":"J. of Applied Logic"},{"key":"1_CR43","unstructured":"Rodriguez-Muro, M., Calvanese, D.: High performance query answering over DL-Lite ontologies. In: Proc. of the 13th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2012), pp. 308\u2013318 (2012)"},{"key":"1_CR44","unstructured":"Rosati, R.: On conjunctive query answering in $\\mathcal{EL}$. In: Proc. of the 20th Int. Workshop on Description Logic (DL 2007). CEUR Electronic Workshop Proceedings, vol.\u00a0250, pp. 451\u2013458 (2007), \n                      http:\/\/ceur-ws.org\/"},{"key":"1_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1007\/978-3-642-30284-8_31","volume-title":"The Semantic Web: Research and Applications","author":"R. Rosati","year":"2012","unstructured":"Rosati, R.: Prexto: Query rewriting under extensional constraints in DL-Lite. In: Simperl, E., Cimiano, P., Polleres, A., Corcho, O., Presutti, V. (eds.) ESWC 2012. LNCS, vol.\u00a07295, pp. 360\u2013374. Springer, Heidelberg (2012)"},{"key":"1_CR46","unstructured":"Rosati, R., Almatelli, A.: Improving query answering over DL-Lite ontologies. In: Proc. of the 12th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2010), pp. 290\u2013300 (2010)"},{"key":"1_CR47","unstructured":"Schmolze, J.G.: Terminological knowledge representation systems supporting n-ary terms. In: Proc. of the 1st Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 1989), pp. 432\u2013443 (1989)"},{"key":"1_CR48","doi-asserted-by":"crossref","unstructured":"Thomas, W.: Automata on infinite objects. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol.\u00a0B, ch. 4, pp. 133\u2013192. Elsevier Science Publishers (1990)","DOI":"10.1016\/B978-0-444-88074-1.50009-3"},{"key":"1_CR49","unstructured":"Tobies, S.: Complexity Results and Practical Algorithms for Logics in Knowledge Representation. Ph.D. thesis, LuFG Theoretical Computer Science, RWTH-Aachen, Germany (2001)"},{"key":"1_CR50","doi-asserted-by":"crossref","unstructured":"Vardi, M.Y.: Why is modal logic so robustly decidable. In: DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol.\u00a031, pp. 149\u2013184. American Mathematical Society (1997)","DOI":"10.1090\/dimacs\/031\/05"},{"key":"1_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"628","DOI":"10.1007\/BFb0055090","volume-title":"Automata, Languages and Programming","author":"M.Y. Vardi","year":"1998","unstructured":"Vardi, M.Y.: Reasoning about the past with two-way automata. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol.\u00a01443, pp. 628-641. Springer, Heidelberg (1998)"},{"key":"1_CR52","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0022-0000(86)90026-7","volume":"32","author":"M.Y. Vardi","year":"1986","unstructured":"Vardi, M.Y., Wolper, P.: Automata-theoretic techniques for modal logics of programs. J. of Computer and System Sciences\u00a032, 183\u2013221 (1986)","journal-title":"J. of Computer and System Sciences"}],"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_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T11:10:00Z","timestamp":1676891400000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-11558-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319115573","9783319115580"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11558-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}