INCONSISTENCY IDENTIFICATION IN DYNAMIC ONTOLOGIES BASED ON MODEL CHECKING - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

INCONSISTENCY IDENTIFICATION IN DYNAMIC ONTOLOGIES BASED ON MODEL CHECKING

Résumé

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.
Fichier principal
Vignette du fichier
WEBIST_2012_55_CR.pdf (111.48 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00704586 , version 1 (05-06-2012)

Identifiants

  • HAL Id : hal-00704586 , version 1

Citer

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. ⟨hal-00704586⟩
235 Consultations
372 Téléchargements

Partager

Gmail Facebook X LinkedIn More