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
Dialectical characterization of consistent query explanation with existential rules, Proceedings of FLAIRS, 2016. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01328679
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
DALEK: A tool for dialectical explanations in inconsistent knowledge bases, Proceedings of COMMA, 2016. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01337019
On conceptual graphs and explanation of query answering under inconsistency, Proceedings of ICCS, 2014. ,
DOI : 10.1007/978-3-319-08389-6_6
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
, Computational Complexity -A Modern Approach, 2009.
DOI : 10.1017/cbo9780511804090
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
, The Description Logic Handbook: Theory, Implementation and Applications, 2003.
Pinpointing in the description logic EL +, Proceedings of KI, 2007. ,
DOI : 10.1007/978-3-540-74565-5_7
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
Non-objection inference for inconsistency-tolerant query answering, Proceedings of IJCAI, 2016. ,
The sat4j library, vol.7, pp.59-64, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00868136
Consistent query answering in databases, SIGMOD Record, vol.35, issue.2, pp.68-76, 2006. ,
DOI : 10.1145/1147376.1147391
Database Repairing and Consistent Query Answering. Synthesis Lectures on Data Management, 2011. ,
DOI : 10.2200/s00379ed1v01y201108dtm020
Query-based why-not provenance with nedexplain, Proceedings of EDBT, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00962157
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
Inconsistency-tolerant querying of description logic knowledge bases, Reasoning Web, Tutorial Lectures, pp.156-202, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01633000
Querying inconsistent description logic knowledge bases under preferred repair semantics, Proceedings of AAAI, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01007557
Explaining inconsistency-tolerant query answering over description logic knowledge bases, Proceedings of AAAI, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01277086
Tractable approximations of consistent query answering for robust ontology-based data access, Proceedings of IJCAI, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00947531
Explanation in the DL-Lite family of description logics, Proceedings of OTM, 2008. ,
Explaining ALC subsumption, Proceedings of ECAI, 2000. ,
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. ,
Inconsistency Handling in Ontology-Mediated Query Answering, 2016. ,
URL : https://hal.archives-ouvertes.fr/tel-01378723
Efficient query answering in DL-Lite through FOL reformulation (extended abstract), Proceedings of DL, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01155715
Teaching an RDBMS about ontological constraints, vol.9, pp.1161-1172, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01354592
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. ,
Reasoning about explanations for negative query answers in DL-Lite, Journal of Artificial Intelligence Research (JAIR), vol.48, pp.635-669, 2013. ,
Optimal implementation of conjunctive queries in relational data bases, Proceedings of STOC, 1977. ,
Provenance in databases: Why, how, and where. Foundations and Trends in Databases, vol.1, pp.379-474, 2009. ,
Consistent query answering: Five easy pieces, Proceedings of ICDT, 2007. ,
Computing consistent query answers using conflict hypergraphs, Proceedings of CIKM, 2004. ,
Hippo: A system for computing consistent answers to a class of SQL queries, Proceedings of EDBT, 2004. ,
Optimized query rewriting for OWL 2 QL, Proceedings of CADE, 2011. ,
Weight-based consistent query answering over inconsistent SHIQ knowledge bases, Knowledge and Information Systems, vol.34, issue.2, pp.335-371, 2013. ,
A tractable approach to abox abduction over description logic ontologies, Proceedings of AAAI, 2014. ,
Towards tractable and practical ABox abduction over inconsistent description logic ontologies, Proceedings of AAAI, 2015. ,
Query rewriting for Horn-SHIQ plus rules, Proceedings of AAAI, 2012. ,
Conquer: Efficient management of inconsistent databases, Proceedings of SIGMOD, 2005. ,
First-order query rewriting for inconsistent databases, Proceedings of ICDT, 2005. ,
LUBM: A benchmark for OWL knowledge base systems, J. Web Sem, vol.3, issue.2-3, pp.158-182, 2005. ,
Explaining missing answers to SPJUA queries, PVLDB, vol.3, issue.1, pp.185-196, 2010. ,
The cognitive complexity of OWL justifications, Proceedings of ISWC, 2011. ,
Extracting justifications from bioportal ontologies, Proceedings of ISWC, 2012. ,
Expressibility as a complexity measure: results and directions, Proceedings of Conference on Structure in Complexity Theory, 1987. ,
Debugging unsatisfiable classes in OWL ontologies, Journal Web Sem, vol.3, issue.4, pp.268-293, 2005. ,
Efficient querying of inconsistent databases with binary integer programming, vol.6, pp.397-408, 2013. ,
Inconsistency-tolerant semantics for description logics, Proceedings of RR, 2010. ,
Query rewriting for inconsistent DL-Lite ontologies, Proceedings of RR, 2011. ,
Inconsistency-tolerant query answering in ontology-based data access, Journal Web Sem, vol.33, pp.3-29, 2015. ,
Redundancy in logic I: Cnf propositional formulae, Artif. Intell. (AIJ), vol.163, issue.2, pp.203-232, 2005. ,
Inconsistency handling in Datalog+/-ontologies, Proceedings of ECAI, 2012. ,
Complexity of inconsistencytolerant query answering in Datalog+, Proceedings of OTM, 2013. ,
The combined approach to OBDA: Taming role hierarchies using filters, Proceedings of ISWC, 2013. ,
The consistency extractor system: Answer set programs for consistent query answering in databases, Data Knowl. Eng, vol.69, issue.6, pp.545-572, 2010. ,
Explaining subsumption in description logics, Proceedings of IJCAI, 1995. ,
OWL 2 Web Ontology Language profiles. W3C Recommendation, 2012. ,
Factorised representations of query results: size bounds and readability, Proceedings of ICDT, 2012. ,
, OWL 2 Web Ontology Language: Document overview. W3C Recommendation, 2009.
Computational complexity, 1995. ,
Complexity of axiom pinpointing in the DL-Lite family of description logics, Proceedings of ECAI, 2010. ,
Efficient query answering for OWL 2, Proceedings of ISWC, 2009. ,
On the complexity of dealing with inconsistency in description logic ontologies, Proceedings of IJCAI, 2011. ,
Improving query answering over DL-Lite ontologies, Proceedings of KR, 2010. ,
Evaluation of techniques for inconsistency handling in OWL 2 QL ontologies, Proceedings of ISWC, 2012. ,
Non-standard reasoning services for the debugging of description logic terminologies, Proceedings of IJCAI, 2003. ,
Axiom pinpointing in lightweight description logics via horn-sat encoding and conflict analysis, Proceedings of CADE, 2009. ,
Knowledge compilation using horn approximations, Proceedings of AAAI, 1991. ,
Compact rewritings for existential rules, Proceedings of IJCAI, 2013. ,
Efficient query answering over expressive inconsistent description logics, Proceedings of IJCAI, 2016. ,
Towards scalable and complete query explanation with OWL 2 EL ontologies, Proceedings of CIKM, 2015. ,
DOI : 10.1145/2806416.2806547
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