F. Alkhateeb, J. F. 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

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

D. Calvanese, G. De-giacomo, D. Lembo, M. Lenzerini, and R. Rosati, 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

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, G. De-giacomo, M. Lenzerini, and M. Y. Vardi, Containment of Conjunctive Regular Path Queries with Inverse, Proc. of the 7th Int. Conf. on the Principles of Knowledge Representation and Reasoning, pp.176-185, 2000.

A. K. Chandra and P. M. Merlin, Optimal implementation of conjunctive queries in relational data bases, Proceedings of the ninth annual ACM symposium on Theory of computing , STOC '77, pp.77-90, 1977.
DOI : 10.1145/800105.803397

M. W. Chekol, J. Euzenat, P. Genevès, and N. Layaïda, SPARQL Query Containment under RDFS Entailment Regime, IJCAR'12, pp.134-148, 2012.
DOI : 10.1007/978-3-642-31365-3_13

URL : https://hal.archives-ouvertes.fr/hal-00691610

M. W. Chekol, J. Euzenat, P. Genevès, and N. Layaïda, SPARQL query containment under SHI axioms, AAAI'12, pp.10-16, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00691638

C. Melisachew-wudage, Static Analysis of Semantic Web Queries, 2012.

J. Melisachew-wudage-chekol, P. Euzenat, N. Genevès, and . Layaïda, Evaluating and Benchmarking SPARQL Query Containment Solvers, International Semantic Web Conference, pp.408-423, 2013.
DOI : 10.1007/978-3-642-41338-4_26

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.

P. Genevès and N. Layaïda, A system for the static analysis of XPath, ACM Transactions on Information Systems, vol.24, issue.4, pp.475-502, 2006.
DOI : 10.1145/1185877.1185882

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

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.

B. Glimm and M. Krötzsch, SPARQL beyond Subgraph Matching, pp.241-256, 2010.
DOI : 10.1007/11581116_18

P. Hayes, RDF semantics. W3C Recommendation, 2004.

P. Hitzler, M. Krötzsch, B. Parsia, F. Peter, S. Patel-schneider et al., Owl 2 web ontology language primer, W3C recommendation, vol.27, pp.1-123, 2009.

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

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

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

M. Krötzsch, The Not-So-Easy Task of Computing Class Subsumptions in OWL RL, Proceedings, Part I, pp.279-294, 2012.
DOI : 10.1007/978-3-642-35176-1_18

E. Kubias, S. Schenk, S. Staab, and J. Z. Pan, Owl saiql-an owl dl query language for ontology extraction, Proc. of OWLED-07. Citeseer, 2007.

A. Letelier, J. Pérez, R. Pichler, and S. Skritek, Static analysis and optimization of semantic web queries, ACM Trans. Database Syst, vol.38, issue.4, p.25, 2013.

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

C. Lutz, D. Toman, and F. Wolter, Conjunctive query answering in the description logic el using a relational database system, IJCAI, pp.2070-2075, 2009.

F. Manola, E. Miller, and B. Mcbride, Rdf primer. W3C recommendation, pp.1-107, 2004.

S. Muñoz, J. Pérez, and C. Gutierrez, Minimal deductive systems for RDF, The Semantic Web: Research and Applications, pp.53-67, 2007.

M. Ortiz, D. Calvanese, and T. Eiter, Data Complexity of Query Answering in Expressive Description Logics via Tableaux, Journal of Automated Reasoning, vol.12, issue.2, pp.61-98, 2008.
DOI : 10.1007/s10817-008-9102-9

M. Ortiz, M. ?imkus, and T. Eiter, Worst-case optimal conjunctive query answering for an expressive description logic without inverses, Proc. of AAAI, 2008.

R. Pichler, A. Polleres, S. Skritek, and S. Woltran, Redundancy elimination on rdf graphs in the presence of rules, constraints, and queries. Web Reasoning and Rule Systems, pp.133-148, 2010.

E. Sirin and B. Parsia, Sparql-dl: Sparql query for owl-dl, 3rd OWL Experiences and Directions Workshop (OWLED-2007), 2007.

J. Herman and . Horst, Combining rdf and part of owl with rules: Semantics, decidability, complexity, The Semantic Web?ISWC 2005 Inria RESEARCH CENTRE NANCY ? GRAND EST 615 rue du Jardin Botanique CS20101 54603 Villers-lès-Nancy Cedex Publisher Inria Domaine de Voluceau -Rocquencourt BP 105 -78153 Le Chesnay Cedex inria.fr ISSN, pp.668-684, 2005.