Extending Decidable Cases for Rules with Existential Variables, IJCAI'09, pp.677-682, 2009. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00410130
On rules with existential variables: Walking the decidability line, Artificial Intelligence, vol.175, issue.9-10, pp.9-101620, 2011. ,
DOI : 10.1016/j.artint.2011.03.002
URL : https://hal.archives-ouvertes.fr/lirmm-00587012
The implication problem for data dependencies, ICALP'81, pp.73-85, 1981. ,
DOI : 10.1007/3-540-10843-2_7
Taming the Infinite Chase: Query Answering under Expressive Relational Constraints, KR'08, pp.70-80, 2008. ,
Tractable reasoning and efficient query answering in description logics: The DL-Lite family, J. Autom. Reasoning, issue.3, pp.39385-429, 2007. ,
A general datalog-based framework for tractable query answering over ontologies, PODS'09, pp.77-86, 2009. ,
A general Datalog-based framework for tractable query answering over ontologies, J. Web Sem, vol.14, 2012. ,
Query Answering under Non-guarded Rules in Datalog+, RR'10, pp.1-17, 2010. ,
Embedded implicational dependencies and their inference problem, Proceedings of the thirteenth annual ACM symposium on Theory of computing , STOC '81, pp.342-354, 1981. ,
DOI : 10.1145/800076.802488
On the Decidability and Complexity of Query Answering over Inconsistent and Incomplete Databases, PODS'03, pp.260-271, 2003. ,
Graph-based Knowledge Representation and Reasoning?Computational Foundations of Conceptual Graphs. Advanced Information and Knowledge Processing, 2009. ,
A Broad Class of First-Order Rewritable Tuple-Generating Dependencies, Datalog 2.0, pp.68-80, 2012. ,
DOI : 10.1007/978-3-642-32925-8_8
Optimized Query Rewriting for OWL 2 QL, CADE'11, pp.192-206, 2011. ,
DOI : 10.1007/978-3-642-04930-9_31
Acyclicity notions for existential rules and their application to query answering in ontologies, J. Artif. Intell. Res, vol.47, pp.741-808, 2013. ,
Ontological queries: Rewriting and optimization, 2011 IEEE 27th International Conference on Data Engineering, pp.2-13, 2011. ,
DOI : 10.1109/ICDE.2011.5767965
Rewriting Ontological Queries into Small Nonrecursive Datalog Programs, KR'12, 2012. ,
The core of a graph, Discrete Mathematics, vol.109, issue.1-3, pp.117-126, 1992. ,
DOI : 10.1016/0012-365X(92)90282-K
Benchmarking Ontology- Based Query Rewriting Systems, AAAI'12, 2012. ,
A Sound and Complete Backward Chaining Algorithm for Existential Rules, RR'12, pp.122-138, 2012. ,
DOI : 10.1007/978-3-642-33203-6_10
On the Exploration of the Query Rewriting Space with Existential Rules, RR'13, pp.123-137, 2013. ,
DOI : 10.1007/978-3-642-39666-3_10
The Combined Approach to Ontology-Based Data Access, IJCAI'11, pp.2656-2661, 2011. ,
Extending Decidable Existential Rules by Joining Acyclicity and Guardedness, IJCAI'11, pp.963-968, 2011. ,
Efficiently computable datalog programs, KR'12, 2012. ,
Conjunctive Query Answering in the Description Logic EL Using a Relational Database System, IJCAI'09, pp.2070-2075, 2009. ,
Ontological Query Answering with Existential Rules, RR'11, pp.2-23, 2011. ,
DOI : 10.1007/3-540-61534-2_16
URL : https://hal.archives-ouvertes.fr/lirmm-00618296
Optimizing query answering under ontological constraints, PVLDB, vol.4, issue.11, pp.1004-1015, 2011. ,
Efficient Query Answering for OWL 2, ISWC'09, pp.489-504, 2009. ,
DOI : 10.1007/978-3-642-04930-9_31
Improving query answering over DL-Lite ontologies, KR'10, 2010. ,
High Performance Query Answering over DL-Lite Ontologies, KR'12, 2012. ,
Sound and complete forward and backward chainings of graph rules, ICCS'96, pp.248-262, 1996. ,
DOI : 10.1007/3-540-61534-2_16
A generic querying algorithm for greedy sets of existential rules, KR'12, 2012. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00675560
Compact Rewriting for Existential Rules Query Extensions and Incremental Query Rewriting for OWL 2 QL Ontologies, IJCAI'13, pp.1-23, 2013. ,