M. Arenas and J. Pérez, Querying semantic web data with SPARQL, Proceedings of the 30th symposium on Principles of database systems of data, PODS '11, pp.305-316, 2011.
DOI : 10.1145/1989284.1989312
URL : http://www.ing.puc.cl/%7Ejperez/papers/pods11b.pdf

I. Boneva, J. E. , L. Gayo, S. Hym, E. G. Prud-'hommeaux et al., Validating RDF with shape expressions, 1270.

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, STOC '77, pp.77-90, 1977.

C. Melisachew-wudage, On the containment of sparql queries under entailment regimes, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, AAAI'16, pp.936-942, 2016.

J. Melisachew-wudage-chekol and . Euzenat, Pierre Genevès, and Nabil Laya¨?daLaya¨?da. Psparql query containment, DBPL, 2011.

J. Melisachew-wudage-chekol, P. Euzenat, N. Genevès, and . Laya¨?dalaya¨?da, Sparql query containment under rdfs entailment regime, Automated Reasoning: 6th International Joint Conference, IJCAR 2012 Proceedings, pp.134-148, 2012.

J. Melisachew-wudage-chekol, P. Euzenat, N. Genevès, and . Laya¨?dalaya¨?da, Sparql query containment under shi axioms, Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, AAAI'12, pp.10-16, 2012.

D. Colazzo and C. Sartiani, Typing regular path query languages for data graphs, Proceedings of the 15th Symposium on Database Programming Languages, DBPL 2015, pp.69-78, 2015.
DOI : 10.1007/3-540-45061-0_53
URL : https://hal.archives-ouvertes.fr/hal-01593601

J. Emilio, L. Gayo, E. Prud-'hommeaux, I. Boneva, S. Staworko et al., Towards an RDF Validation Language Based on Regular Expression Derivatives, pp.197-204

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 and N. Laya¨?dalaya¨?da, Deciding XPath containment with MSO, Data Warehouse and Knowledge Discovery (DAWAK ?05)7th International Congress on Data Warehouse and Knowledge Discovery (DAWAK?05), pp.108-136, 2007.
DOI : 10.1016/j.datak.2006.11.003

P. Genevès and N. Laya¨?dalaya¨?da, XML reasoning made practical, 2010 IEEE 26th International Conference on Data Engineering (ICDE 2010), pp.1169-1172, 2010.
DOI : 10.1109/ICDE.2010.5447786

E. Grädel, P. G. Kolaitis, and M. Y. Vardi, Abstract, Bulletin of Symbolic Logic, vol.40, issue.01, pp.53-69, 1997.
DOI : 10.1007/BF01449155

V. Egor, J. L. Kostylev, M. Reutter, D. Romero, and . Vrgo?, Sparql with property paths, Proceedings of the 14th International Conference on The Semantic Web -ISWC 2015, pp.3-18, 2015.

M. Lanthaler, R. Cyganiak, and D. Wood, RDF 1.1 concepts and abstract syntax. W3C recommendation, W3C, 2014.

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

J. Pérez, M. Arenas, and C. Gutierrez, Semantics and complexity of sparql, ACM Trans. Database Syst, vol.3416, issue.3, pp.1-1645, 2009.

R. Pichler and S. Skritek, Containment and equivalence of welldesigned sparql, Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS '14, pp.39-50, 2014.

E. Prud-'hommeaux, Shape expressions (shex) primer, 2017.

E. Prud-'hommeaux, J. E. , L. Gayo, and H. Solbrig, Shape expressions: An rdf validation and transformation language, Proceedings of the 10th International Conference on Semantic Systems, SEM '14, pp.32-40, 2014.

G. Schreiber and Y. Raimond, RDF 1.1 primer. W3C note, W3C, pp.11-20140624, 2014.

A. Seaborne and S. Harris, SPARQL 1.1 query language. W3C recommendation, W3C, pp.11-20130321, 2013.

S. Staworko, I. Boneva, J. E. Gayo, S. Hym, E. G. Prud-'hommeaux et al., Complexity and Expressiveness of ShEx for RDF, 18th International Conference on Database Theory (ICDT 2015), volume 31 of Leibniz International Proceedings in Informatics (LIPIcs) Schloss Dagstuhl?Leibniz-Zentrum fuer Informatik, pp.195-211
URL : https://hal.archives-ouvertes.fr/hal-01218552

X. Zhang, J. Van-den-bussche, and F. Picalausa, On the satisfiability problem for sparql patterns, J. Artif. Int. Res, vol.56, issue.1, pp.403-428, 2016.