On Conceptual Graphs and Explanation of Query Answering under Inconsistency, Proc. of ICCS, 2014. ,
DOI : 10.1007/978-3-319-08389-6_6
Query failure explanation in inconsistent knowledge bases using argumentation, Proc. of COMMA, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01089146
The sat4j library, release 2.2, JSAT, vol.7, issue.2-3, pp.59-64, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00868136
Database Repairing and Consistent Query Answering. Synthesis Lectures on Data Management, 2011. ,
Querying inconsistent description logic knowledge bases under preferred repair semantics, Proc. of AAAI, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01007557
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
Tractable approximations of consistent query answering for robust ontology-based data access, Proc. of IJCAI, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00947531
Explanation in the DL-Lite Family of Description Logics, Proc. of OTM, 2008. ,
DOI : 10.1007/978-3-540-88873-4_35
Explaining ALC subsumption, Proc. of ECAI, 2000. ,
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
Reasoning about explanations for negative query answers in DL-Lite, J. Artif. Intell. Res. (JAIR), vol.48, pp.635-669, 2013. ,
A tractable approach to abox abduction over description logic ontologies, Proc. of AAAI, 2014. ,
Towards tractable and practical abox abduction over inconsistent description logic ontologies, Proc. of AAAI, 2015. ,
DOI : 10.4018/jswis.2012040101
The Cognitive Complexity of OWL Justifications, Proc. of ISWC, 2011. ,
DOI : 10.1093/cercor/11.10.954
Extracting Justifications from BioPortal Ontologies, Proc. of ISWC, 2012. ,
DOI : 10.1007/978-3-642-35173-0_19
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
Inconsistency-Tolerant Semantics for Description Logics, Proc. of RR, 2010. ,
DOI : 10.1007/978-3-642-15918-3_9
Explaining subsumption in description logics, Proc. of IJCAI, 1995. ,
Complexity of axiom pinpointing in the dl-lite family of description logics, Proc. of ECAI, 2010. ,
Non-standard reasoning services for the debugging of description logic terminologies, Proc. of IJCAI, 2003. ,
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