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. ,
Extensible Markup Language (XML) 1.1 (second edition) W3C recommendation, pp.11-20060816, 2006. ,
RDF/ XML Syntax Specification (Revised). W3C recommendationREC-rdf-syntax-grammar, 2004. ,
The Semantic Web. Scientific American, pp.34-43, 2001. ,
Principles of the SPIN Model Checker, 2008. ,
Resource Description Framework (rdf): Concepts and abstract syntax, p.3, 2004. ,
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
Notation3 (N3): A readable RDF syntax. W3C recommendation, 2008. ,
RDF test cases. W3C Working draft, 2004. ,
The principal of Model Checking, 2002. ,
SCALESEM: Evaluation of Semantic graph based on Model Checking, The 7th International Conference on Web Information Systems and Technologies, WEBIST, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00617998
The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), 1977. ,
DOI : 10.1109/SFCS.1977.32