INCONSISTENCY IDENTIFICATION IN DYNAMIC ONTOLOGIES BASED ON MODEL CHECKING
Mahdi Gueffaz, Perrine Pittet, Sylvain Rampacek, Christophe Cruz, Christophe Nicolle
2012
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.
DownloadPaper Citation
in Harvard Style
Gueffaz M., Pittet P., Rampacek S., Cruz C. and Nicolle C. (2012). INCONSISTENCY IDENTIFICATION IN DYNAMIC ONTOLOGIES BASED ON MODEL CHECKING . In Proceedings of the 8th International Conference on Web Information Systems and Technologies - Volume 1: WEBIST, ISBN 978-989-8565-08-2, pages 418-421. DOI: 10.5220/0003919204180421
in Bibtex Style
@conference{webist12,
author={Mahdi Gueffaz and Perrine Pittet and Sylvain Rampacek and Christophe Cruz and Christophe Nicolle},
title={INCONSISTENCY IDENTIFICATION IN DYNAMIC ONTOLOGIES BASED ON MODEL CHECKING},
booktitle={Proceedings of the 8th International Conference on Web Information Systems and Technologies - Volume 1: WEBIST,},
year={2012},
pages={418-421},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003919204180421},
isbn={978-989-8565-08-2},
}
in EndNote Style
TY - CONF
JO - Proceedings of the 8th International Conference on Web Information Systems and Technologies - Volume 1: WEBIST,
TI - INCONSISTENCY IDENTIFICATION IN DYNAMIC ONTOLOGIES BASED ON MODEL CHECKING
SN - 978-989-8565-08-2
AU - Gueffaz M.
AU - Pittet P.
AU - Rampacek S.
AU - Cruz C.
AU - Nicolle C.
PY - 2012
SP - 418
EP - 421
DO - 10.5220/0003919204180421