A. Arioua, N. Tamani, M. Croitoru, and P. Buche, Query failure explanation in inconsistent knowledge bases using argumentation, Proc. of COMMA, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01089146

A. Arioua, N. Tamani, and M. Croitoru, Query Answering Explanation in Inconsistent Datalog $$+/-$$ Knowledge Bases, Proc. of DEXA, 2015.
DOI : 10.1007/978-3-319-22849-5_15

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

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

F. Baader, R. Peñaloza, and B. Suntisrivaraporn, Pinpointing in the description logic EL +, Proc. of KI, 2007.

S. Bail, B. Parsia, and U. Sattler, The logical diversity of explanations in OWL ontologies, Proceedings of the 22nd ACM international conference on Conference on information & knowledge management, CIKM '13, 2013.
DOI : 10.1145/2505515.2505536

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

L. E. Bertossi, Database Repairing and Consistent Query Answering. Synthesis Lectures on Data Management, 2011.

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

M. Bienvenu, C. Bourgaux, and F. Goasdoué, Querying inconsistent description logic knowledge bases under preferred repair semantics, Proc. of AAAI, 2014.
DOI : 10.1007/978-3-319-49493-7_5

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 (long version with appendix) Available at https, 2016.

M. Bienvenu, D. Calvanese, and M. Rodriguez-muro, On the complexity of consistent query answering in the presence of simple ontologies Explanation in the DL-Lite family of description logics, Proc. of AAAI Proc. of OTM, 2008.

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

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, vol.104, issue.1,2, pp.385-429, 2007.
DOI : 10.1007/s10817-007-9078-x

D. Calvanese, M. Ortiz, M. Simkus, and G. Stefanoni, Reasoning about explanations for negative query answers in DL- Lite, J. Artif. Intell. Res. (JAIR), vol.48, pp.635-669, 2013.

J. Cheney, L. Chiticariu, and W. C. Tan, Provenance in Databases: Why, How, and Where, Foundations and Trends in Databases, vol.1, issue.4, pp.379-474, 2009.
DOI : 10.1561/1900000006

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

M. Herschel and M. A. Hernández, Explaining missing answers to SPJUA queries, Proceedings of the VLDB Endowment, vol.3, issue.1-2, pp.185-196, 2010.
DOI : 10.14778/1920841.1920869

M. Horridge, S. Bail, B. Parsia, and U. Sattler, The Cognitive Complexity of OWL Justifications, Proc. of ISWC, 2011.
DOI : 10.1093/cercor/11.10.954

M. Horridge, B. Parsia, and U. Sattler, Extracting Justifications from BioPortal Ontologies, Proc. of ISWC, 2012.
DOI : 10.1007/978-3-642-35173-0_19

A. Kalyanpur, B. Parsia, E. Sirin, and J. A. Hendler, Debugging unsatisfiable classes in OWL ontologies, Web Semantics: Science, Services and Agents on the World Wide Web, vol.3, issue.4, pp.268-293, 2005.
DOI : 10.1016/j.websem.2005.09.005

D. Lembo, M. Lenzerini, R. Rosati, M. Ruzzi, and D. F. Savo, Inconsistency-Tolerant Semantics for Description Logics, Proc. of RR, 2010.
DOI : 10.1007/978-3-642-15918-3_9

P. Liberatore, Redundancy in logic I: CNF propositional formulae, Artificial Intelligence, vol.163, issue.2, 2005.
DOI : 10.1016/j.artint.2004.11.002

T. Lukasiewicz, M. V. Martinez, and G. I. Simari, Complexity of Inconsistency-Tolerant Query Answering in Datalog+/???, Proc. of OTM, pp.488-500, 2013.
DOI : 10.1007/978-3-642-41030-7_35

C. Lutz, I. Seylan, D. Toman, F. Wolter, D. L. Mcguinness et al., The combined approach to OBDA: Taming role hierarchies using filters Explaining subsumption in description logics, Proc. of ISWC Proc. of IJCAI, 1995.

B. Motik, B. Grau, I. Horrocks, Z. Wu, A. Fokoue et al., OWL 2 Web Ontology Language profiles. W3C Recommendation Available at http://www.w3.org/ TR/owl2-profiles Complexity of axiom pinpointing in the dl-lite family of description logics, Proc. of ECAI, 2010.

R. Rosati, M. Ruzzi, M. Graziosi, and G. Masotti, Evaluation of Techniques for Inconsistency Handling in OWL 2 QL Ontologies, Proc. of ISWC, 2012.
DOI : 10.1007/978-3-642-35173-0_23

R. Rosati, On the complexity of dealing with inconsistency in description logic ontologies, Proc. of IJCAI. Schlobach, S., and Cornet, R. 2003. Non-standard reasoning services for the debugging of description logic terminologies Proc. of IJCAI, 2011.

R. Sebastiani and M. Vescovi, Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis, Proc. of CADE, 2009.
DOI : 10.1016/j.jbi.2006.02.013