, Regular Path Queries with Constraints, Journal of Computer and System Sciences, vol.58, issue.3, pp.428-452, 1999.
DOI : 10.1006/jcss.1999.1627
URL : http://doi.org/10.1006/jcss.1999.1627
, Serge Abiteboul, Richard Hull, and Victor Vianu. Foundations of Databases, 1994.
, 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
, Vince Bárány, Balder ten Cate, and Luc Segoufin. Guarded negation, LNCS, vol.6756, issue.2, pp.356-367, 2011.
, Balder ten Cate, and Martin Otto. Queries with guarded negation, pp.1328-1339, 2012.
, Monadic Datalog Containment, Proc. 39th Int. Coll. on Automata, Languages, and Programming (ICALP'12), pp.79-91, 2012.
DOI : 10.1007/978-3-642-31585-5_11
URL : https://hal.archives-ouvertes.fr/hal-00809306
, Ontology-based data access: A study through disjunctive datalog, CSP, and MMSNP, Proc. 32nd Symp. on Principles of Database Systems (PODS'13), pp.213-224, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01117583
, Nested regular path queries in description logics, Proc. 14th Int. Conf. on Principles of Knowledge Representation and Reasoning, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01117593
, Schema-Agnostic Query Rewriting in SPARQL 1.1, Proc. 13th Int. Semantic Web Conf. (ISWC'14), pp.584-600, 2014.
DOI : 10.1007/978-3-319-11964-9_37
, Reasonable highly expressive query languages: Extended technical report Available at https, 2015.
, Taming the infinite chase: Query answering under expressive relational constraints, Proc. 11th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR'08), pp.70-80, 2008.
, Reasoning on regular path queries, ACM SIGMOD Record, vol.32, issue.4, pp.83-92, 2003.
DOI : 10.1145/959060.959076
, Decidable containment of recursive queries, Proc. 22nd AAAI Conf. on Artificial Intelligence (AAAI'07), pp.33-56, 2005.
DOI : 10.1016/j.tcs.2004.10.031
, 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
, Regular path queries in expressive description logics with nominals, Proc. 21st Int. Joint Conf. on Artificial Intelligence (IJCAI'09), pp.714-720, 2009.
, [Chaudhuri and Vardi, 1997] Surajit Chaudhuri and Moshe Y. Vardi. On the equivalence of recursive and nonrecursive Datalog programs Decidable optimization problems for database logic programs, Proc. 13th Symp. on Principles of Database Systems (PODS'93) Proc. 20th Annual ACM Symp. on Theory of Computing (STOC'88), pp.107-11661, 1988.
, Recursive queries and contextfree graph grammars Alin Deutsch and Val Tannen. Optimization properties for classes of conjunctive regular path queries, Revised Papers from the 8th Int. Workshop on Database Programming Languages (DBPL'01), pp.217-244, 1991.
, Query answering in description logics with transitive roles, Proc. 21st Int. Joint Conf. on Artificial Intelligence (IJCAI'09), pp.759-764, 2009.
, Query containment for conjunctive queries with regular expressions, Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems , PODS '98, pp.139-148, 1998.
DOI : 10.1145/275487.275503
, Efficient rule-based inferencing for OWL EL, Proc. 22nd Int. Joint Conf. on Artificial Intelligence (IJCAI'11), pp.2668-2673, 2011.
, Containment of nested regular expressions . CoRR, abs, 1304.
, Flag & check, Proceedings of the 32nd symposium on Principles of database systems, PODS '13, pp.151-162, 2013.
DOI : 10.1145/2463664.2465227
, Decidability and expressiveness aspects of logic queries, Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems , PODS '87, pp.237-249, 1987.
DOI : 10.1145/28659.28685