T. Berners-lee, J. Hendler, and O. Lassila, The Semantic Web. Scientific American, pp.34-43, 2001.

J. Kahan, M. Koivunen, E. Prud-'hommeaux, and R. R. Swick, Annotea, Proceedings of the tenth international conference on World Wide Web , WWW '01, 2001.
DOI : 10.1145/371920.372166

K. Homma, K. Takahashi, and A. Togashi, Modeling and Verification of Web Applications Using Formal Approach, IEICE Tech. Rep, vol.109, issue.40, pp.2009-2017, 2009.

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.
DOI : 10.1109/SFCS.1977.32

W. Chan, Temporal-logic Queries, Proc. 12th Conf. Computer Aided Verification (CAV '00), pp.450-463, 2000.
DOI : 10.1007/10722167_34

R. Angles and C. Gutierrez, Querying RDF Data from a Graph Database Perspective, European Semantic Web Conference (ESWC2005), pp.346-360, 2005.
DOI : 10.1007/11431053_24

G. Karvounarakis, S. Alexaki, V. Christophides, D. Plexousakis, and M. Scholl, RQL, Proceedings of the eleventh international conference on World Wide Web , WWW '02, pp.592-603, 2002.
DOI : 10.1145/511446.511524
URL : https://hal.archives-ouvertes.fr/hal-01124850

A. Seaborne, RDQL -A Query Language for RDF, W3C Member Submission 9

M. Sintek and S. Decker, TRIPLE???A Query, Inference, and Transformation Language for the Semantic Web, Proc. of the, p.1, 2002.
DOI : 10.1007/3-540-48005-6_28

T. Berners-lee, Notation 3 -An RDF Language for the Semantic Web, p.3, 2001.

P. Haase, J. Broekstra, A. Eberhart, and R. Volz, A Comparison of RDF Query Languages, Proc. of the 3th ISWC conference. Number 3298 in LNCS, 2004.
DOI : 10.1007/978-3-540-30475-3_35

E. Prudhommeaux and A. Seaborne, SPARQL Query Language for RDF, 2005.

D. Becket and B. Mcbride, RDF/ XML Syntax Specification (Revised). W3C recommendation, 2004.

V. Bönström, A. Hinze, and H. , Schweppe: Storing RDF as a graph, Latin American WWW conference, 2003.

A. Chebotko, S. Lu, H. M. Jamil, and F. Fotouhi, Semantics Preserving SPARQL-to-SQL Query Translation for Optional Graph Patterns, 2006.

M. Mukund, Model checking, Resonance, vol.12, issue.3, 2009.
DOI : 10.1007/s12045-009-0055-z

S. Bardin, Introduction to the Model Checking. CEA,LIST, Safety Software laboratory, 2008.

E. M. Clarke, O. Grumberg, and D. A. , Peled. Model Checking, 1999.

E. M. Clarke and E. A. Emerson, Design and synthesis of synchronization skeletons using branching time temporal logic, Proceedings of the Workshop on Logics of Programs, pp.52-71, 1981.
DOI : 10.1007/BFb0025774

J. Queille and J. Sifakis, Specification and verification of concurrent systems in CESAR, Proceedings of the 5th International Symposium on Programming, pp.337-350
DOI : 10.1007/3-540-11494-7_22

A. Gurfinkel, B. Devereux, and M. Chechik, Model exploration with temporal logic query checking, 2002.
DOI : 10.1145/587051.587073
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.7392

A. Gurfinkel, M. Chechik, and B. Devereux, Temporal logic query checking: a tool for model exploration, IEEE Transactions on Software Engineering, vol.29, issue.10, 2003.
DOI : 10.1109/TSE.2003.1237171

R. Mateescu, S. Meriot, and S. Rampacek, Extending SPARQL with Temporal logic, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00404761

S. Hornus, . Ph, and . Schnoebelen, On solving temporal logic queries. Algebraic Methodology and Software Technology, Lecture Notes in Computer Science, vol.2422, pp.73-89, 2002.

M. Gheorghiu and A. Gurfinkel, TLQ: A query solver for states, 2006.

S. Hornus, . Ph, and . Schnoebelen, Queries in temporal logic, 2009.

A. Cimatti, E. Clarke, F. Giunchiglia, and M. Roveri, NµSMV: a new symbolic model checker, 2000.
DOI : 10.1007/s100090050046
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.19.4520

M. Ben-ari, Principles of the SPIN Model Checker, 2008.

T. Neumann and G. Weikum, Scalable Join Processing on very large RDF graphs. SIGMOD'09, 2009.

G. Lausen, M. Meier, and M. Schmidt, SPARQLing constraints for RDF, Proceedings of the 11th international conference on Extending database technology Advances in database technology, EDBT '08, pp.499-509, 2008.
DOI : 10.1145/1353343.1353404

A. Polleres, F. Scharffe, R. Schindlauer, M. Sparql++, R. Between et al., On the Move to Meaningful Internet Systems, 39] ARQ SPARQL Processor for Jena, pp.878-896, 2007.

C. Blakeley, Mapping Relational Data to RDF with Virtuoso's RDF Views, OpenLink Software, 2007.

K. Kochut and M. Janik, SPARQLeR: Extended Sparql for Semantic Association Discovery, ESWC, pp.145-159, 2007.
DOI : 10.1007/978-3-540-72667-8_12

J. Pérez, M. Arenas, and C. Gutierrez, nSPARQL: A Navigational Language for RDF, ISWC, pp.66-81, 2008.

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

B. Vatant, Metadata to describe resources (Semantic Web Languages), Proceedings of the INRA Seminar : Metadata: changes and prospects, 2008.