loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Mahdi Gueffaz ; Perrine Pittet ; Sylvain Rampacek ; Christophe Cruz and Christophe Nicolle

Affiliation: UMR CNRS 5158, France

Keyword(s): Model Checking, NuSMV Model Checker, Ontology Evolution, Ontology Design Pattern, Temporal Logic.

Related Ontology Subjects/Areas/Topics: Internet Technology ; Ontology and the Semantic Web ; Web Information Systems and Technologies ; Web Interfaces and Applications ; Web Services and Web Engineering

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.226.251.22

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 - WEBIST; ISBN 978-989-8565-08-2; ISSN 2184-3252, SciTePress, pages 418-421. DOI: 10.5220/0003919204180421

@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 - WEBIST},
year={2012},
pages={418-421},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003919204180421},
isbn={978-989-8565-08-2},
issn={2184-3252},
}

TY - CONF

JO - Proceedings of the 8th International Conference on Web Information Systems and Technologies - WEBIST
TI - INCONSISTENCY IDENTIFICATION IN DYNAMIC ONTOLOGIES BASED ON MODEL CHECKING
SN - 978-989-8565-08-2
IS - 2184-3252
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
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic