A. V. Aho, Y. Sagiv, and J. D. Ullman, Equivalences among Relational Expressions, SIAM Journal on Computing, vol.8, issue.2, pp.218-246, 1979.
DOI : 10.1137/0208017

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

R. Angles and C. Gutierrez, The Expressive Power of SPARQL, Proc. ISWC, pp.114-129, 2008.
DOI : 10.1007/978-3-540-74565-5_14

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

J. F. Baget, RDF entailment as a graph homomorphism. The Semantic Web?ISWC, pp.82-96, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00922476

P. Barcelo, L. Libkin, A. W. Lin, and P. T. Wood, Expressive languages for path queries over graph-structured data, p.31, 2012.

C. Bizer and A. Schultz, Benchmarking the performance of storage systems that expose SPARQL endpoints, Proc. 4 th International Workshop on Scalable Semantic Web Knowledge Base Systems (SSWS), 2008.

C. Bizer and A. Schultz, The Berlin SPARQL benchmark, International Journal on Semantic Web and Information Systems, vol.5, issue.2, pp.1-24, 2009.
DOI : 10.4018/978-1-60960-593-3.ch004

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

D. Calvanese, G. De-giacomo, M. Lenzerini, and M. Y. Vardi, Reasoning on regular path queries, ACM SIGMOD Record, vol.32, issue.4, pp.83-92, 2003.
DOI : 10.1145/959060.959076

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, p.22, 2008.
DOI : 10.1145/1352582.1352590
URL : http://www.dis.uniroma1.it/~degiacom/papers/2008/calv-degi-lenz-TOCL-2008.pdf

D. Calvanese, M. Ortiz, and M. Simkus, Containment of regular path queries under description logic constraints, IJCAI Proceedings-International Joint Conference on Artificial Intelligence, p.805, 2011.

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

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

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

M. W. Chekol, Static analysis of semantic web queries Thesis, 2012.

M. W. Chekol, J. Euzenat, P. Genevès, and N. Layaïda, SPARQL Query Containment under RDFS Entailment Regime, Proc. IJCAR, 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, Proc. AAAI, pp.10-16, 2012.
DOI : 10.1007/978-3-642-31365-3_13
URL : https://hal.archives-ouvertes.fr/hal-00749080

M. W. Chekol, J. Euzenat, P. Genevès, and N. Layaïda, Evaluating and benchmarking sparql query containment solvers, International Semantic Web Conference, pp.408-423, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00917911

R. Cyganiak, A relational algebra for sparql, Digital Media Systems Laboratory HP Laboratories Bristol. HPL-2005-170 p, p.35, 2005.

D. Florescu, A. Levy, and D. Suciu, 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

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

P. Genevès, N. Layaïda, and A. Schmitt, Efficient static analysis of XML paths and types, Proc. PLDI, pp.342-351, 2007.

B. Glimm, Using SPARQL with RDFS and OWL entailment. Reasoning Web. Semantic Technologies for the Web of Data pp, pp.137-201, 2011.
DOI : 10.1007/978-3-642-23032-5_3
URL : http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/Glim11a.pdf

J. Groppe, S. Groppe, and J. Kolbaum, OPTIMIZATION OF SPARQL BY USING CORESPARQL, Proceedings of the 11th International Conference on Enterprise Information, pp.107-112, 2009.
DOI : 10.5220/0001983501070112

C. Gutierrez, C. Hurtado, and A. O. Mendelzon, Foundations of semantic web databases, Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, pp.95-106, 2004.

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

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

D. S. Johnson and A. Klug, Testing containment of conjunctive queries under functional and inclusion dependencies, Journal of Computer and System Sciences, vol.28, issue.1, pp.167-189, 1984.
DOI : 10.1016/0022-0000(84)90081-3

E. V. Kostylev, C. Grau, and B. , On the Semantics of SPARQL Queries with Optional Matching under Entailment Regimes, Lecture Notes in Computer Science, vol.8797, pp.374-389, 2014.
DOI : 10.1007/978-3-319-11915-1_24

E. V. Kostylev, J. L. Reutter, M. Romero, and D. Vrgo?, SPARQL with Property Paths, International Semantic Web Conference, pp.3-18, 2015.
DOI : 10.1145/1804669.1804675

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

A. Letelier, J. Pérez, R. Pichler, and S. Skritek, Static analysis and optimization of semantic web queries, Proc. PODS, pp.89-100, 2012.

F. Manola and E. Miller, Resource description framework primer, Internet, 2004.

R. Mateescu, S. Meriot, and S. Rampacek, Extending SPARQL with Temporal Logic URL http://hal.archives-ouvertes.fr/inria-00404761, p.7056, 2009.

S. Munoz, J. Pérez, and C. Gutierrez, Minimal deductive systems for rdf, The Semantic Web: Research and Applications, 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.

R. Pichler and S. Skritek, Containment and equivalence of well-designed SPARQL, Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, PODS '14, pp.39-50, 2014.
DOI : 10.1145/2594538.2594542

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, 2008.

M. Schmidt, T. Hornung, G. Lausen, and C. Pinkel, SP 2 Bench: a SPARQL performance benchmark, Proc. ICDE, pp.222-233, 2009.

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

G. Serfiotis, I. Koffina, V. Christophides, and V. Tannen, Containment and Minimization of RDF/S Query Patterns, The Semantic Web -ISWC 2005, pp.607-623, 2005.
DOI : 10.1007/11574620_44

M. Stocker, A. Seaborne, A. Bernstein, C. Kiefer, and D. Reynolds, SPARQL basic graph pattern optimization using selectivity estimation, Proceeding of the 17th international conference on World Wide Web , WWW '08, pp.595-604, 2008.
DOI : 10.1145/1367497.1367578
URL : http://www2008.org/papers/pdf/p595-stocker1.pdf

Y. Tanabe, K. Takahashi, and M. Hagiya, A decision procedure for alternation-free modal µ-calculi, 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, pp.277-291, 2005.
DOI : 10.1007/11554554_21