M. Arenas, L. E. Bertossi, and J. Chomicki, Consistent query answers in inconsistent databases, Proceedings of PODS, 1999.
DOI : 10.1145/303976.303983

URL : http://www.scs.carleton.ca/~bertossi/papers/editor.pdf

A. Arioua and M. Croitoru, Dialectical characterization of consistent query explanation with existential rules, Proceedings of FLAIRS, 2016.
URL : https://hal.archives-ouvertes.fr/lirmm-01328679

A. Arioua and M. Croitoru, A dialectical proof theory for universal acceptance in coherent logic-based argumentation frameworks, Proceedings of ECAI, 2016.
URL : https://hal.archives-ouvertes.fr/lirmm-01333368

A. Arioua, M. Croitoru, and P. Buche, DALEK: A tool for dialectical explanations in inconsistent knowledge bases, Proceedings of COMMA, 2016.
URL : https://hal.archives-ouvertes.fr/lirmm-01337019

A. Arioua, N. Tamani, and M. Croitoru, On conceptual graphs and explanation of query answering under inconsistency, Proceedings of ICCS, 2014.
DOI : 10.1007/978-3-319-08389-6_6

A. Arioua, N. Tamani, and M. Croitoru, Query answering explanation in inconsistent Datalog+/-knowledge bases, Proceedings of DEXA, 2015.
DOI : 10.1007/978-3-319-22849-5_15

URL : https://hal.archives-ouvertes.fr/lirmm-01164702

S. Arora and B. Barak, Computational Complexity -A Modern Approach, 2009.
DOI : 10.1017/cbo9780511804090

A. Artale, D. Calvanese, R. Kontchakov, and M. Zakharyaschev, The DL-Lite family and relations, Journal of Artificial Intelligence Research, vol.36, pp.1-69, 2009.
DOI : 10.1613/jair.2820

URL : https://jair.org/index.php/jair/article/download/10623/25404

F. Baader, D. Calvanese, D. Mcguinness, D. Nardi, and . Patel-schneider, The Description Logic Handbook: Theory, Implementation and Applications, 2003.

F. Baader, R. Peñaloza, and B. Suntisrivaraporn, Pinpointing in the description logic EL +, Proceedings of KI, 2007.
DOI : 10.1007/978-3-540-74565-5_7

S. Bail, B. Parsia, and U. Sattler, The logical diversity of explanations in OWL ontologies, Proceedings of CIKM, 2013.
DOI : 10.1145/2505515.2505536

URL : https://www.research.manchester.ac.uk/portal/files/32911773/FULL_TEXT.PDF

S. Benferhat, Z. Bouraoui, M. Croitoru, O. Papini, and K. Tabia, Non-objection inference for inconsistency-tolerant query answering, Proceedings of IJCAI, 2016.

D. L. Berre and A. Parrain, The sat4j library, vol.7, pp.59-64, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00868136

L. E. Bertossi, Consistent query answering in databases, SIGMOD Record, vol.35, issue.2, pp.68-76, 2006.
DOI : 10.1145/1147376.1147391

L. E. Bertossi, Database Repairing and Consistent Query Answering. Synthesis Lectures on Data Management, 2011.
DOI : 10.2200/s00379ed1v01y201108dtm020

N. Bidoit, M. Herschel, and K. Tzompanaki, Query-based why-not provenance with nedexplain, Proceedings of EDBT, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00962157

M. Bienvenu, On the complexity of consistent query answering in the presence of simple ontologies, Proceedings of AAAI, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00789141

M. Bienvenu and C. Bourgaux, Inconsistency-tolerant querying of description logic knowledge bases, Reasoning Web, Tutorial Lectures, pp.156-202, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01633000

M. Bienvenu, C. Bourgaux, and F. Goasdoué, Querying inconsistent description logic knowledge bases under preferred repair semantics, Proceedings of AAAI, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01007557

M. Bienvenu, C. Bourgaux, and F. Goasdoué, Explaining inconsistency-tolerant query answering over description logic knowledge bases, Proceedings of AAAI, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01277086

M. Bienvenu and R. Rosati, Tractable approximations of consistent query answering for robust ontology-based data access, Proceedings of IJCAI, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00947531

A. Borgida, D. Calvanese, and M. Rodriguez-muro, Explanation in the DL-Lite family of description logics, Proceedings of OTM, 2008.

A. Borgida, E. Franconi, and I. Horrocks, Explaining ALC subsumption, Proceedings of ECAI, 2000.

E. Boros, K. M. Elbassioni, V. Gurvich, and L. Khachiyan, An efficient incremental algorithm for generating all maximal independent sets in hypergraphs of bounded dimension, Parallel Processing Letters, vol.10, issue.4, pp.253-266, 2000.

C. Bourgaux, Inconsistency Handling in Ontology-Mediated Query Answering, 2016.
URL : https://hal.archives-ouvertes.fr/tel-01378723

D. Bursztyn, F. Goasdoué, and I. Manolescu, Efficient query answering in DL-Lite through FOL reformulation (extended abstract), Proceedings of DL, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01155715

D. Bursztyn, F. Goasdoué, and I. Manolescu, Teaching an RDBMS about ontological constraints, vol.9, pp.1161-1172, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01354592

D. Calvanese, G. De-giacomo, D. Lembo, M. Lenzerini, and R. Rosati, Tractable reasoning and efficient query answering in description logics: The DL-Lite family, Journal of Automated Reasoning (JAR), vol.39, issue.3, pp.385-429, 2007.

D. Calvanese, M. Ortiz, M. Simkus, and G. Stefanoni, Reasoning about explanations for negative query answers in DL-Lite, Journal of Artificial Intelligence Research (JAIR), vol.48, pp.635-669, 2013.

A. K. Chandra and P. M. Merlin, Optimal implementation of conjunctive queries in relational data bases, Proceedings of STOC, 1977.

J. Cheney, L. Chiticariu, and W. C. Tan, Provenance in databases: Why, how, and where. Foundations and Trends in Databases, vol.1, pp.379-474, 2009.

J. Chomicki, Consistent query answering: Five easy pieces, Proceedings of ICDT, 2007.

J. Chomicki, J. Marcinkowski, and S. Staworko, Computing consistent query answers using conflict hypergraphs, Proceedings of CIKM, 2004.

J. Chomicki, J. Marcinkowski, and S. Staworko, Hippo: A system for computing consistent answers to a class of SQL queries, Proceedings of EDBT, 2004.

A. Chortaras, D. Trivela, and G. Stamou, Optimized query rewriting for OWL 2 QL, Proceedings of CADE, 2011.

J. Du, G. Qi, and Y. Shen, Weight-based consistent query answering over inconsistent SHIQ knowledge bases, Knowledge and Information Systems, vol.34, issue.2, pp.335-371, 2013.

J. Du, K. Wang, and Y. Shen, A tractable approach to abox abduction over description logic ontologies, Proceedings of AAAI, 2014.

J. Du, K. Wang, and Y. Shen, Towards tractable and practical ABox abduction over inconsistent description logic ontologies, Proceedings of AAAI, 2015.

T. Eiter, M. Ortiz, M. Simkus, T. Tran, and G. Xiao, Query rewriting for Horn-SHIQ plus rules, Proceedings of AAAI, 2012.

A. Fuxman, E. Fazli, and R. J. Miller, Conquer: Efficient management of inconsistent databases, Proceedings of SIGMOD, 2005.

A. Fuxman and R. J. Miller, First-order query rewriting for inconsistent databases, Proceedings of ICDT, 2005.

Y. Guo, Z. Pan, and J. Heflin, LUBM: A benchmark for OWL knowledge base systems, J. Web Sem, vol.3, issue.2-3, pp.158-182, 2005.

M. Herschel and M. A. Hernández, Explaining missing answers to SPJUA queries, PVLDB, vol.3, issue.1, pp.185-196, 2010.

M. Horridge, S. Bail, B. Parsia, and U. Sattler, The cognitive complexity of OWL justifications, Proceedings of ISWC, 2011.

M. Horridge, B. Parsia, and U. Sattler, Extracting justifications from bioportal ontologies, Proceedings of ISWC, 2012.

N. Immerman, Expressibility as a complexity measure: results and directions, Proceedings of Conference on Structure in Complexity Theory, 1987.

A. Kalyanpur, B. Parsia, E. Sirin, and J. A. Hendler, Debugging unsatisfiable classes in OWL ontologies, Journal Web Sem, vol.3, issue.4, pp.268-293, 2005.

P. G. Kolaitis, E. Pema, and W. Tan, Efficient querying of inconsistent databases with binary integer programming, vol.6, pp.397-408, 2013.

D. Lembo, M. Lenzerini, R. Rosati, M. Ruzzi, and D. F. Savo, Inconsistency-tolerant semantics for description logics, Proceedings of RR, 2010.

D. Lembo, M. Lenzerini, R. Rosati, M. Ruzzi, and D. F. Savo, Query rewriting for inconsistent DL-Lite ontologies, Proceedings of RR, 2011.

D. Lembo, M. Lenzerini, R. Rosati, M. Ruzzi, and D. F. Savo, Inconsistency-tolerant query answering in ontology-based data access, Journal Web Sem, vol.33, pp.3-29, 2015.

P. Liberatore, Redundancy in logic I: Cnf propositional formulae, Artif. Intell. (AIJ), vol.163, issue.2, pp.203-232, 2005.

T. Lukasiewicz, M. V. Martinez, and G. I. Simari, Inconsistency handling in Datalog+/-ontologies, Proceedings of ECAI, 2012.

T. Lukasiewicz, M. V. Martinez, and G. I. Simari, Complexity of inconsistencytolerant query answering in Datalog+, Proceedings of OTM, 2013.

C. Lutz, I. Seylan, D. Toman, and F. Wolter, The combined approach to OBDA: Taming role hierarchies using filters, Proceedings of ISWC, 2013.

M. C. Marileo and L. E. Bertossi, The consistency extractor system: Answer set programs for consistent query answering in databases, Data Knowl. Eng, vol.69, issue.6, pp.545-572, 2010.

D. L. Mcguinness and A. Borgida, Explaining subsumption in description logics, Proceedings of IJCAI, 1995.

B. Motik, B. Cuenca-grau, I. Horrocks, Z. Wu, A. Fokoue et al., OWL 2 Web Ontology Language profiles. W3C Recommendation, 2012.

D. Olteanu and J. Zavodny, Factorised representations of query results: size bounds and readability, Proceedings of ICDT, 2012.

, OWL 2 Web Ontology Language: Document overview. W3C Recommendation, 2009.

C. H. Papadimitriou, Computational complexity, 1995.

R. Peñaloza and B. Sertkaya, Complexity of axiom pinpointing in the DL-Lite family of description logics, Proceedings of ECAI, 2010.

H. Pérez-urbina, I. Horrocks, and B. Motik, Efficient query answering for OWL 2, Proceedings of ISWC, 2009.

R. Rosati, On the complexity of dealing with inconsistency in description logic ontologies, Proceedings of IJCAI, 2011.

R. Rosati and A. Almatelli, Improving query answering over DL-Lite ontologies, Proceedings of KR, 2010.

R. Rosati, M. Ruzzi, M. Graziosi, and G. Masotti, Evaluation of techniques for inconsistency handling in OWL 2 QL ontologies, Proceedings of ISWC, 2012.

S. Schlobach and R. Cornet, Non-standard reasoning services for the debugging of description logic terminologies, Proceedings of IJCAI, 2003.

R. Sebastiani and M. Vescovi, Axiom pinpointing in lightweight description logics via horn-sat encoding and conflict analysis, Proceedings of CADE, 2009.

B. Selman and H. A. Kautz, Knowledge compilation using horn approximations, Proceedings of AAAI, 1991.

M. Thomazo, Compact rewritings for existential rules, Proceedings of IJCAI, 2013.

E. Tsalapati, G. Stoilos, G. B. Stamou, and G. Koletsos, Efficient query answering over expressive inconsistent description logics, Proceedings of IJCAI, 2016.

Z. Wang, M. Chitsaz, K. Wang, and J. Du, Towards scalable and complete query explanation with OWL 2 EL ontologies, Proceedings of CIKM, 2015.
DOI : 10.1145/2806416.2806547

Y. Zhou, B. C. Grau, Y. Nenov, M. Kaminski, and I. Horrocks, Pagoda: Payas-you-go ontology query answering using a Datalog reasoner, Journal of Artificial Intelligence Research, vol.54, pp.309-367, 2015.
DOI : 10.1613/jair.4757

URL : https://jair.org/index.php/jair/article/download/10965/26109