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.

A. Artale, D. Calvanese, R. Kontchakov, and M. Zakharyaschev, The DL-Lite Family and Relations, J. of Artificial Intelligence Research, vol.36, pp.1-69, 2009.

F. Baader, D. Calvanese, D. Mcguinness, D. Nardi, and P. F. Patel-schneider, The Description Logic Handbook: Theory, Implementation, and Applications, 2007.
DOI : 10.1017/CBO9780511711787

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
URL : http://arxiv.org/pdf/cs/0507067v1.pdf

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.

J. Melisachew-wudage-chekol, P. Euzenat, N. Genevès, and . Layaïda, PSPARQL query containment, Research report, vol.7641, 2011.

J. Melisachew-wudage-chekol, P. Euzenat, N. Genevès, and . Layaïda, PSPARQL query containment [13] R. Cyganiak. A relational algebra for SPARQL, 2005.

J. De-bruijn and S. Heymans, Logical foundations of RDF (S) with datatypes, J. of Artificial Intelligence Research, vol.38, issue.1, pp.535-568, 2010.

T. Eiter, C. Lutz, M. Ortiz, and M. ?imkus, Query answering in description logics with transitive roles, Proc. of IJCAI, pp.759-764, 2009.

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, I. Horrocks, C. Lutz, and U. Sattler, Conjunctive query answering for the description logic shiq, J Artif Intell Res, vol.31, pp.157-204, 2008.

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

Y. E. Ioannidis and R. Ramakrishnan, Containment of conjunctive queries: beyond relations as sets, ACM Transactions on Database Systems, vol.20, issue.3, pp.288-324, 1995.
DOI : 10.1145/211414.211419

S. David, A. C. Johnson, and . Klug, Testing Containment of Conjunctive Queries under Functional and Inclusion Dependencies, J. Comput. Syst. Sci, vol.28, issue.1, pp.167-189, 1984.

I. Kollia, B. Glimm, and I. Horrocks, SPARQL Query Answering over OWL Ontologies, Proc. 8th ESWC, pp.382-396, 2011.
DOI : 10.1016/j.websem.2005.06.005
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.190.1034

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

C. Lutz, The complexity of conjunctive query answering in expressive description logics. Automated Reasoning, pp.179-193, 2008.

S. Muñoz, J. Pérez, and C. Gutierrez, Minimal Deductive Systems for RDF, LNCS, vol.4519, pp.53-67, 2007.

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.

U. Sattler and M. Y. Vardi, The Hybrid µ-Calculus, IJCAR, pp.76-91, 2001.

M. Schmidt, M. Meier, and G. Lausen, Foundations of SPARQL query optimization, Proceedings of the 13th International Conference on Database Theory, ICDT '10, pp.4-33, 2010.
DOI : 10.1145/1804669.1804675

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