{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T04:49:35Z","timestamp":1773982175853,"version":"3.50.1"},"publisher-location":"Cham","reference-count":212,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319217673","type":"print"},{"value":"9783319217680","type":"electronic"}],"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":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-21768-0_9","type":"book-chapter","created":{"date-parts":[[2015,7,10]],"date-time":"2015-07-10T12:35:20Z","timestamp":1436531720000},"page":"218-307","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":32,"title":["Ontology-Mediated Query Answering with Data-Tractable Description Logics"],"prefix":"10.1007","author":[{"given":"Meghyn","family":"Bienvenu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Magdalena","family":"Ortiz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,7,11]]},"reference":[{"key":"9_CR1","volume-title":"Foundations of Databases","author":"S Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison Wesley Publ. Co., Reading (1995)"},{"key":"9_CR2","unstructured":"Acciarri, A., Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Palmieri, M., Rosati, R.: QuOnto: querying ontologies. In: Proceedings of the 20th National Conference on Artificial Intelligence (AAAI 2005), pp. 1670\u20131671 (2005)"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Ahmetaj, S., Fischl, W., Pichler, R., \u0160imkus, M., Skritek, S.: Towards reconciling SPARQL and certain answers. In: Proceedings of the 24th International Conference on World Wide Web, WWW 2015, Florence, Italy, 18\u201322 May 2015, pp. 23\u201333 (2015)","DOI":"10.1145\/2736277.2741636"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-540-88564-1_8","volume-title":"The Semantic Web - ISWC 2008","author":"R Angles","year":"2008","unstructured":"Angles, R., Gutierrez, C.: The expressive power of SPARQL. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 114\u2013129. Springer, Heidelberg (2008)"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Antonioli, N., Castan\u00f2, F., Coletta, S., Grossi, S., Lembo, D., Lenzerini, M., Poggi, A., Virardi, E., Castracane, P.: Ontology-based data management for the Italian Public Debt. In: Proceedings of 8th International Conference Formal Ontology in Information Systems (FOIS 2014). Frontiers in Artificial Intelligence and Applications, vol. 267, pp. 372\u2013385. IOS Press (2014)","DOI":"10.3233\/978-1-61499-438-1-372"},{"key":"9_CR6","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139060158","volume-title":"Foundations of Data Exchange","author":"M Arenas","year":"2014","unstructured":"Arenas, M., Barcel\u00f3, P., Libkin, L., Murlak, F.: Foundations of Data Exchange. Cambridge University Press, Cambridge (2014)"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Arenas, M., Gottlob, G., Pieris, A.: Expressive languages for querying the semantic web. In: Proceedings of the 33rd ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS 2014), pp. 14\u201326. ACM, New York (2014)","DOI":"10.1145\/2594538.2594555"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Arenas, M., Grau, B.C., Kharlamov, E., Marciu\u0161ka, S., Zheleznyakov, D.: Faceted search over ontology-enhanced RDF data. In: Proceedings of the 23rd ACM International Conference on Information and Knowledge Management (CIKM), pp. 939\u2013948 (2014)","DOI":"10.1145\/2661829.2662027"},{"key":"9_CR9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804090","volume-title":"Computational Complexity - A Modern Approach","author":"S Arora","year":"2009","unstructured":"Arora, S., Barak, B.: Computational Complexity - A Modern Approach. Cambridge University Press, Cambridge (2009)"},{"key":"9_CR10","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. Artif. Intell. Res. (JAIR) 36, 1\u201369 (2009)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"9_CR11","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1613\/jair.516","volume":"9","author":"A Artale","year":"1998","unstructured":"Artale, A., Franconi, E.: A temporal description logic for reasoning about actions and plans. J. Artif. Intel. Res. 9, 463\u2013506 (1998)","journal-title":"J. Artif. Intel. Res."},{"key":"9_CR12","volume-title":"Handbook of Time and Temporal Reasoning in Artificial Intelligence","author":"A Artale","year":"2001","unstructured":"Artale, A., Franconi, E.: Temporal description logics. In: Fisher, M., Gabbay, D., Vila, L. (eds.) Handbook of Time and Temporal Reasoning in Artificial Intelligence. MIT Press, Cambridge (2001)"},{"key":"9_CR13","series-title":"Foundations of Artificial Intelligence","first-page":"375","volume-title":"Handbook of Temporal Reasoning in Artificial Intelligence","author":"A Artale","year":"2005","unstructured":"Artale, A., Franconi, E.: Temporal description logics. In: Fisher, M., Gabbay, D., Vila, L. (eds.) Handbook of Temporal Reasoning in Artificial Intelligence. Foundations of Artificial Intelligence, pp. 375\u2013388. Elsevier, Amsterdam (2005)"},{"key":"9_CR14","unstructured":"Artale, A., Kontchakov, R., Kovtunova, A., Ryzhikov, V., Wolter, F., Zakharyaschev, M.: First-order rewritability of ontology-mediated temporal queries. In: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015) (2015)"},{"issue":"3","key":"9_CR15","doi-asserted-by":"publisher","first-page":"25:1","DOI":"10.1145\/2629565","volume":"15","author":"A Artale","year":"2014","unstructured":"Artale, A., Kontchakov, R., Ryzhikov, V., Zakharyaschev, M.: A cookbook for temporal conceptual data modelling with description logics. ACM Trans. Comput. Logic 15(3), 25:1\u201325:50 (2014)","journal-title":"ACM Trans. Comput. Logic"},{"key":"9_CR16","unstructured":"Artale, A., Kontchakov, R., Wolter, F., Zakharyaschev, M.: Temporal description logic for ontology-based data access. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013) (2013)"},{"key":"9_CR17","unstructured":"Baader, F., Bienvenu, M., Lutz, C., Wolter, F.: Query and predicate emptiness in description logics. In: Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010) (2010)"},{"key":"9_CR18","doi-asserted-by":"publisher","unstructured":"Baader, F., Borgwardt, S., Lippmann, M.: Temporal query entailment in the description logic $$\\cal SHQ$$. Sci. Serv. Agents World Wide Web, Web Seman. (2014, in press). doi:10.1016\/j.websem.2014.11.008","DOI":"10.1016\/j.websem.2014.11.008"},{"key":"9_CR19","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $$\\cal EL$$ envelope. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005) (2005)"},{"key":"9_CR20","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $$\\cal EL$$ envelope further. In: Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2008) (2008)"},{"issue":"4","key":"9_CR21","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1145\/2389241.2389250","volume":"37","author":"P Barcel\u00f3","year":"2012","unstructured":"Barcel\u00f3, P., Libkin, L., Lin, A.W., Wood, P.T.: Expressive languages for path queries over graph-structured data. ACM Trans. Database Syst. 37(4), 31 (2012)","journal-title":"ACM Trans. Database Syst."},{"key":"9_CR22","unstructured":"Barcel\u00f3, P., P\u00e9rez, J., Reutter, J.L.: Relative expressiveness of nested regular expressions. In: Proceedings of AMW 2012. CEUR Workshop Proceedings, vol. 866, pp. 180\u2013195 (2012)"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Barcel\u00f3 Baeza, P.: Querying graph databases. In: Proceedings of the 32nd ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS 2013), pp. 175\u2013188 (2013)","DOI":"10.1145\/2463664.2465216"},{"key":"9_CR24","series-title":"Synthesis Lectures on Data Management","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-01883-1","volume-title":"Database Repairing and Consistent Query Answering","author":"LE Bertossi","year":"2011","unstructured":"Bertossi, L.E.: Database Repairing and Consistent Query Answering. Synthesis Lectures on Data Management. Morgan and Claypool Publishers, San Rafael (2011)"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Bienvenu, M.: On the complexity of consistent query answering in the presence of simple ontologies. In: Proceedings of the 26th AAAI Conference on Artificial Intelligence (AAAI 2012) (2012)","DOI":"10.1609\/aaai.v26i1.8218"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Bienvenu, M., Bourgaux, C., Goasdou\u00e9, F.: Querying inconsistent description logic knowledge bases under preferred repair semantics. In: Proceedings of the 28th AAAI Conference on Artificial Intelligence (AAAI 2014) (2014)","DOI":"10.1609\/aaai.v28i1.8855"},{"key":"9_CR27","unstructured":"Bienvenu, M., Calvanese, D., Ortiz, M., \u0160imkus, M.: Nested regular path queries in description logics. In: Proceedings of the 14th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2014) (2014)"},{"issue":"4","key":"9_CR28","doi-asserted-by":"publisher","first-page":"33:1","DOI":"10.1145\/2661643","volume":"39","author":"M Bienvenu","year":"2014","unstructured":"Bienvenu, M., ten Cate, B., Lutz, C., Wolter, F.: Ontology-based data access: a study through disjunctive datalog, CSP, and MMSNP. ACM Trans. Database Syst. 39(4), 33:1\u201333:44 (2014)","journal-title":"ACM Trans. Database Syst."},{"key":"9_CR29","doi-asserted-by":"crossref","unstructured":"Bienvenu, M., Kikot, S., Podolskii, V.V.: Tree-like queries in OWL 2 QL: succinctness and complexity results. In: Proceedings of the 30th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS 2015). IEEE (2015)","DOI":"10.1109\/LICS.2015.38"},{"key":"9_CR30","unstructured":"Bienvenu, M., Lutz, C., Wolter, F.: First-order rewritability of atomic queries in horn description logics. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013). IJCAI\/AAAI (2013)"},{"key":"9_CR31","unstructured":"Bienvenu, M., Ortiz, M., \u0160imkus, M.: Answering expressive path queries over lightweight DL knowledge bases. In: Proceedings of the 25th International Workshop on Description Logic (DL 2012) (2012)"},{"key":"9_CR32","unstructured":"Bienvenu, M., Ortiz, M., \u0160imkus, M.: Conjunctive regular path queries in lightweight description logics. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013) (2013)"},{"key":"9_CR33","unstructured":"Bienvenu, M., Ortiz, M., \u0160imkus, M.: Navigational queries based on frontier-guarded datalog: preliminary results. In: Proceedings of the Ninth Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2015) (2015)"},{"key":"9_CR34","unstructured":"Bienvenu, M., Ortiz, M., \u0160imkus, M., Xiao, G.: Tractable queries for lightweight description logics. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013). AAAI Press (2013)"},{"key":"9_CR35","unstructured":"Bienvenu, M., Rosati, R.: Tractable approximations of consistent query answering for robust ontology-based data access. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013) (2013)"},{"key":"9_CR36","unstructured":"Bienvenu, M., Rosati, R.: Query-based comparison of OBDA specifications. In: Proceedings of the 29th International Workshop on Description Logic (DL 2015) (2015)"},{"key":"9_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1440","DOI":"10.1007\/978-3-540-88873-4_35","volume-title":"On the Move to Meaningful Internet Systems: OTM 2008","author":"A Borgida","year":"2008","unstructured":"Borgida, A., Calvanese, D., Rodriguez-Muro, M.: Explanation in the DL-Lite family of description logics. In: Meersman, R., Tari, Z. (eds.) OTM 2008, Part II. LNCS, vol. 5332, pp. 1440\u20131457. Springer, Heidelberg (2008)"},{"key":"9_CR38","unstructured":"Borgida, A., Franconi, E., Horrocks, I.: Explaining ALC subsumption. In: Proceedings of ECAI (2000)"},{"key":"9_CR39","doi-asserted-by":"publisher","unstructured":"Borgwardt, S., Lippmann, M., Thost, V.: Temporalizing rewritable query languages over knowledge bases. Sci. Serv. Agents World Wide Web, Web Seman. (2014, in press). doi:10.1016\/j.websem.2014.11.007","DOI":"10.1016\/j.websem.2014.11.007"},{"key":"9_CR40","doi-asserted-by":"crossref","unstructured":"Borgwardt, S., Thost, V.: Temporal query answering in the description logic $$\\cal EL$$. In: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015) (2015)","DOI":"10.25368\/2022.221"},{"key":"9_CR41","unstructured":"Botoeva, E., Kontchakov, R., Ryzhikov, V., Wolter, F., Zakharyaschev, M.: Query inseparability for description logic knowledge bases. In: Proceedings of the 14th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2014) (2014)"},{"key":"9_CR42","doi-asserted-by":"crossref","unstructured":"Bourgaux, C., Bienvenu, M., Goasdou\u00e9, F.: Explaining query answers under inconsistency-tolerant semantics over description logic knowledge bases (extended abstract). In: Proceedings of the 29th International Workshop on Description Logic (DL 2015) (2015)","DOI":"10.1609\/aaai.v30i1.10092"},{"key":"9_CR43","unstructured":"Bourhis, P., Kr\u00f6tzsch, M., Rudolph, S.: How to best nest regular path queries. In: Proceedings of the 27th International Workshop on Description Logic (DL 2014), vol. 1193, pp. 404\u2013415. CEUR-WS.org (2014)"},{"key":"9_CR44","unstructured":"Bourhis, P., Kr\u00f6tzsch, M., Rudolph, S.: Query containment for highly expressive datalog fragments. CoRR abs\/1406.7801 (2014). http:\/\/arxiv.org\/abs\/1406.7801"},{"key":"9_CR45","unstructured":"Bursztyn, D., Goasdou\u00e9, F., Manolescu, I.: Efficient query answering in DL-Lite through FOL reformulation. In: Proceedings of the 29th International Workshop on Description Logic (DL 2015) (2015)"},{"key":"9_CR46","unstructured":"Bursztyn, D., Goasdou\u00e9, F., Manolescu, I.: Optimizing reformulation-based query answering in RDF. In: Proceedings of the 18th International Conference on Extending Database Technology (EDBT), pp. 265\u2013276 (2015)"},{"key":"9_CR47","unstructured":"Cadoli, M., Donini, F.M., Schaerf, M.: Closed world reasoning in hybrid systems. In: Proceedings of the 5th International Symposium on Methodologies for Intelligent Systems (ISMIS 1990), pp. 474\u2013481. North-Holland Publ. Co. (1990)"},{"key":"9_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/978-3-642-03754-2_7","volume-title":"Reasoning Web","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. 5689, pp. 255\u2013356. Springer, Heidelberg (2009)"},{"issue":"1","key":"9_CR49","doi-asserted-by":"crossref","first-page":"43","DOI":"10.3233\/SW-2011-0029","volume":"2","author":"D Calvanese","year":"2011","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Poggi, A., Rodriguez-Muro, M., Rosati, R., Ruzzi, M., Savo, D.F.: The MASTRO system for ontology-based data access. Seman. Web 2(1), 43\u201353 (2011)","journal-title":"Seman. Web"},{"key":"9_CR50","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: DL-Lite: tractable description logics for ontologies. In: Proceedings of the 20th National Conference on Artificial Intelligence (AAAI 2005), pp. 602\u2013607 (2005)"},{"key":"9_CR51","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: EQL-Lite: effective first-order query processing in description logics. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 274\u2013279 (2007)"},{"issue":"3","key":"9_CR52","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. Autom. Reason. 39(3), 385\u2013429 (2007)","journal-title":"J. Autom. Reason."},{"key":"9_CR53","doi-asserted-by":"crossref","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M.: On the decidability of query containment under constraints. In: Proceedings of the 17th ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS 1998), pp. 149\u2013158 (1998)","DOI":"10.1145\/275487.275504"},{"issue":"3","key":"9_CR54","doi-asserted-by":"publisher","first-page":"22.1","DOI":"10.1145\/1352582.1352590","volume":"9","author":"D Calvanese","year":"2008","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M.: Conjunctive query containment and answering under description logics constraints. ACM Trans. Comput. Logic 9(3), 22.1\u201322.31 (2008)","journal-title":"ACM Trans. Comput. Logic"},{"key":"9_CR55","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M., Vardi, M.Y.: Containment of conjunctive regular path queries with inverse. In: Proceedings of the 7th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2000), pp. 176\u2013185 (2000)"},{"key":"9_CR56","unstructured":"Calvanese, D., Eiter, T., Ortiz, M.: Answering regular path queries in expressive description logics: an automata-theoretic approach. In: Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI 2007), pp. 391\u2013396 (2007)"},{"key":"9_CR57","unstructured":"Calvanese, D., Eiter, T., Ortiz, M.: Regular path queries in expressive description logics with nominals. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), pp. 714\u2013720 (2009)"},{"key":"9_CR58","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., Eiter, T., Ortiz, M.: Answering regular path queries in expressive description logics via alternating tree-automata. Inf. Comput. 237, 12\u201355 (2014)","journal-title":"Inf. Comput."},{"key":"9_CR59","unstructured":"Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in description logics. In: Proceedings of the 10th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2006), pp. 260\u2013270. AAAI Press (2006)"},{"key":"9_CR60","doi-asserted-by":"crossref","unstructured":"Calvanese, D., Kharlamov, E., Nutt, W., Thorne, C.: Aggregate queries over ontologies. In: Proceedings of the 2nd International Workshop on Ontologies and Information Systems for the Semantic Web, ONISW 2008, Napa Valley, California, USA, 30 October 2008, pp. 97\u2013104 (2008)","DOI":"10.1145\/1458484.1458500"},{"key":"9_CR61","unstructured":"Calvanese, D., Ortiz, M., \u0160imkus, M.: Containment of regular path queries under description logic constraints. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011) (2011)"},{"key":"9_CR62","doi-asserted-by":"crossref","first-page":"635","DOI":"10.1613\/jair.3870","volume":"48","author":"D Calvanese","year":"2013","unstructured":"Calvanese, D., Ortiz, M., \u0160imkus, M., Stefanoni, G.: Reasoning about explanations for negative query answers in DL-Lite. J. Artif. Intell. Res. (JAIR) 48, 635\u2013669 (2013)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"9_CR63","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"464","DOI":"10.1007\/978-3-319-08587-6_36","volume-title":"Automated Reasoning","author":"D Carral","year":"2014","unstructured":"Carral, D., Feier, C., Cuenca Grau, B., Hitzler, P., Horrocks, I.: $$EL$$-ifying ontologies. In: Demri, S., Kapur, D., Weidenbach, C. (eds.) IJCAR 2014. LNCS, vol. 8562, pp. 464\u2013479. Springer, Heidelberg (2014)"},{"key":"9_CR64","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1007\/978-3-319-11915-1_10","volume-title":"The Semantic Web \u2013 ISWC 2014","author":"D Carral","year":"2014","unstructured":"Carral, D., Feier, C., Grau, B.C., Hitzler, P., Horrocks, I.: Pushing the boundaries of tractable ontology reasoning. In: Mika, P., Tudorache, T., Bernstein, A., Welty, C., Knoblock, C., Vrande\u010di\u0107, D., Groth, P., Noy, N., Janowicz, K., Goble, C. (eds.) ISWC 2014, Part II. LNCS, vol. 8797, pp. 148\u2013163. Springer, Heidelberg (2014)"},{"key":"9_CR65","unstructured":"Carral, D., Feier, C., Romero, A.A., Grau, B.C., Hitzler, P., Horrocks, I.: Is your ontology as hard as you think? Rewriting ontologies into simpler DLs. In: Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, 17\u201320 July 2014. CEUR Workshop Proceedings, vol. 1193, pp. 128\u2013140. CEUR-WS.org (2014)"},{"key":"9_CR66","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83952-8","volume-title":"Logic Programming and Databases","author":"S Ceri","year":"1990","unstructured":"Ceri, S., Gottlob, G., Tanca, L.: Logic Programming and Databases. Springer, Berlin (Germany) (1990)"},{"key":"9_CR67","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/978-3-642-22438-6_16","volume-title":"Automated Deduction \u2013 CADE-23","author":"A Chortaras","year":"2011","unstructured":"Chortaras, A., Trivela, D., Stamou, G.: Optimized query rewriting for OWL 2 QL. In: Bj\u00f8rner, N., Sofronie-Stokkermans, V. (eds.) CADE 2011. LNCS, vol. 6803, pp. 192\u2013206. Springer, Heidelberg (2011)"},{"key":"9_CR68","doi-asserted-by":"crossref","unstructured":"Chortaras, A., Trivela, D., Stamou, G.B.: Goal-oriented query rewriting for OWL 2 QL. In: Proceedings of the 24th International Workshop on Description Logics (DL) (2011)","DOI":"10.1007\/978-3-642-22438-6_16"},{"key":"9_CR69","unstructured":"Clark, J., DeRose, S.: XML path language (XPath) version 1.0. W3C recommendation, World Wide Web consortium (1999)"},{"key":"9_CR70","unstructured":"Colucci, S., Noia, T.D., Sciascio, E.D., Donini, F.M., Ragone, A.: Second-order description logics: semantics, motivation, and a calculus. In: Proceedings of the 23rd International Workshop on Description Logic (DL 2010). CEUR Workshop Proceedings, vol. 573. CEUR-WS.org (2010)"},{"key":"9_CR71","unstructured":"De Giacomo, G., Lenzerini, M.: Boosting the correspondence between description logics and propositional dynamic logics. In: Proceedings of the 12th National Conference on Artificial Intelligence (AAAI 1994), pp. 205\u2013212 (1994)"},{"key":"9_CR72","doi-asserted-by":"crossref","unstructured":"De Giacomo, G., Lenzerini, M., Rosati, R.: Higher-order description logics for domain metamodeling. In: Proceedings of the 25th AAAI Conference on Artificial Intelligence (AAAI 2011) (2011)","DOI":"10.1609\/aaai.v25i1.7857"},{"issue":"2","key":"9_CR73","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/s10115-012-0478-9","volume":"34","author":"J Du","year":"2013","unstructured":"Du, J., Qi, G., Shen, Y.D.: Weight-based consistent query answering over inconsistent $$\\cal SHIQ$$ knowledge bases. Knowl. Inf. Syst. 34(2), 335\u2013371 (2013)","journal-title":"Knowl. Inf. Syst."},{"key":"9_CR74","doi-asserted-by":"crossref","unstructured":"Du, J., Wang, K., Shen, Y.: A tractable approach to ABox abduction over description logic ontologies. In: Proceedings of the 28th AAAI Conference on Artificial Intelligence (AAAI 2014) (2014)","DOI":"10.1609\/aaai.v28i1.8852"},{"key":"9_CR75","doi-asserted-by":"crossref","unstructured":"Du, J., Wang, K., Shen, Y.: Towards tractable and practical ABox abduction over inconsistent description logic ontologies. In: Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015) (2015)","DOI":"10.1609\/aaai.v29i1.9393"},{"key":"9_CR76","volume-title":"Finite Model Theory","author":"HD Ebbinghaus","year":"1999","unstructured":"Ebbinghaus, H.D., Flum, J.: Finite Model Theory, 2nd edn. Springer, Heidelberg (1999)","edition":"2"},{"key":"9_CR77","doi-asserted-by":"crossref","unstructured":"Ehrenfeucht, A., Zeiger, P.: Complexity measures for regular expressions. In: Proceedings of the Sixth Annual ACM Symposium on Theory of Computing (STOC 1974) (1974)","DOI":"10.1145\/800119.803886"},{"key":"9_CR78","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/978-3-540-87803-2_15","volume-title":"Logics in Artificial Intelligence","author":"T Eiter","year":"2008","unstructured":"Eiter, T., Gottlob, G., Ortiz, M., \u0160imkus, M.: Query Answering in the Description Logic Horn-$$\\cal SHIQ$$. In: H\u00f6lldobler, S., Lutz, C., Wansing, H. (eds.) JELIA 2008. LNCS (LNAI), vol. 5293, pp. 166\u2013179. Springer, Heidelberg (2008)"},{"key":"9_CR79","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/978-3-642-02261-6_3","volume-title":"Logic, Language, Information and Computation","author":"T Eiter","year":"2009","unstructured":"Eiter, T., Lutz, C., Ortiz, M., \u0160imkus, M.: Query answering in description logics: the knots approach. In: Ono, H., Kanazawa, M., de Queiroz, R. (eds.) WoLLIC 2009. LNCS, vol. 5514, pp. 26\u201336. Springer, Heidelberg (2009)"},{"key":"9_CR80","unstructured":"Eiter, T., Lutz, C., Ortiz, M., \u0160imkus, M.: Query answering in description logics with transitive roles. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), pp. 759\u2013764 (2009)"},{"key":"9_CR81","doi-asserted-by":"crossref","unstructured":"Eiter, T., Ortiz, M., Simkus, M., Tran, T., Xiao, G.: Query rewriting for Horn-SHIQ plus rules. In: Proceedings of the 26th AAAI Conference on Artificial Intelligence (AAAI 2012). AAAI Press (2012)","DOI":"10.1609\/aaai.v26i1.8219"},{"issue":"1","key":"9_CR82","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/j.jcss.2011.02.012","volume":"78","author":"T Eiter","year":"2012","unstructured":"Eiter, T., Ortiz, M., \u0160imkus, M.: Conjunctive query answering in the description logic SH using knots. J. Comput. Syst. Sci. 78(1), 47\u201385 (2012)","journal-title":"J. Comput. Syst. Sci."},{"key":"9_CR83","unstructured":"Feier, C., Carral, D., Stefanoni, G., Grau, B.C., Horrocks, I.: The combined approach to query answering beyond the OWL 2 profiles. In: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015) (2015)"},{"key":"9_CR84","doi-asserted-by":"crossref","unstructured":"Florescu, D., Levy, A., Suciu, D.: Query containment for conjunctive queries with regular expressions. In: Proceedings of the 17th ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS 1998), pp. 139\u2013148 (1998)","DOI":"10.1145\/275487.275503"},{"key":"9_CR85","unstructured":"Franconi, E., Guagliardo, P., Trevisan, M., Tessaris, S.: Quelo: an ontology-driven query interface. In: Proceedings of the 24th International Workshop on Description Logics (DL) (2011)"},{"key":"9_CR86","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/j.entcs.2011.10.007","volume":"278","author":"E Franconi","year":"2011","unstructured":"Franconi, E., Ib\u00e1\u00f1ez-Garc\u00eda, Y.A., Seylan, I.: Query answering with DBoxes is hard. Electr. Notes Theor. Comput. Sci. 278, 71\u201384 (2011)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"9_CR87","volume-title":"Many-dimensional Modal Logics: Theory and Applications","author":"D Gabbay","year":"2003","unstructured":"Gabbay, D., Kurusz, A., Wolter, F., Zakharyaschev, M.: Many-dimensional Modal Logics: Theory and Applications. Elsevier Science Publishers, Amsterdam (2003)"},{"key":"9_CR88","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/978-3-642-23032-5_3","volume-title":"Reasoning Web","author":"B Glimm","year":"2011","unstructured":"Glimm, B.: Using SPARQL with RDFS and OWL entailment. In: Polleres, A., d\u2019Amato, C., Arenas, M., Handschuh, S., Kroner, P., Ossowski, S., Patel-Schneider, P. (eds.) Reasoning Web 2011. LNCS, vol. 6848, pp. 137\u2013201. Springer, Heidelberg (2011)"},{"key":"9_CR89","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1613\/jair.2372","volume":"31","author":"B Glimm","year":"2008","unstructured":"Glimm, B., Horrocks, I., Lutz, C., Sattler, U.: Conjunctive query answering for the description logic $$\\cal SHIQ$$. J. Artif. Intell. Res. 31, 151\u2013198 (2008)","journal-title":"J. Artif. Intell. Res."},{"key":"9_CR90","unstructured":"Glimm, B., Horrocks, I., Sattler, U.: Unions of conjunctive queries in SHOQ. In: Proceedings of the 11th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2008), pp. 252\u2013262. AAAI Press\/MIT Press (2008)"},{"key":"9_CR91","unstructured":"Glimm, B., Kazakov, Y., Lutz, C.: Status QIO: an update. In: Proceedings of the 22nd International Workshop on Description Logic (DL 2009). CEUR Workshop Proceedings, vol. 745 (2011)"},{"key":"9_CR92","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-642-17746-0_17","volume-title":"The Semantic Web \u2013 ISWC 2010","author":"B Glimm","year":"2010","unstructured":"Glimm, B., Rudolph, S., V\u00f6lker, J.: Integrated metamodeling and diagnosis in OWL\u00a02. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part I. LNCS, vol. 6496, pp. 257\u2013272. Springer, Heidelberg (2010)"},{"key":"9_CR93","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., Schwentick, T., Zakharyaschev, M.: The price of query rewriting in ontology-based data access. Artif. Intell. 213, 42\u201359 (2014)","journal-title":"Artif. Intell."},{"key":"9_CR94","unstructured":"Gottlob, G., Manna, M., Pieris, A.: Polynomial combined rewritings for existential rules. In: Proceedings of the 14th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2014) (2014)"},{"key":"9_CR95","doi-asserted-by":"crossref","unstructured":"Gottlob, G., Orsi, G., Pieris, A.: Ontological queries: rewriting and optimization. In: IEEE 27th International Conference on Data Engineering 2011 (ICDE), April 2011, pp. 2\u201313 (2011)","DOI":"10.1109\/ICDE.2011.5767965"},{"key":"9_CR96","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1007\/978-3-642-33158-9_2","volume-title":"Reasoning Web","author":"G Gottlob","year":"2012","unstructured":"Gottlob, G., Orsi, G., Pieris, A., \u0160imkus, M.: Datalog and its extensions for semantic web databases. In: Eiter, T., Krennwallner, T. (eds.) Reasoning Web 2012. LNCS, vol. 7487, pp. 54\u201377. Springer, Heidelberg (2012)"},{"key":"9_CR97","doi-asserted-by":"crossref","unstructured":"Gottlob, G., Rudolph, S., \u0160imkus, M.: Expressiveness of guarded existential rule languages. In: Proceedings of the 33rd ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS 2014), pp. 27\u201338. ACM, New York (2014)","DOI":"10.1145\/2594538.2594556"},{"key":"9_CR98","unstructured":"Gottlob, G., Schwentick, T.: Rewriting ontological queries into small nonrecursive datalog programs. In: Rosati, R., Rudolph, S., Zakharyaschev, M. (eds.) Description Logics. CEUR Workshop Proceedings, vol. 745. CEUR-WS.org (2011)"},{"key":"9_CR99","doi-asserted-by":"crossref","unstructured":"Grahne, G., Thomo, A.: Query containment and rewriting using views for regular path queries under constraints. In: Proceedings of the 22nd ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS 2003), pp. 111\u2013122 (2003)","DOI":"10.1145\/773153.773165"},{"key":"9_CR100","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1613\/jair.2375","volume":"31","author":"BC Grau","year":"2008","unstructured":"Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: Modular reuse of ontologies: theory and practice. J. Artif. Intell. Res. (JAIR) 31, 273\u2013318 (2008)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"9_CR101","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-642-39666-3_9","volume-title":"Web Reasoning and Rule Systems","author":"V Guti\u00e9rrez-Basulto","year":"2013","unstructured":"Guti\u00e9rrez-Basulto, V., Iba\u00f1ez-Garc\u00eda, Y., Kontchakov, R., Kostylev, E.V.: Conjunctive queries with negation over DL-Lite: a closer look. In: Faber, W., Lembo, D. (eds.) RR 2013. LNCS, vol. 7994, pp. 109\u2013122. Springer, Heidelberg (2013)"},{"key":"9_CR102","unstructured":"Guti\u00e9rrez-Basulto, V., Jung, J.C., Schneider, T.: Lightweight description logics and branching time: a troublesome marriage. In: Proceedings of the 14th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2014) (2014)"},{"key":"9_CR103","unstructured":"Gutierrez-Basulto, V., Jung, J.C., Schneider, T.: Lightweight temporal description logics with rigid roles and restricted TBoxes. In: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015) (2015)"},{"key":"9_CR104","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/978-3-642-33203-6_8","volume-title":"Web Reasoning and Rule Systems","author":"V Guti\u00e9rrez-Basulto","year":"2012","unstructured":"Guti\u00e9rrez-Basulto, V., Klarman, S.: Towards a unifying approach to representing and querying temporal data in description logics. In: Kr\u00f6tzsch, M., Straccia, U. (eds.) RR 2012. LNCS, vol. 7497, pp. 90\u2013105. Springer, Heidelberg (2012)"},{"key":"9_CR105","doi-asserted-by":"publisher","first-page":"935","DOI":"10.1145\/115234.115351","volume":"38","author":"JY Halpern","year":"1991","unstructured":"Halpern, J.Y., Shoham, Y.: A propositional modal logic of time intervals. J. ACM 38, 935\u2013962 (1991)","journal-title":"J. ACM"},{"key":"9_CR106","unstructured":"Harris, S., Seaborne, A.: SPARQL 1.1 query language. W3C recommendation (2013). Available at http:\/\/www.w3.org\/TR\/sparql11-query\/"},{"key":"9_CR107","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-642-25073-6_16","volume-title":"The Semantic Web \u2013 ISWC 2011","author":"M Horridge","year":"2011","unstructured":"Horridge, M., Bail, S., Parsia, B., Sattler, U.: The cognitive complexity of OWL justifications. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011, Part I. LNCS, vol. 7031, pp. 241\u2013256. Springer, Heidelberg (2011)"},{"key":"9_CR108","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/978-3-642-35173-0_19","volume-title":"The Semantic Web \u2013 ISWC 2012","author":"M Horridge","year":"2012","unstructured":"Horridge, M., Parsia, B., Sattler, U.: Extracting justifications from BioPortal ontologies. In: Cudr\u00e9-Mauroux, P., Heflin, J., Sirin, E., Tudorache, T., Euzenat, J., Hauswirth, M., Parreira, J.X., Hendler, J., Schreiber, G., Bernstein, A., Blomqvist, E. (eds.) ISWC 2012, Part II. LNCS, vol. 7650, pp. 287\u2013299. Springer, Heidelberg (2012)"},{"key":"9_CR109","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The irresistible $$\\cal SRIQ$$. In: Proceedings of the 1st International Workshop on OWL: Experiences and Directions (OWLED 2005) (2005)"},{"key":"9_CR110","unstructured":"Horrocks, I., Tessaris, S.: A conjunctive query language for description logic ABoxes. In: Proceedings of the 17th National Conference on Artificial Intelligence (AAAI 2000), pp. 399\u2013404 (2000)"},{"key":"9_CR111","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Data complexity of reasoning in very expressive description logics. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), pp. 466\u2013471 (2005)"},{"issue":"4","key":"9_CR112","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1145\/1634.1886","volume":"31","author":"T Imielinski","year":"1984","unstructured":"Imielinski, T., Lipski Jr., W.: Incomplete information in relational databases. J. ACM 31(4), 761\u2013791 (1984)","journal-title":"J. ACM"},{"key":"9_CR113","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1016\/S0019-9958(86)80029-8","volume":"68","author":"N Immerman","year":"1986","unstructured":"Immerman, N.: Relational queries computable in polynomial time. Inf. Control 68, 86\u2013104 (1986)","journal-title":"Inf. Control"},{"issue":"4","key":"9_CR114","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1016\/j.websem.2005.09.005","volume":"3","author":"A Kalyanpur","year":"2005","unstructured":"Kalyanpur, A., Parsia, B., Sirin, E., Hendler, J.A.: Debugging unsatisfiable classes in OWL ontologies. J. Web Seman. 3(4), 268\u2013293 (2005)","journal-title":"J. Web Seman."},{"key":"9_CR115","unstructured":"Kaminski, M., Grau, B.C.: Computing Horn rewritings of description logics ontologies. In: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015) (2015). http:\/\/arxiv.org\/abs\/1504.05150"},{"key":"9_CR116","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/978-3-319-11113-1_6","volume-title":"Web Reasoning and Rule Systems","author":"M Kaminski","year":"2014","unstructured":"Kaminski, M., Nenov, Y., Cuenca Grau, B.: Computing datalog rewritings for disjunctive datalog programs and description logic ontologies. In: Kontchakov, R., Mugnier, M.-L. (eds.) RR 2014. LNCS, vol. 8741, pp. 76\u201391. Springer, Heidelberg (2014)"},{"key":"9_CR117","unstructured":"Kazakov, Y.: Consequence-driven reasoning for horn SHIQ ontologies. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), pp. 2040\u20132045 (2009)"},{"key":"9_CR118","unstructured":"Kikot, S., Kontchakov, R., Zakharyaschev, M.: On (In)Tractability of OBDA with OWL 2 QL. In: Proceedings of the 24th International Workshop on Description Logic (DL 2011). CEUR Workshop Proceedings, vol. 745. CEUR-WS.org (2011)"},{"key":"9_CR119","unstructured":"Kikot, S., Kontchakov, R., Zakharyaschev, M.: Conjunctive query answering with OWL 2 QL. In: Proceedings of the 13th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2012), pp. 275\u2013285. AAAI Press (2012)"},{"key":"9_CR120","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/978-3-642-31585-5_26","volume-title":"Automata, Languages, and Programming","author":"S Kikot","year":"2012","unstructured":"Kikot, S., Kontchakov, R., Podolskii, V., Zakharyaschev, M.: Exponential lower bounds and separation for query rewriting. In: Czumaj, A., Mehlhorn, K., Pitts, A., Wattenhofer, R. (eds.) ICALP 2012, Part II. LNCS, vol. 7392, pp. 263\u2013274. Springer, Heidelberg (2012)"},{"key":"9_CR121","doi-asserted-by":"crossref","unstructured":"Kikot, S., Kontchakov, R., Podolskii, V.V., Zakharyaschev, M.: On the succinctness of query rewriting over OWL 2 QL ontologies with shallow chases. In: Proceedings of the 29th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS 2014). ACM Press (2014)","DOI":"10.1145\/2603088.2603131"},{"key":"9_CR122","unstructured":"Klenke, T.: \u00dcber die Entscheidbarkeit von Konjunktiv Anfragen mit Ungleichheit in der Beschreibungslogik $$\\cal EL$$. Master\u2019s thesis, Universit\u00e4t Bremen (2010)"},{"key":"9_CR123","doi-asserted-by":"crossref","unstructured":"Konev, B., Kontchakov, R., Ludwig, M., Schneider, T., Wolter, F., Zakharyaschev, M.: Conjunctive query inseparability of OWL 2 QL TBoxes. In: Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015) (2011)","DOI":"10.1609\/aaai.v25i1.7846"},{"key":"9_CR124","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-642-33203-6_10","volume-title":"Web Reasoning and Rule Systems","author":"M K\u00f6nig","year":"2012","unstructured":"K\u00f6nig, M., Lecl\u00e8re, M., Mugnier, M.-L., Thomazo, M.: A sound and complete backward chaining algorithm for existential rules. In: Kr\u00f6tzsch, M., Straccia, U. (eds.) RR 2012. LNCS, vol. 7497, pp. 122\u2013138. Springer, Heidelberg (2012)"},{"key":"9_CR125","unstructured":"K\u00f6nig, M., Lecl\u00e8re, M., Mugnier, M.L.: Query rewriting for existential rules with compiled preorder. In: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015) (2015)"},{"key":"9_CR126","unstructured":"Kontchakov, R., Lutz, C., Toman, D., Wolter, F., Zakharyaschev, M.: The combined approach to ontology-based data access. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), pp. 2656\u20132661. IJCAI\/AAAI (2011)"},{"key":"9_CR127","unstructured":"Kontchakov, R., Pulina, L., Sattler, U., Schneider, T., Selmer, P., Wolter, F., Zakharyaschev, M.: Minimal module extraction from DL-Lite ontologies using QBF solvers. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), pp. 836\u2013841 (2009)"},{"key":"9_CR128","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1007\/978-3-642-39784-4_5","volume-title":"Reasoning Web","author":"R Kontchakov","year":"2013","unstructured":"Kontchakov, R., Rodr\u00edguez-Muro, M., Zakharyaschev, M.: Ontology-based data access with databases: a short course. In: Rudolph, S., Gottlob, G., Horrocks, I., van Harmelen, F. (eds.) Reasoning Weg 2013. LNCS, vol. 8067, pp. 194\u2013229. Springer, Heidelberg (2013)"},{"issue":"15","key":"9_CR129","doi-asserted-by":"publisher","first-page":"1093","DOI":"10.1016\/j.artint.2010.06.003","volume":"174","author":"R Kontchakov","year":"2010","unstructured":"Kontchakov, R., Wolter, F., Zakharyaschev, M.: Logic-based ontology comparison and module extraction, with an application to DL-Lite. Artif. Intell. 174(15), 1093\u20131141 (2010)","journal-title":"Artif. Intell."},{"key":"9_CR130","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1007\/978-3-319-11915-1_24","volume-title":"The Semantic Web \u2013 ISWC 2014","author":"EV Kostylev","year":"2014","unstructured":"Kostylev, E.V., Cuenca Grau, B.: On the semantics of SPARQL queries with optional matching under entailment regimes. In: Mika, P., Tudorache, T., Bernstein, A., Welty, C., Knoblock, C., Vrande\u010di\u0107, D., Groth, P., Noy, N., Janowicz, K., Goble, C. (eds.) ISWC 2014, Part II. LNCS, vol. 8797, pp. 374\u2013389. Springer, Heidelberg (2014)"},{"key":"9_CR131","doi-asserted-by":"crossref","unstructured":"Kostylev, E.V., Reutter, J.L.: Answering counting aggregate queries over ontologies of the DL-Lite family. In: Proceedings of the 27th AAAI Conference on Artificial Intelligence (AAAI 2013) (2013)","DOI":"10.1609\/aaai.v27i1.8646"},{"key":"9_CR132","doi-asserted-by":"crossref","unstructured":"Kostylev, E.V., Reutter, J.L., Vrgoc, D.: XPath for DL ontologies. In: Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015) (2015)","DOI":"10.1609\/aaai.v29i1.9396"},{"key":"9_CR133","series-title":"Lecture Notes in Computer Science (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 $$\\cal {EL}$$ family of description logics. In: Dershowitz, N., Voronkov, A. (eds.) LPAR 2007. LNCS (LNAI), vol. 4790, pp. 333\u2013347. Springer, Heidelberg (2007)"},{"key":"9_CR134","unstructured":"Kr\u00f6tzsch, M., Rudolph, S.: Conjunctive queries for $$\\cal EL$$ with composition of roles. In: Proceedings of the 20th International Workshop on Description Logic (DL 2007) (2007)"},{"key":"9_CR135","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/978-3-540-76298-0_23","volume-title":"The Semantic Web","author":"M Kr\u00f6tzsch","year":"2007","unstructured":"Kr\u00f6tzsch, M., Rudolph, S., Hitzler, P.: Conjunctive queries for a tractable fragment of OWL 1.1. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L.J.B., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudr\u00e9-Mauroux, P. (eds.) ASWC 2007 and ISWC 2007. LNCS, vol. 4825, pp. 310\u2013323. Springer, Heidelberg (2007)"},{"issue":"1","key":"9_CR136","doi-asserted-by":"publisher","first-page":"2:1","DOI":"10.1145\/2422085.2422087","volume":"14","author":"M Kr\u00f6tzsch","year":"2013","unstructured":"Kr\u00f6tzsch, M., Rudolph, S., Hitzler, P.: Complexities of Horn description logics. ACM Trans. Comput. Logic 14(1), 2:1\u20132:36 (2013)","journal-title":"ACM Trans. Comput. Logic"},{"issue":"1","key":"9_CR137","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1109\/MIS.2013.123","volume":"29","author":"M Krotzsch","year":"2014","unstructured":"Krotzsch, M., Simancik, F., Horrocks, I.: Description logics. IEEE Intell. Syst. 29(1), 12\u201319 (2014)","journal-title":"IEEE Intell. Syst."},{"key":"9_CR138","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/978-3-642-15918-3_9","volume-title":"Web Reasoning and Rule Systems","author":"D Lembo","year":"2010","unstructured":"Lembo, D., Lenzerini, M., Rosati, R., Ruzzi, M., Savo, D.F.: Inconsistency-tolerant semantics for description logics. In: Hitzler, P., Lukasiewicz, T. (eds.) RR 2010. LNCS, vol. 6333, pp. 103\u2013117. Springer, Heidelberg (2010)"},{"key":"9_CR139","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-642-23580-1_12","volume-title":"Web Reasoning and Rule Systems","author":"D Lembo","year":"2011","unstructured":"Lembo, D., Lenzerini, M., Rosati, R., Ruzzi, M., Savo, D.F.: Query rewriting for inconsistent DL-Lite ontologies. In: Rudolph, S., Gutierrez, C. (eds.) RR 2011. LNCS, vol. 6902, pp. 155\u2013169. Springer, Heidelberg (2011)"},{"key":"9_CR140","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1007\/978-3-319-11113-1_8","volume-title":"Web Reasoning and Rule Systems","author":"D Lembo","year":"2014","unstructured":"Lembo, D., Mora, J., Rosati, R., Savo, D.F., Thorstensen, E.: Towards mapping analysis in ontology-based data access. In: Kontchakov, R., Mugnier, M.-L. (eds.) RR 2014. LNCS, vol. 8741, pp. 108\u2013123. Springer, Heidelberg (2014)"},{"key":"9_CR141","doi-asserted-by":"crossref","unstructured":"Lembo, D., Mora, J., Rosati, R., Savo, D.F., Thorstensen, E.: Mapping analysis in ontology-based data access: algorithms and complexity. In: Proceedings of the 29th International Workshop on Description Logic (DL 2015) (2015)","DOI":"10.1007\/978-3-319-25007-6_13"},{"key":"9_CR142","doi-asserted-by":"crossref","unstructured":"Lenzerini, M.: Data integration: a theoretical perspective. In: Proceedings of the 21st ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS 2002), pp. 233\u2013246 (2002)","DOI":"10.1145\/543613.543644"},{"key":"9_CR143","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"580","DOI":"10.1007\/978-3-662-45563-0_35","volume-title":"On the Move to Meaningful Internet Systems: OTM 2014 Conferences","author":"M Lenzerini","year":"2014","unstructured":"Lenzerini, M., Lepore, L., Poggi, A.: Making metaquerying practical for Hi(DL-Lite$$_{R}$$) knowledge bases. In: Meersman, R., Panetto, H., Dillon, T., Missikoff, M., Liu, L., Pastor, O., Cuzzocrea, A., Sellis, T. (eds.) OTM 2014. LNCS, vol. 8841, pp. 580\u2013596. Springer, Heidelberg (2014)"},{"issue":"1\u20132","key":"9_CR144","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/S0004-3702(98)00048-4","volume":"104","author":"AY Levy","year":"1998","unstructured":"Levy, A.Y., Rousset, M.C.: Combining Horn rules and description logics in CARIN. Artif. Intell. 104(1\u20132), 165\u2013209 (1998)","journal-title":"Artif. Intell."},{"key":"9_CR145","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-07003-1","volume-title":"Elements of Finite Model Theory","author":"L Libkin","year":"2004","unstructured":"Libkin, L.: Elements of Finite Model Theory. Springer, Heidelberg (2004)"},{"key":"9_CR146","unstructured":"Lutz, C., Toman, D., Wolter, F.: Conjunctive query answering in the description logic $$\\cal EL$$ using a relational database system. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), pp. 2070\u20132075. AAAI Press (2009)"},{"key":"9_CR147","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-540-71070-7_16","volume-title":"Automated Reasoning","author":"C Lutz","year":"2008","unstructured":"Lutz, C.: The complexity of conjunctive query answering in expressive description logics. In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS (LNAI), vol. 5195, pp. 179\u2013193. Springer, Heidelberg (2008)"},{"key":"9_CR148","unstructured":"Lutz, C.: Two upper bounds for conjunctive query answering in SHIQ. In: Proceedings of the 22nd International Workshop on Description Logic (DL 2008). CEUR Workshop Proceedings, vol. 353. CEUR-WS.org (2008)"},{"key":"9_CR149","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1007\/978-3-642-41335-3_20","volume-title":"The Semantic Web \u2013 ISWC 2013","author":"C Lutz","year":"2013","unstructured":"Lutz, C., Seylan, I., Toman, D., Wolter, F.: The combined approach to OBDA: taming role hierarchies using filters. In: Alani, H., Kagal, L., Fokoue, A., Groth, P., Biemann, C., Parreira, J.X., Aroyo, L., Noy, N., Welty, C., Janowicz, K. (eds.) ISWC 2013, Part I. LNCS, vol. 8218, pp. 314\u2013330. Springer, Heidelberg (2013)"},{"key":"9_CR150","unstructured":"Lutz, C., Seylan, I., Wolter, F.: Ontology-based data access with closed predicates is inherently intractable (sometimes). In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013). IJCAI\/AAAI (2013)"},{"key":"9_CR151","unstructured":"Lutz, C., Seylan, I., Wolter, F.: Ontology-mediated queries with closed predicates. In: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015) (2015)"},{"key":"9_CR152","unstructured":"Lutz, C., Toman, D., Wolter, F.: Conjunctive query answering in the description logic $$\\cal EL$$ using a relational database system. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), pp. 2070\u20132075 (2009)"},{"issue":"2","key":"9_CR153","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/j.jsc.2008.10.007","volume":"45","author":"C Lutz","year":"2010","unstructured":"Lutz, C., Wolter, F.: Deciding inseparability and conservative extensions in the description logic $$\\cal EL$$. J. Symb. Comput. 45(2), 194\u2013228 (2010)","journal-title":"J. Symb. Comput."},{"key":"9_CR154","doi-asserted-by":"crossref","unstructured":"Lutz, C., Wolter, F., Zakharyaschev, M.: Temporal description logics: a survey. In: Proceedings 15th International Symposium on Temporal Representation and Reasoning (TIME 2008), pp. 3\u201314. IEEE Computer Society (2008)","DOI":"10.1109\/TIME.2008.14"},{"key":"9_CR155","unstructured":"McGuinness, D.L., Borgida, A.: Explaining subsumption in description logics. In: Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI 1995) (1995)"},{"key":"9_CR156","doi-asserted-by":"crossref","unstructured":"Mora, J., Corcho, \u00d3.: Engineering optimisations in query rewriting for OBDA. In: Proceedings of the 9th International Conference on Semantic Systems (I-SEMANTICS), pp. 41\u201348 (2013)","DOI":"10.1145\/2506182.2506188"},{"key":"9_CR157","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"548","DOI":"10.1007\/11574620_40","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"B Motik","year":"2005","unstructured":"Motik, B.: On the properties of metamodeling in OWL. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 548\u2013562. Springer, Heidelberg (2005)"},{"key":"9_CR158","unstructured":"Motik, B.: Reasoning in description logics using resolution and deductive databases. Ph.D. thesis, Univesit\u00e4t Karlsruhe (TH), Karlsruhe, Germany, January 2006"},{"key":"9_CR159","unstructured":"Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C.: OWL 2 web ontology language profiles. W3C recommendation (2012). Available at http:\/\/www.w3.org\/TR\/owl2-profiles\/"},{"key":"9_CR160","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1007\/978-3-540-30475-3_38","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"B Motik","year":"2004","unstructured":"Motik, B., Sattler, U., Studer, R.: Query answering for OWL-DL with rules. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 549\u2013563. Springer, Heidelberg (2004)"},{"key":"9_CR161","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/978-3-319-10587-1_6","volume-title":"Reasoning Web","author":"M-L Mugnier","year":"2014","unstructured":"Mugnier, M.-L., Thomazo, M.: An introduction to ontology-based query answering with existential rules. In: Koubarakis, M., Stamou, G., Stoilos, G., Horrocks, I., Kolaitis, P., Lausen, G., Weikum, G. (eds.) Reasoning Web. LNCS, vol. 8714, pp. 245\u2013278. Springer, Heidelberg (2014)"},{"key":"9_CR162","unstructured":"Ngo, N., Ortiz, M., \u0160imkus, M.: The combined complexity of reasoning with closed predicates in description logics. In: Proceedings of the 29th International Workshop on Description Logic (DL 2015) (2015)"},{"key":"9_CR163","unstructured":"Ortiz, M.: Ontology based query answering: the story so far. In: Proceedings of the Seventh Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2013) (2013)"},{"issue":"1","key":"9_CR164","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. Autom. Reason. 41(1), 61\u201398 (2008)","journal-title":"J. Autom. Reason."},{"key":"9_CR165","unstructured":"Ortiz, M., Rudolph, S., \u0160imkus, M.: Query answering is undecidable in DLs with regular expressions, inverses, nominals, and counting. Technical report, INFSYS RR-1843-10-03, Institut f\u00fcr Informationssysteme, Technische Universit\u00e4t Wien, A-1040 Vienna, Austria, April 2010"},{"key":"9_CR166","unstructured":"Ortiz, M., Rudolph, S., \u0160imkus, M.: Query answering in the Horn fragments of the description logics SHOIQ and SROIQ. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), pp. 1039\u20131044. IJCAI\/AAAI (2011)"},{"key":"9_CR167","unstructured":"Ortiz, M., \u0160imkus, M., Eiter, T.: Worst-case optimal conjunctive query answering for an expressive description logic without inverses. In: Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI 2008), pp. 504\u2013510. AAAI Press (2008)"},{"key":"9_CR168","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Reasoning Web","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. 7487, pp. 1\u201353. Springer, Heidelberg (2012)"},{"key":"9_CR169","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1007\/978-3-319-11113-1_18","volume-title":"Web Reasoning and Rule Systems","author":"M Ortiz","year":"2014","unstructured":"Ortiz, M., \u0160imkus, M.: Revisiting the hardness of query answering in expressive description logics. In: Kontchakov, R., Mugnier, M.-L. (eds.) RR 2014. LNCS, vol. 8741, pp. 216\u2013223. Springer, Heidelberg (2014)"},{"key":"9_CR170","unstructured":"OWL working group, W.: OWL 2 web ontology language: document overview. W3C recommendation, 27 October 2009. Available at http:\/\/www.w3.org\/TR\/owl2-overview\/"},{"key":"9_CR171","doi-asserted-by":"crossref","unstructured":"Pan, J.Z., Horrocks, I.: OWL FA: a metamodeling extension of OWL DL. In: Proceedings of the 15th International Conference on World Wide Web, WWW 2006, pp. 1065\u20131066. ACM, New York (2006)","DOI":"10.1145\/1135777.1136017"},{"key":"9_CR172","volume-title":"Computational Complexity","author":"CH Papadimitriou","year":"1994","unstructured":"Papadimitriou, C.H.: Computational Complexity. Addison Wesley Publ. Co., Boston (1994)"},{"key":"9_CR173","unstructured":"Pe\u00f1aloza, R., Sertkaya, B.: Complexity of axiom pinpointing in the DL-Lite family of description logics. In: Proceedings of ECAI (2010)"},{"issue":"4","key":"9_CR174","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/j.websem.2010.01.002","volume":"8","author":"J P\u00e9rez","year":"2010","unstructured":"P\u00e9rez, J., Arenas, M., Gutierrez, C.: nSPARQL: a navigational language for RDF. J. Web Seman. 8(4), 255\u2013270 (2010)","journal-title":"J. Web Seman."},{"key":"9_CR175","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1007\/978-3-642-04930-9_31","volume-title":"The Semantic Web - ISWC 2009","author":"H P\u00e9rez-Urbina","year":"2009","unstructured":"P\u00e9rez-Urbina, H., Horrocks, I., Motik, B.: Efficient query answering for OWL 2. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol. 5823, pp. 489\u2013504. Springer, Heidelberg (2009)"},{"issue":"2","key":"9_CR176","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. Appl. Logic 8(2), 186\u2013209 (2010)","journal-title":"J. Appl. Logic"},{"key":"9_CR177","doi-asserted-by":"crossref","unstructured":"Pinto, F.D., Lembo, D., Lenzerini, M., Mancini, R., Poggi, A., Rosati, R., Ruzzi, M., Savo, D.F.: Optimizing query rewriting in ontology-based data access. In: Proceedings of the 16th International Conference on Extending Database Technology (EDBT), pp. 561\u2013572 (2013)","DOI":"10.1145\/2452376.2452441"},{"key":"9_CR178","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/978-3-540-77688-8_5","volume":"10","author":"A Poggi","year":"2008","unstructured":"Poggi, A., Lembo, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Linking data to ontologies. J. Data Seman. 10, 133\u2013173 (2008)","journal-title":"J. Data Seman."},{"key":"9_CR179","unstructured":"Prud\u2019hommeaux, E., Seaborne, A.: SPARQL query language for RDF. W3C recommendation (2008). http:\/\/www.w3.org\/TR\/rdf-sparql-query\/"},{"key":"9_CR180","unstructured":"Reutter, J., Romero, M., Vardi, M.Y.: Regular queries on graph databases. In: Proceedings of ICDT 2015 (2015)"},{"key":"9_CR181","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1007\/978-3-642-41335-3_35","volume-title":"The Semantic Web \u2013 ISWC 2013","author":"M Rodr\u00edguez-Muro","year":"2013","unstructured":"Rodr\u00edguez-Muro, M., Kontchakov, R., Zakharyaschev, M.: Ontology-based data access: Ontop of databases. In: Alani, H., Kagal, L., Fokoue, A., Groth, P., Biemann, C., Parreira, J.X., Aroyo, L., Noy, N., Welty, C., Janowicz, K. (eds.) ISWC 2013, Part I. LNCS, vol. 8218, pp. 558\u2013573. Springer, Heidelberg (2013)"},{"key":"9_CR182","unstructured":"Rodriguez-Muro, M., Calvanese, D.: High performance query answering over DL-Lite ontologies. In: Brewka, G., Eiter, T., McIlraith, S.A. (eds.) Proceedings of the 13th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2012). AAAI Press, Menlo Park, CA (2012)"},{"key":"9_CR183","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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. 7295, pp. 360\u2013374. Springer, Heidelberg (2012)"},{"key":"9_CR184","unstructured":"Rosati, R.: DL+log: tight integration of description logics and disjunctive datalog. In: Proceedings of the 10th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2006), pp. 68\u201398 (2006)"},{"key":"9_CR185","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/11965893_12","volume-title":"Database Theory \u2013 ICDT 2007","author":"R Rosati","year":"2006","unstructured":"Rosati, R.: The limits of querying ontologies. In: Schwentick, T., Suciu, D. (eds.) ICDT 2007. LNCS, vol. 4353, pp. 164\u2013178. Springer, Heidelberg (2006)"},{"key":"9_CR186","unstructured":"Rosati, R.: On conjunctive query answering in $$\\cal EL$$. In: Proceedings of the 20th International Workshop on Description Logic (DL 2007) (2007)"},{"key":"9_CR187","unstructured":"Rosati, R.: On the complexity of dealing with inconsistency in description logic ontologies. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011) (2011)"},{"key":"9_CR188","unstructured":"Rosati, R., Almatelli, A.: Improving query answering over DL-Lite ontologies. In: Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010) (2010)"},{"key":"9_CR189","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-642-35173-0_23","volume-title":"The Semantic Web \u2013 ISWC 2012","author":"R Rosati","year":"2012","unstructured":"Rosati, R., Ruzzi, M., Graziosi, M., Masotti, G.: Evaluation of techniques for inconsistency handling in OWL 2 QL ontologies. In: Cudr\u00e9-Mauroux, P., Heflin, J., Sirin, E., Tudorache, T., Euzenat, J., Hauswirth, M., Parreira, J.X., Hendler, J., Schreiber, G., Bernstein, A., Blomqvist, E. (eds.) ISWC 2012, Part II. LNCS, vol. 7650, pp. 337\u2013349. Springer, Heidelberg (2012)"},{"key":"9_CR190","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/978-3-642-23032-5_2","volume-title":"Reasoning Web","author":"S Rudolph","year":"2011","unstructured":"Rudolph, S.: Foundations of description logics. In: Polleres, A., d\u2019Amato, C., Arenas, M., Handschuh, S., Kroner, P., Ossowski, S., Patel-Schneider, P. (eds.) Reasoning Web 2011. LNCS, vol. 6848, pp. 76\u2013136. Springer, Heidelberg (2011)"},{"key":"9_CR191","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1613\/jair.3029","volume":"39","author":"S Rudolph","year":"2010","unstructured":"Rudolph, S., Glimm, B.: Nominals, inverses, counting, and conjunctive queries or: why infinity is your friend!. J. Artif. Intell. Res. 39, 429\u2013481 (2010)","journal-title":"J. Artif. Intell. Res."},{"key":"9_CR192","doi-asserted-by":"crossref","unstructured":"Rudolph, S., Kr\u00f6tzsch, M.: Flag & check: data access with monadically defined queries. In: Proceedings of the 32nd ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS 2013), pp. 151\u2013162. ACM (2013)","DOI":"10.1145\/2463664.2465227"},{"key":"9_CR193","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/3-540-57292-9_49","volume-title":"Advances in Artificial Intelligence","author":"A Schaerf","year":"1993","unstructured":"Schaerf, A.: Reasoning with individuals in concept languages. In: Torasso, P. (ed.) AI*IA 1993. LNCS, vol. 728, pp. 108\u2013119. Springer, Heidelberg (1993)"},{"key":"9_CR194","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/3-540-57287-2_41","volume-title":"Progress in Artificial Intelligence","author":"K Schild","year":"1993","unstructured":"Schild, K.: Combining terminological logics with tense logic. In: Damas, L.M.M., Filgueiras, M. (eds.) EPIA 1993. LNCS, vol. 727, pp. 105\u2013120. Springer, Heidelberg (1993)"},{"key":"9_CR195","unstructured":"Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003) (2003)"},{"key":"9_CR196","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-642-02959-2_6","volume-title":"Automated Deduction \u2013 CADE-22","author":"R Sebastiani","year":"2009","unstructured":"Sebastiani, R., Vescovi, M.: Axiom pinpointing in lightweight description logics via Horn-SAT encoding and conflict analysis. In: Schmidt, R.A. (ed.) CADE-22. LNCS, vol. 5663, pp. 84\u201399. Springer, Heidelberg (2009)"},{"key":"9_CR197","unstructured":"Seylan, I., Franconi, E., de Bruijn, J.: Effective query rewriting with ontologies over DBoxes. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), pp. 923\u2013925 (2009)"},{"key":"9_CR198","doi-asserted-by":"crossref","unstructured":"Shmueli, O.: Decidability and expressiveness aspects of logic queries. In: Proceedings of the 6th ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS 1987), pp. 237\u2013249 (1987)","DOI":"10.1145\/28659.28685"},{"issue":"1","key":"9_CR199","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1016\/j.jbi.2006.02.013","volume":"40","author":"N Sioutos","year":"2006","unstructured":"Sioutos, N., de Coronado, S., Haber, M., Hartel, F., Shaiu, W., Wright, L.: NCI thesaurus: a semantic model integrating cancer-related clinical and molecular information. J. Biomed. Inf. 40(1), 30\u201343 (2006)","journal-title":"J. Biomed. Inf."},{"key":"9_CR200","doi-asserted-by":"crossref","unstructured":"Soylu, A., Kharlamov, E., Zheleznyakov, D., Jim\u00e9nez-Ruiz, E., Giese, M., Horrocks, I.: OptiqueVQS: visual query formulation for OBDA. In: Informal Proceedings of the 27th International Workshop on Description Logics (DL), pp. 725\u2013728 (2014)","DOI":"10.1145\/2536146.2536149"},{"key":"9_CR201","doi-asserted-by":"crossref","unstructured":"Stefanoni, G., Motik, B.: Answering conjunctive queries over EL knowledge bases with transitive and reflexive roles. In: Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015), pp. 1611\u20131617. AAAI Press (2015)","DOI":"10.1609\/aaai.v29i1.9386"},{"key":"9_CR202","doi-asserted-by":"crossref","unstructured":"Stefanoni, G., Motik, B., Horrocks, I.: Introducing nominals to the combined query answering approaches for EL. In: Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI 2007). AAAI Press (2013)","DOI":"10.1609\/aaai.v27i1.8452"},{"key":"9_CR203","doi-asserted-by":"crossref","first-page":"645","DOI":"10.1613\/jair.4457","volume":"51","author":"G Stefanoni","year":"2014","unstructured":"Stefanoni, G., Motik, B., Kr\u00f6tzsch, M., Rudolph, S.: The complexity of answering conjunctive and navigational queries over OWL 2 EL knowledge bases. J. Artif. Intell. Res. (JAIR) 51, 645\u2013705 (2014)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"9_CR204","series-title":"Lecture Notes in Computer Science","volume-title":"Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization","year":"2009","unstructured":"Stuckenschmidt, H., Parent, C., Spaccapietra, S. (eds.): Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization. Lecture Notes in Computer Science, vol. 5445. Springer, Heidelberg (2009)"},{"key":"9_CR205","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1038\/75556","volume":"25","author":"M Ashburner","year":"2000","unstructured":"Ashburner, M., Ball, C.A., Blake, J.A., Botstein, D., Butler, H., Cherry, J.M., Davis, A.P., Dolinski, K., Dwight, S.S., Eppig, J.T., Harris, M.A., Hill, D.P., Issel-Tarver, L., Kasarskis, A., Lewis, S., Matese, J.C., Richardson, J.E., Ringwald, M., Rubin, G.M., Sherlock, G.: Gene ontology: tool for the unification of biology. Nat. Genet. 25, 25\u201329 (2000)","journal-title":"Nat. Genet."},{"key":"9_CR206","unstructured":"Thomazo, M.: Compact rewritings for existential rules. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013) (2013)"},{"key":"9_CR207","doi-asserted-by":"crossref","unstructured":"Trivela, D., Stoilos, G., Chortaras, A., Stamou, G.: Optimising resolution-based rewriting algorithms for OWL ontologies. J. Web Seman. (2015, to appear)","DOI":"10.2139\/ssrn.3199187"},{"key":"9_CR208","unstructured":"Trivela, D., Stoilos, G., Chortaras, A., Stamou, G.: Query rewriting in Horn-$$\\cal SHIQ$$ (extended abstract). In: Proceedings of the 29th International Workshop on Description Logic (DL 2015) (2015)"},{"key":"9_CR209","doi-asserted-by":"crossref","unstructured":"Vardi, M.Y.: The complexity of relational query languages. In: Proceedings of the 14th ACM SIGACT Symposium on Theory of Computing (STOC 1982), pp. 137\u2013146 (1982)","DOI":"10.1145\/800070.802186"},{"key":"9_CR210","doi-asserted-by":"crossref","unstructured":"Vardi, M.Y.: On the complexity of bounded-variable queries. In: Proceedings of the 14th ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS 1995), pp. 266\u2013276 (1995)","DOI":"10.1145\/212433.212474"},{"issue":"1","key":"9_CR211","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s13740-012-0017-6","volume":"3","author":"T Venetis","year":"2014","unstructured":"Venetis, T., Stoilos, G., Stamou, G.B.: Query extensions and incremental query rewriting for OWL 2 QL ontologies. J. Data Seman. 3(1), 1\u201323 (2014)","journal-title":"J. Data Seman."},{"key":"9_CR212","doi-asserted-by":"crossref","unstructured":"Zhou, Y., Nenov, Y., Cuenca Grau, B., Horrocks, I.: Pay-as-you-go OWL query answering using a triple store. In: Proceedings of the 28th Conference on Artificial Intelligence (AAAI 2014), pp. 1142\u20131148 (2014)","DOI":"10.1609\/aaai.v28i1.8856"}],"container-title":["Lecture Notes in Computer Science","Reasoning Web. Web Logic Rules"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21768-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,29]],"date-time":"2025-05-29T03:46:38Z","timestamp":1748490398000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-21768-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319217673","9783319217680"],"references-count":212,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21768-0_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"11 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}