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
URL : http://www.cs.wisc.edu/%7Ecs784-1/equivalences.pdf

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
URL : https://link.springer.com/content/pdf/10.1007%2F978-3-540-88564-1_8.pdf

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.
DOI : 10.1007/11574620_9
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/jswis.2009040101
URL : http://www4.wiwiss.fu-berlin.de/bizer/pub/Bizer-Schultz-Berlin-SPARQL-Benchmark-IJSWIS.pdf

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
URL : http://www.cs.rice.edu/~vardi/papers/sigmod-record03.ps.gz

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

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.
DOI : 10.1016/j.datak.2009.04.001

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

M. W. Chekol, SPARQL Query Containment under RDFS Entailment Regime, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, pp.936-942, 2016.
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¨?dalaya¨?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¨?dalaya¨?da, SPARQL query containment under SHI axioms, Proc. AAAI, pp.10-16, 2012.
DOI : 10.1007/s13740-018-0087-1
URL : https://hal.archives-ouvertes.fr/hal-00749080

M. W. Chekol, J. Euzenat, P. Genevès, and N. Laya¨?dalaya¨?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
URL : http://www.cs.washington.edu/homes/suciu/files/_F793663539.ps

P. Genevès and N. Laya¨?dalaya¨?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¨?dalaya¨?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
URL : http://www.ifis.uni-luebeck.de/uploads/tx_wapublications/coreSPARQL-a5.pdf

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.
DOI : 10.1016/j.jcss.2010.04.009
URL : https://doi.org/10.1016/j.jcss.2010.04.009

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
URL : http://www.cis.upenn.edu/~tjgreen/courses/ecs289f/p288-ioannidis.pdf

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
URL : https://doi.org/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.
DOI : 10.1145/2213556.2213572

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

M. Schmidt, T. Hornung, G. Lausen, and C. Pinkel, SP 2 Bench: a SPARQL performance benchmark, Proc. ICDE, pp.222-233, 2009.
DOI : 10.1007/978-3-642-04329-1_16
URL : http://arxiv.org/pdf/0806.4627

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
URL : http://www.informatik.uni-freiburg.de/%7Emschmidt/docs/icdt2010_cr.pdf

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
URL : https://link.springer.com/content/pdf/10.1007%2F11574620_44.pdf

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.
DOI : 10.1007/11554554_21