{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,23]],"date-time":"2026-04-23T10:26:05Z","timestamp":1776939965819,"version":"3.51.4"},"publisher-location":"Cham","reference-count":45,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319494920","type":"print"},{"value":"9783319494937","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-49493-7_5","type":"book-chapter","created":{"date-parts":[[2017,2,25]],"date-time":"2017-02-25T09:12:22Z","timestamp":1488013942000},"page":"156-202","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":24,"title":["Inconsistency-Tolerant Querying of Description Logic Knowledge Bases"],"prefix":"10.1007","author":[{"given":"Meghyn","family":"Bienvenu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Camille","family":"Bourgaux","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,2,26]]},"reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-319-21768-0_9","volume-title":"Reasoning Web. Web Logic Rules","author":"M Bienvenu","year":"2015","unstructured":"Bienvenu, M., Ortiz, M.: Ontology-mediated query answering with data-tractable description logics. In: Faber, W., Paschke, A. (eds.) Reasoning Web 2015. LNCS, vol. 9203, pp. 218\u2013307. Springer, Heidelberg (2015). doi:10.1007\/978-3-319-21768-0_9"},{"key":"5_CR2","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","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, Cambridge (2003)"},{"key":"5_CR3","unstructured":"OWL Working Group. OWL 2 Web Ontology Language: Document Overview. W3C Recommendation (2009). http:\/\/www.w3.org\/TR\/owl2-overview\/"},{"issue":"3","key":"5_CR4","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. (JAR) 39(3), 385\u2013429 (2007)","journal-title":"J. Autom. Reason. (JAR)"},{"key":"5_CR5","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). doi:10.1007\/978-3-642-15918-3_9"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Arenas, M., Bertossi, L.E., Chomicki, J.: Consistent query answers in inconsistent databases. In: Proceedings of the 18th Symposium on Principles of Database Systems (PODS), pp. 68\u201379 (1999)","DOI":"10.1145\/303976.303983"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"926","DOI":"10.1007\/3-540-44957-4_62","volume-title":"Computational Logic \u2014 CL 2000","author":"M Arenas","year":"2000","unstructured":"Arenas, M., Bertossi, L., Kifer, M.: Applications of annotated predicate calculus to querying inconsistent databases. In: Lloyd, J., et al. (eds.) CL 2000. LNCS (LNAI), vol. 1861, pp. 926\u2013941. Springer, Heidelberg (2000). doi:10.1007\/3-540-44957-4_62"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Chomicki, J.: Consistent query answering: five easy pieces. In Proceedings of the 10th International Conference on Database Theory (ICDT), pp. 1\u201317 (2007)","DOI":"10.1007\/11965893_1"},{"key":"5_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-01883-1","volume-title":"Database Repairing and Consistent Query Answering: Synthesis Lectures on Data Management","author":"LE Bertossi","year":"2011","unstructured":"Bertossi, L.E.: Database Repairing and Consistent Query Answering: Synthesis Lectures on Data Management. Morgan & Claypool Publishers, San Rafael (2011)"},{"key":"5_CR10","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)"},{"key":"5_CR11","unstructured":"Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C.: OWL 2 Web Ontology Language Profiles. W3C Recommendation (2012). http:\/\/www.w3.org\/TR\/owl2-profiles\/"},{"issue":"5","key":"5_CR12","doi-asserted-by":"publisher","first-page":"935","DOI":"10.1137\/0217058","volume":"17","author":"N Immerman","year":"1988","unstructured":"Immerman, N.: Nondeterministic space is closed under complementation. SIAM J. Comput. 17(5), 935\u2013938 (1988)","journal-title":"SIAM J. Comput."},{"key":"5_CR13","first-page":"96","volume":"33","author":"R Szelepcs\u00e9nyi","year":"1987","unstructured":"Szelepcs\u00e9nyi, R.: The method of forcing for nondeterministic automata. Bull. EATCS 33, 96\u201399 (1987)","journal-title":"Bull. EATCS"},{"key":"5_CR14","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 (2012)","DOI":"10.1609\/aaai.v26i1.8218"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Lukasiewicz, T., Martinez, M.V., Simari, G.I.: Inconsistency handling in datalog $$+\/-$$ ontologies. In: Proceedings of the 20th European Conference on Artificial Intelligence (ECAI) (2012)","DOI":"10.3233\/978-1-61499-098-7-558"},{"key":"5_CR16","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)","DOI":"10.1609\/aaai.v28i1.8855"},{"key":"5_CR17","unstructured":"Bourgaux,C.: Inconsistency handling in ontology-mediated query answering. Ph.D. thesis, University of Paris-Sud (2016)"},{"key":"5_CR18","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $$\\cal{EL}$$ envelope. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI), pp. 364\u2013369 (2005)"},{"key":"5_CR19","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), pp. 260\u2013270 (2006)"},{"key":"5_CR20","unstructured":"Rosati, R.: On conjunctive query answering in $$\\cal{EL}$$. In: Proceedings of the 20th International Workshop on Description Logics (DL) (2007)"},{"key":"5_CR21","unstructured":"Kr\u00f6tzsch, M., Rudolph, S.: Conjunctive queries for $$\\cal{EL}$$ with composition of roles. In: Proceedings of the 20th International Workshop on Description Logics (DL) (2007)"},{"key":"5_CR22","unstructured":"Krisnadhi, A., Lutz, C.: Data complexity in the $$\\cal{EL}$$ family of DLs. In: Proceedings of the 20th International Workshop on Description Logics (DL) (2007)"},{"key":"5_CR23","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)"},{"key":"5_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"488","DOI":"10.1007\/978-3-642-41030-7_35","volume-title":"On the Move to Meaningful Internet Systems: OTM 2013 Conferences","author":"T Lukasiewicz","year":"2013","unstructured":"Lukasiewicz, T., Martinez, M.V., Simari, G.I.: Complexity of inconsistency-tolerant query answering in datalog$$+\/-$$. In: Meersman, R., Panetto, H., Dillon, T., Eder, J., Bellahsene, Z., Ritter, N., Leenheer, P., Dou, D. (eds.) OTM 2013. LNCS, vol. 8185, pp. 488\u2013500. Springer, Heidelberg (2013). doi:10.1007\/978-3-642-41030-7_35"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Lukasiewicz, T., Martinez, M.V., Pieris, A., Simari, G.I.: From classical to consistent query answering under existential rules. In: Proceedings of the 29th AAAI Conference on Artificial Intelligence, pp. 1546\u20131552 (2015)","DOI":"10.1609\/aaai.v29i1.9414"},{"issue":"1","key":"5_CR26","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/200836.200838","volume":"42","author":"T Eiter","year":"1995","unstructured":"Eiter, T., Gottlob, G.: The complexity of logic-based abduction. J. ACM 42(1), 3\u201342 (1995)","journal-title":"J. ACM"},{"key":"5_CR27","unstructured":"Baget, J., Benferhat, S., Bouraoui, Z., Croitoru, M., Mugnier, M., Papini, O., Rocher, S., Tabia, K.: A general modifier-based framework for inconsistency-tolerant query answering. In: Proceedings of the 15th International Conference on the Principles of Knowledge Representation and Reasoning (KR), pp. 513\u2013516 (2016)"},{"key":"5_CR28","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)"},{"issue":"4","key":"5_CR29","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1093\/logcom\/4.4.423","volume":"4","author":"FM Donini","year":"1994","unstructured":"Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A.: Deduction in concept languages: from subsumption to instance checking. J. Log. Comput. (JLC) 4(4), 423\u2013452 (1994)","journal-title":"J. Log. Comput. (JLC)"},{"key":"5_CR30","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). doi:10.1007\/978-3-642-23580-1_12"},{"key":"5_CR31","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., et al. (eds.) ISWC 2012. LNCS, vol. 7650, pp. 337\u2013349. Springer, Heidelberg (2012). doi:10.1007\/978-3-642-35173-0_23"},{"key":"5_CR32","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.websem.2015.04.002","volume":"33","author":"D Lembo","year":"2015","unstructured":"Lembo, D., Lenzerini, M., Rosati, R., Ruzzi, M., Savo, D.F.: Inconsistency-tolerant query answering in ontology-based data access. J. Web Semant. (JWS) 33, 3\u201329 (2015)","journal-title":"J. Web Semant. (JWS)"},{"issue":"2","key":"5_CR33","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":"5_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-30570-5_23","volume-title":"Database Theory - ICDT 2005","author":"AD Fuxman","year":"2004","unstructured":"Fuxman, A.D., Miller, R.J.: First-order query rewriting for inconsistent databases. In: Eiter, T., Libkin, L. (eds.) ICDT 2005. LNCS, vol. 3363, pp. 337\u2013351. Springer, Heidelberg (2004). doi:10.1007\/978-3-540-30570-5_23"},{"key":"5_CR35","doi-asserted-by":"crossref","unstructured":"Fuxman, A., Fazli, E., Miller, R.J.: Conquer: efficient management of inconsistent databases. In: Proceedings of the 31st ACM SIGMOD International Conference on Management of Data, pp. 155\u2013166 (2005)","DOI":"10.1145\/1066157.1066176"},{"key":"5_CR36","doi-asserted-by":"crossref","unstructured":"Chomicki, J., Marcinkowski, J., Staworko, S.: Computing consistent query answers using conflict hypergraphs. In: Proceedings of the 13th International Conference on Information and Knowledge Management (CIKM), pp. 417\u2013426 (2004)","DOI":"10.1145\/1031171.1031254"},{"key":"5_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1007\/978-3-540-24741-8_53","volume-title":"Advances in Database Technology - EDBT 2004","author":"J Chomicki","year":"2004","unstructured":"Chomicki, J., Marcinkowski, J., Staworko, S.: Hippo: a system for computing consistent answers to a class of SQL queries. In: Bertino, E., Christodoulakis, S., Plexousakis, D., Christophides, V., Koubarakis, M., B\u00f6hm, K., Ferrari, E. (eds.) EDBT 2004. LNCS, vol. 2992, pp. 841\u2013844. Springer, Heidelberg (2004). doi:10.1007\/978-3-540-24741-8_53"},{"issue":"6","key":"5_CR38","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1016\/j.datak.2010.01.005","volume":"69","author":"MC Marileo","year":"2010","unstructured":"Marileo, M.C., Bertossi, L.E.: The consistency extractor system: Answer set programs for consistent query answering in databases. Data Knowl. Eng. 69(6), 545\u2013572 (2010)","journal-title":"Data Knowl. Eng."},{"issue":"6","key":"5_CR39","doi-asserted-by":"publisher","first-page":"397","DOI":"10.14778\/2536336.2536341","volume":"6","author":"PG Kolaitis","year":"2013","unstructured":"Kolaitis, P.G., Pema, E., Tan, W.-C.: Efficient querying of inconsistent databases with binary integer programming. Proc. VLDB Endow. (PVLDB) 6(6), 397\u2013408 (2013)","journal-title":"Proc. VLDB Endow. (PVLDB)"},{"issue":"2","key":"5_CR40","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1145\/201019.201031","volume":"42","author":"G Gottlob","year":"1995","unstructured":"Gottlob, G.: NP trees and Carnap\u2019s modal logic. J. ACM 42(2), 421\u2013457 (1995)","journal-title":"J. ACM"},{"key":"5_CR41","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/0304-3975(87)90049-1","volume":"51","author":"KW Wagner","year":"1987","unstructured":"Wagner, K.W.: More complicated questions about maxima and minima, and some closures of NP. Theoret. Comput. Sci. 51, 53\u201380 (1987)","journal-title":"Theoret. Comput. Sci."},{"key":"5_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0036168","volume-title":"Fundamentals of Computation Theory","author":"T Eiter","year":"1997","unstructured":"Eiter, T., Gottlob, G.: The complexity class $$\\Theta ^P_2$$: Recent results and applications in AI and modal logic. In: Chlebus, B.S., Czaja, L. (eds.) FCT 1997. LNCS, vol. 1279, pp. 1\u201318. Springer, Heidelberg (1997). doi:10.1007\/BFb0036168"},{"key":"5_CR43","unstructured":"Kontchakov, R., Lutz, C., Toman, D., Wolter, F., Zakharyaschev, M.: The combined approach to query answering in DL-Lite. In: Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR) (2010)"},{"key":"5_CR44","doi-asserted-by":"crossref","unstructured":"Bienvenu, M., Bourgaux, C., Goasdou\u00e9, F.: Explaining inconsistency-tolerant query answering over description logic knowledge bases. In: Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI) (2016)","DOI":"10.1609\/aaai.v30i1.10092"},{"key":"5_CR45","unstructured":"Bienvenu, M., Bourgaux, C., Goasdou\u00e9, F.: Query-driven repairing of inconsistent dllite knowledge bases. In: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI) (2016)"}],"container-title":["Lecture Notes in Computer Science","Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-49493-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,15]],"date-time":"2025-06-15T18:59:55Z","timestamp":1750013995000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-49493-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319494920","9783319494937"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-49493-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"26 February 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"Reasoning Web","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Reasoning Web International Summer School","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Aberdeen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 September 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 September 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rweb2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.abdn.ac.uk\/events\/rr-2016\/rw-summer-school-2016\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}