International audienceThe 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
In this paper, we propose an approach for measuring inconsistency in inconsistent ontologies. We fir...
Changes in an upper level ontology have obvious conse-quences for the domain ontologies that use it ...
This paper presents OntoDrift, an approach to detect and assess the semantic drift among timely-dist...
International audienceThe increasing use of ontologies and the cost of changes support the need to m...
One of the major problems of large scale, distributed and evolving ontologies is the potential intr...
One of the major problems of large scale, distributed and evolving ontologies is the potential intro...
An ontology is a representation in a logical language of a domain. An ontology can change; a changin...
In this paper, we propose an approach for measuring inconsistency in inconsistent ontologies.We firs...
Abstract In this paper, we focus on the impact of ontology changes on production rules, in the conte...
ISBN 978-3-85125-060-2International audienceOntologies evolve continuously throughout their lifecycl...
Ontologies are used to formally express domain knowledge, but sometimes the system that they represe...
Abstract. Ensuring that ontologies are consistent is an important part of ontology development and t...
The ability to deal with inconsistency and to accommodate change is of utmost importance in real-wor...
International audienceDue to the increasing use of models, and the inevitable model inconsistencies ...
We describe mechanisms for automated evolution of ontologies to adapt to new circumstances and to ma...
In this paper, we propose an approach for measuring inconsistency in inconsistent ontologies. We fir...
Changes in an upper level ontology have obvious conse-quences for the domain ontologies that use it ...
This paper presents OntoDrift, an approach to detect and assess the semantic drift among timely-dist...
International audienceThe increasing use of ontologies and the cost of changes support the need to m...
One of the major problems of large scale, distributed and evolving ontologies is the potential intr...
One of the major problems of large scale, distributed and evolving ontologies is the potential intro...
An ontology is a representation in a logical language of a domain. An ontology can change; a changin...
In this paper, we propose an approach for measuring inconsistency in inconsistent ontologies.We firs...
Abstract In this paper, we focus on the impact of ontology changes on production rules, in the conte...
ISBN 978-3-85125-060-2International audienceOntologies evolve continuously throughout their lifecycl...
Ontologies are used to formally express domain knowledge, but sometimes the system that they represe...
Abstract. Ensuring that ontologies are consistent is an important part of ontology development and t...
The ability to deal with inconsistency and to accommodate change is of utmost importance in real-wor...
International audienceDue to the increasing use of models, and the inevitable model inconsistencies ...
We describe mechanisms for automated evolution of ontologies to adapt to new circumstances and to ma...
In this paper, we propose an approach for measuring inconsistency in inconsistent ontologies. We fir...
Changes in an upper level ontology have obvious conse-quences for the domain ontologies that use it ...
This paper presents OntoDrift, an approach to detect and assess the semantic drift among timely-dist...