F. Alkhateeb, J. Baget, and J. Euzenat, Extending SPARQL with regular expression patterns (for querying RDF), Web Semantics: Science, Services and Agents on the World Wide Web, vol.7, issue.2, pp.57-73, 2009.
DOI : 10.1016/j.websem.2009.02.002

URL : https://hal.archives-ouvertes.fr/lirmm-00410132

R. Angles and C. Gutierrez, The Expressive Power of SPARQL. The Semantic Web-ISWC, pp.114-129, 2008.

P. Barceló, C. Hurtado, L. Libkin, and P. Wood, Expressive languages for path queries over graph-structured data, PODS'10, pp.3-14, 2010.

A. Piero, C. Bonatti, A. Lutz, M. Y. Murano, and . Vardi, The Complexity of Enriched µ-calculi, Automata, Languages and Programming, pp.540-551, 2006.

D. Calvanese, G. D. Giacomo, and M. Lenzerini, Conjunctive query containment and answering under description logic constraints, ACM Transactions on Computational Logic, vol.9, issue.3, pp.22-23, 2008.
DOI : 10.1145/1352582.1352590

D. Calvanese, M. Ortiz, and M. Simkus, Containment of regular path queries under description logic constraints, Proc. of the 22nd Int. Joint Conf. on Artificial Intelligence, 2011.

D. Calvanese and R. Rosati, Answering Recursive Queries under Keys and Foreign Keys is Undecidable, Proc. of the 10th Int. Workshop on Knowledge Representation meets Databases, pp.3-14, 2003.

K. Ashok, P. M. Chandra, and . Merlin, Optimal Implementation of Conjunctive Queries in Relational Data Bases, Proceedings of the ninth annual ACM symposium on Theory of computing, pp.77-90, 1977.

A. Chebotko, S. Lu, H. M. Jamil, and F. Fotouhi, Semantics preserving sparql-to-sql query translation for optional graph patterns, 2006.

R. Cyganiak, A relational algebra for SPARQL, 2005.

P. Genevès, N. Layaïda, and A. Schmitt, Efficient Static Analysis of XML Paths and Types, PLDI '07, pp.342-351, 2007.

B. Glimm, Using SPARQL with RDFS and OWL entailment. Reasoning Web. Semantic Technologies for the Web of Data, pp.137-201, 2011.

I. Horrocks, O. Kutz, and U. Sattler, The even more irresistible SROIQ, Proc. of KR 2006, pp.57-67, 2006.

I. Horrocks, U. Sattler, and S. Tobies, Practical Reasoning for Expressive Description Logics, Logic for Programming and Automated Reasoning, pp.161-180, 1999.
DOI : 10.1007/3-540-48242-3_11

D. Kozen, Results on the Propositional ??-Calculus, DAIMI Report Series, vol.11, issue.146, pp.333-354, 1983.
DOI : 10.7146/dpb.v11i146.7420

J. Pérez, M. Arenas, and C. Gutierrez, Semantics and complexity of SPARQL, ACM Transactions on Database Systems (TODS), vol.34, issue.3, p.16, 2009.

A. Polleres, From SPARQL to rules (and back), Proceedings of the 16th international conference on World Wide Web , WWW '07, pp.787-796, 2007.
DOI : 10.1145/1242572.1242679

E. Prud-'hommeaux and A. Seaborne, SPARQL Query Language for RDF, W3C Rec, 2008.

Y. Tanabe, K. Takahashi, and M. Hagiya, A Decision Procedure for Alternation-Free Modal µ-calculi, Advances in Modal Logic, pp.341-362, 2008.

Y. Tanabe, K. Takahashi, M. Yamamoto, A. Tozawa, and M. Hagiya, A Decision Procedure for the Alternation-Free Two-Way Modal ??-Calculus, TABLEAUX, pp.277-291, 2005.
DOI : 10.1007/11554554_21