]. T. Gruber, T. Bray, J. Paoli, C. M. Sperberg-mcqueen, E. Maler et al., Extensible Markup Language (XML) 1.1 (second edition) W3C recommendationREC-xml11- OWL Web Ontology Language Reference RDF/ XML Syntax Specification (Revised) " . W3C recommendationREC- rdf-syntax-grammar- The Semantic Web " . Scientific American [6] IFC Model, Industrial Foundation classes, International Alliance for interoperability Resource Description Framework (rdf): Concepts and abstract syntax, Toward principles for the design of ontologies used for knowledge sharing. Presented at the Padua workshop on Formal Ontologywww.w3.org/TR NuSMV: a new symbolic model checker " . International Journal on Software Tools for Technology Transfer, pp.907-928, 1993.

V. Bönström, A. Hinze, and H. Schweppe, Storing RDF as a graph " . Latin American WWW conference, W3C recommandation, pp.27-36, 2003.

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, Principles of Model Checking " . Formal Methods and Tools Group, Lecture Notes, pp.13-34, 2004.

R. E. Tarjan, Depth-First Search and Linear Graph Algorithms, SIAM Journal on Computing, vol.1, issue.2, pp.146-160, 1972.
DOI : 10.1137/0201010

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

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