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. ,
Storing RDF as a graph " . Latin American WWW conference, W3C recommandation, pp.27-36, 2003. ,
Notation3 (N3): A readable RDF syntax, W3C recommendation, 2008. ,
RDF test cases. W3C Working draft, 2004. ,
Principles of Model Checking " . Formal Methods and Tools Group, Lecture Notes, pp.13-34, 2004. ,
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=10.1.1.327.8418
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