Principles of Model Checking, 2008. ,
Extensible Markup Language (XML) 1.1 (second edition) W3C recommendation, pp.11-20060816, 2006. ,
NUSMV: a new symbolic model checker, International Journal on Software Tools for Technology Transfer (STTT), vol.2, issue.4, 2000. ,
DOI : 10.1007/s100090050046
Approche d'évolution d'ontologie guidée par des patrons de gestion de changement, 2009. ,
RDF2NµSMV: mapping semantic graphs to NµSMV model checker, The Third International Conference on Advances in Future Internet, 2011. ,
Consistent Evolution of OWL Ontologies The Semantic Web: Research and Applications, LNCS, vol.3532, pp.182-197, 1007. ,
A Methodology for Ontology Evolution and Versioning, 2009 Third International Conference on Advances in Semantic Processing, pp.15-21, 2009. ,
DOI : 10.1109/SEMAPRO.2009.22
Guidelines for a Dynamic Ontology -Integrating Tools of Evolution and Versionning in Ontology, International Conference on Knowledge Management in Information Systems, 2011. ,
Resolving inconsistencies in evolving ontologies The Semantic Web: Research and Applications, Proceedings of the 3rd European Semantic Web Conference ESWC, pp.200-214, 2006. ,
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
Gestion de l'évolution d'une ontologie: méthodes et outils pour un référencement sémantique évolutif fondé sur une analyse des changements entre versions de l'ontologie, 2008. ,
Pellet: An owl dl reasoner, Proceedings of the International Workshop on Description Logics, 2004. ,