Foundations of Databases, 1994. ,
Querying the guarded fragment, Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, pp.11-14, 2010. ,
On rules with existential variables: Walking the decidability line, Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning, 2010. ,
DOI : 10.1016/j.artint.2011.03.002
URL : https://hal.archives-ouvertes.fr/lirmm-00587012
DL-SR: a lite DL with expressive rules: Preliminary results, Proceedings of the Twenty-First International Workshop on Description Logics (DL2008), 2008. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00394383
Extending decidable cases for rules with existential variables The Complexity of Rules and Constraints, Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence, pp.677-682425, 2002. ,
The implication problem for data dependencies, Proceedings of Automata, Languages and Programming, Eigth Colloquium (ICALP 1981), pp.73-85, 1981. ,
DOI : 10.1007/3-540-10843-2_7
A Proof Procedure for Data Dependencies, Journal of the ACM, vol.31, issue.4, pp.718-741, 1984. ,
DOI : 10.1145/1634.1636
Regular path queries in expressive description logics with nominals, Proceedings of the 21st International Conference on Artificial Intelligence (IJCAI'09), pp.714-720, 2009. ,
Taming the infinite chase: Query answering under expressive relational constraints, Proceedings of the Eleventh International Conference on the Principles of Knowledge Representation and Reasoning, pp.70-80, 2008. ,
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
A general datalog-based framework for tractable query answering over ontologies, Proceedings of the 28th symposium on Principles of database systems (PODS'09), pp.77-86, 2009. ,
Datalog+/-: A family of logical knowledge representation and query languages for new applications, LICS, pp.228-242, 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
Graph-based Knowledge Representation and Reasoning?Computational Foundations of Conceptual Graphs. Advanced Information and Knowledge Processing, 2009. ,
The monadic second-order logic of graphs: I. recognizable sets of finite graphs, Inf. Comput, vol.85, issue.1, pp.12-75, 1990. ,
Complexity and expressive power of logic programming, ACM Computing Surveys, vol.33, issue.3, pp.374-425, 2001. ,
DOI : 10.1145/502807.502810
Data exchange: semantics and query answering, Theoretical Computer Science, vol.336, issue.1, pp.89-124, 2005. ,
DOI : 10.1016/j.tcs.2004.10.033
URL : http://doi.org/10.1016/j.tcs.2004.10.033
Data complexity of reasoning in very expressive description logics, Proc. 19th Int. Joint Conf. on Artificial Intelligence (IJCAI'05), pp.466-471, 2005. ,
Testing containment of conjunctive queries under functional and inclusion dependencies, Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems , PODS '82, pp.167-189, 1984. ,
DOI : 10.1145/588111.588138
Saying it with Pictures: a logical landscape of conceptual graphs, 2001. ,
Complexity boundaries for Horn description logics, Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI'07), pp.452-457, 2007. ,
Conjunctive query answering in the description logic el using a relational database system, Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence, pp.2070-2075, 2009. ,
Inverse roles make conjunctive queries hard, Proceedings of the 2007 International Workshop on Description Logics (DL2007), CEUR-WS, 2007. ,