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. ,
The birth of Model checking. 25 Years of Model Checking Lecture Notes in Computer Science, pp.1-26, 2008. ,
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
Temporal-logic Queries, Proceedings of Computer Aided Verification, pp.450-463, 2000. ,
DOI : 10.1007/10722167_34
Semantics preserving SPARQL-to-SQL translation, Data & Knowledge Engineering, vol.68, issue.10, 2009. ,
DOI : 10.1016/j.datak.2009.04.001
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. ,
A relational algebra for SPARQL, 2005. ,
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
Model Checking, Automated Verification of Computational Systems, pp.667-681, 2009. ,
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
Extending SPARQL with Temporal logic, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00404761