A. Arioua, N. Tamani, and M. Croitoru, On Conceptual Graphs and Explanation of Query Answering under Inconsistency, Proc. of ICCS, 2014.
DOI : 10.1007/978-3-319-08389-6_6

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

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, C. Bourgaux, and F. Goasdoué, Querying inconsistent description logic knowledge bases under preferred repair semantics, Proc. of AAAI, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01007557

M. Bienvenu, C. Bourgaux, and F. Goasdoué, Explaining query answers under inconsistency-tolerant semantics over description logic knowledge bases Available at https://www.lri.fr, LRI, 2015.
DOI : 10.1007/978-3-319-49493-7_5

M. Bienvenu and R. Rosati, Tractable approximations of consistent query answering for robust ontology-based data access, Proc. 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, Proc. of OTM, 2008.
DOI : 10.1007/978-3-540-88873-4_35

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. Du, K. Wang, and Y. Shen, A tractable approach to abox abduction over description logic ontologies, Proc. of AAAI, 2014.

J. Du, K. Wang, and Y. Shen, Towards tractable and practical abox abduction over inconsistent description logic ontologies, Proc. of AAAI, 2015.
DOI : 10.4018/jswis.2012040101

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

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

R. Peñaloza and B. Sertkaya, Complexity of axiom pinpointing in the dl-lite family of description logics, Proc. of ECAI, 2010.

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

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