T. R. Gruber, Toward principles for the design of ontologies used for knowledge sharing. Presented at the Padua workshop on Formal Ontology, later published in, International Journal of Human-Computer Studies, vol.43, pp.4-5, 1993.

T. Bray, J. Paoli, C. M. Sperberg-mcqueen, E. Maler, F. Yergeau et al., Extensible Markup Language (XML) 1.1 (second edition) W3C recommendation, pp.11-20060816, 2006.

D. Becket and B. Mcbride, RDF/ XML Syntax Specification (Revised). W3C recommendationREC-rdf-syntax-grammar, 2004.

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

E. M. Clarke, The birth of Model checking. 25 Years of Model Checking Lecture Notes in Computer Science, pp.1-26, 2008.

A. Cimatti, E. M. Clarke, F. Giunchiglia, and M. Roveri, NUSMV: a new symbolic model checker, International Journal on Software Tools for Technology Transfer (STTT), vol.2, issue.4, pp.410-425, 2000.
DOI : 10.1007/s100090050046

W. Chan, Temporal-logic Queries, Proceedings of Computer Aided Verification, pp.450-463, 2000.
DOI : 10.1007/10722167_34

C. Chebotko, S. Lu, and F. Fotouhi, Semantics preserving SPARQL-to-SQL translation, Data & Knowledge Engineering, vol.68, issue.10, 2009.
DOI : 10.1016/j.datak.2009.04.001

J. J. Klyne, Resource Description Framework (rdf): Concepts and abstract syntax, p.3, 2004.

V. Bönström, A. Hinze, and H. Schweppe, Storing RDF as a graph, Proceedings of the IEEE/LEOS 3rd International Conference on Numerical Simulation of Semiconductor Optoelectronic Devices (IEEE Cat. No.03EX726), 2003.
DOI : 10.1109/LAWEB.2003.1250279

T. Berners-lee and D. Connolly, Notation3 (N3): A readable RDF syntax. W3C recommendation, 2008.

D. Becket and B. Mcbride, RDF test cases. W3C Working draft, 2004.

J. P. Katoen, The principal of Model Checking, 2002.

R. Cyganiak, A relational algebra for SPARQL, 2005.

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

M. Mukund, Model Checking, Automated Verification of Computational Systems, pp.667-681, 2009.

M. Gueffaz, S. Rampacek, and C. Nicolle, ScaleSem: Evaluation of semantic graph based on Model Checking, Webist 2011-The 7th International Conference on Web Information Systems and Technologies, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00617998

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