INCONSISTENCY IDENTIFICATION IN DYNAMIC ONTOLOGIES BASED ON MODEL CHECKING

Abstract : The increasing use of ontologies and the cost of changes support the need to manage the evolution of ontologies. A common kind of error in ontology evolution is the logical contradiction declined as incoherences and inconsistences. In this paper, we propose a new approach to predict and identify the incoherences and inconsistences in the evolution of ontologies based on temporal logic and ontology design patterns. We implement the proposed approach using the NuSMV model checker. Based on these patterns, we propose an automated process to guide and monitor the implementation of change while ensuring the consistency of the evolved ontology.
Type de document :
Communication dans un congrès
The 8th International Conference on Web Information Systems and Technologies, Apr 2012, Porto, Portugal. pp.418-421, 2012
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00704586
Contributeur : Mahdi Gueffaz <>
Soumis le : mardi 5 juin 2012 - 17:13:29
Dernière modification le : mercredi 12 septembre 2018 - 01:27:20
Document(s) archivé(s) le : jeudi 6 septembre 2012 - 03:01:17

Fichier

WEBIST_2012_55_CR.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00704586, version 1

Collections

Citation

Mahdi Gueffaz, Perrine Pittet, Sylvain Rampacek, Christophe Cruz, Christophe Nicolle. INCONSISTENCY IDENTIFICATION IN DYNAMIC ONTOLOGIES BASED ON MODEL CHECKING. The 8th International Conference on Web Information Systems and Technologies, Apr 2012, Porto, Portugal. pp.418-421, 2012. 〈hal-00704586〉

Partager

Métriques

Consultations de la notice

513

Téléchargements de fichiers

263