Consistent query answers in inconsistent databases, Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '99, pp.68-79, 1999. ,
DOI : 10.1145/303976.303983
URL : http://www.cse.buffalo.edu/~chomicki/papers-pods99.ps
Applications of Annotated Predicate Calculus to Querying Inconsistent Databases, Proceedings of the 1st International Conference on Computational Logic, pp.926-941, 2000. ,
DOI : 10.1007/3-540-44957-4_62
URL : http://www.cs.toronto.edu/~marenas/./publications/dood00.pdf
The DL-Lite family and relations, Journal of Artificial Intelligence Research (JAIR), vol.36, pp.1-69, 2009. ,
Pushing the EL envelope, Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI, pp.364-369, 2005. ,
The Description Logic Handbook: Theory, Implementation and Applications, 2003. ,
DOI : 10.1017/CBO9780511711787
A general modifier-based framework for inconsistencytolerant query answering, Proceedings of the 15th International Conference on the Principles of Knowledge Representation and Reasoning (KR), pp.513-516, 2016. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01328690
Database Repairing and Consistent Query Answering. Synthesis Lectures on Data Management, 2011. ,
DOI : 10.2200/s00379ed1v01y201108dtm020
On the complexity of consistent query answering in the presence of simple ontologies, Proceedings of the 26th AAAI Conference on Artificial Intelligence, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00789141
Querying inconsistent description logic knowledge bases under preferred repair semantics, Proceedings of the 28th AAAI Conference on Artificial Intelligence, 2014. ,
DOI : 10.1007/978-3-319-49493-7_5
URL : https://hal.archives-ouvertes.fr/hal-01007557
Explaining inconsistency-tolerant query answering over description logic knowledge bases, Proceedings of the 30th AAAI Conference on Artificial Intelligence, 2016. ,
DOI : 10.1007/978-3-319-49493-7_5
URL : https://hal.archives-ouvertes.fr/hal-01277086
Query-driven repairing of inconsistent DL-Lite knowledge bases, Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI), 2016. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01367864
Ontology-Mediated Query Answering with Data-Tractable Description Logics, Lecture Notes of the 11th International Reasoning Web Summer School, pp.218-307, 2015. ,
DOI : 10.1007/s13740-012-0017-6
Tractable approximations of consistent query answering for robust ontology-based data access, Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI), 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00947531
Inconsistency handling in ontology-mediated query answering manuscript of PhD thesis, 2016. ,
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
Data complexity of query answering in description logics, Proceedings of the 10th International Conference on the Principles of Knowledge Representation and Reasoning (KR), pp.260-270, 2006. ,
DOI : 10.1016/j.artint.2012.10.003
Consistent Query Answering: Five Easy Pieces, Proceedings of the 10th International Conference on Database Theory (ICDT), pp.1-17, 2007. ,
DOI : 10.1007/11965893_1
Computing consistent query answers using conflict hypergraphs, Proceedings of the Thirteenth ACM conference on Information and knowledge management , CIKM '04, pp.417-426, 2004. ,
DOI : 10.1145/1031171.1031254
URL : http://www.cse.buffalo.edu/~staworko/papers/cikm04.pdf
Hippo: A System for Computing Consistent Answers to a Class of SQL Queries, Proceedings of the 9th International Conference on Extending Database Technology (EDBT), pp.841-844, 2004. ,
DOI : 10.1007/978-3-540-24741-8_53
Deduction in Concept Languages: from Subsumption to Instance Checking, Journal of Logic and Computation, vol.4, issue.4, pp.423-452, 1994. ,
DOI : 10.1093/logcom/4.4.423
Weight-based consistent query answering over inconsistent $${\mathcal {SHIQ}}$$ knowledge bases, Knowledge and Information Systems, vol.25, issue.2, pp.335-371, 2013. ,
DOI : 10.1007/s10115-009-0254-7
The complexity of logic-based abduction, Journal of the ACM, vol.42, issue.1, pp.3-42, 1995. ,
DOI : 10.1145/200836.200838
The complexity class ??p2: Recent results and applications in AI and modal logic, Proceedings of the 11th International Symposium on Fundamentals of Computation Theory (FCT), pp.1-18, 1997. ,
DOI : 10.1007/BFb0036168
ConQuer, Proceedings of the 2005 ACM SIGMOD international conference on Management of data , SIGMOD '05, pp.155-166, 2005. ,
DOI : 10.1145/1066157.1066176
First-order query rewriting for inconsistent databases, Proceedings of the 10th International Conference on Database Theory (ICDT), pp.337-351, 2005. ,
DOI : 10.1016/j.jcss.2006.10.013
URL : https://doi.org/10.1016/j.jcss.2006.10.013
NP trees and Carnap's modal logic, Journal of the ACM, vol.42, issue.2, pp.421-457, 1995. ,
DOI : 10.1145/201019.201031
Nondeterministic Space is Closed under Complementation, SIAM Journal on Computing, vol.17, issue.5, pp.935-938, 1988. ,
DOI : 10.1137/0217058
Efficient querying of inconsistent databases with binary integer programming, Proceedings of the VLDB Endowment (PVLDB), pp.397-408, 2013. ,
DOI : 10.14778/2536336.2536341
URL : http://www.vldb.org/pvldb/vol6/p397-tan.pdf
The combined approach to query answering in DL-Lite, Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR), 2010. ,
Data complexity in the EL family of DLs, Proceedings of the 20th International Workshop on Description Logics (DL), 2007. ,
Conjunctive queries for EL with composition of roles, Proceedings of the 20th International Workshop on Description Logics (DL), 2007. ,
Inconsistency-Tolerant Semantics for Description Logics, Proceedings of the 4th International Conference on Web Reasoning and Rule Systems (RR), 2010. ,
DOI : 10.1007/978-3-642-15918-3_9
Query Rewriting for Inconsistent DL-Lite Ontologies, Proceedings of the 5th International Conference on Web Reasoning and Rule Systems (RR), 2011. ,
DOI : 10.1145/1060745.1060837
URL : http://www.dis.uniroma1.it/%7Erosati/publications/Lembo-Lenzerini-Rosati-Ruzzi-Savo-RR-11.pdf
Inconsistency-tolerant query answering in ontology-based data access, Web Semantics: Science, Services and Agents on the World Wide Web, vol.33, pp.3-29, 2015. ,
DOI : 10.1016/j.websem.2015.04.002
From classical to consistent query answering under existential rules, Proceedings of the 29th AAAI Conference on Artificial Intelligence, pp.1546-1552, 2015. ,
Inconsistency handling in Datalog+/-ontologies, Proceedings of the 20th European Conference on Artificial Intelligence (ECAI), 2012. ,
Complexity of Inconsistency-Tolerant Query Answering in Datalog+/???, Proceedings of On the Move to Meaningful Internet Systems Conference (OTM), pp.488-500, 2013. ,
DOI : 10.1007/978-3-642-41030-7_35
The consistency extractor system: Answer set programs for consistent query answering in databases, Data and Knowledge Engineering, vol.69, issue.6, pp.545-572, 2010. ,
On conjunctive query answering in EL, Proceedings of the Twentieth International Workshop on Description Logics (DL), 2007. ,
On the complexity of dealing with inconsistency in description logic ontologies, Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI), 2011. ,
Evaluation of Techniques for Inconsistency Handling in OWL 2 QL Ontologies, Proceedings of the 12th International Semantic Web Conference (ISWC), 2012. ,
DOI : 10.1007/978-3-642-35173-0_23
The method of forcing for nondeterministic automata, Bulletin of the EATCS, vol.33, pp.96-99, 1987. ,
More complicated questions about maxima and minima, and some closures of NP, Theoretical Computer Science, vol.51, issue.1-2, pp.53-80, 1987. ,
DOI : 10.1016/0304-3975(87)90049-1
URL : https://doi.org/10.1016/0304-3975(87)90049-1