Proceedings of the 8th International Conference on Web Information Systems and Technologies 2012
DOI: 10.5220/0003919204180421
|View full text |Cite
|
Sign up to set email alerts
|

Inconsistency Identification in Dynamic Ontologies Based on Model Checking

Abstract: 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 pattern… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Publication Types

Select...

Relationship

0
0

Authors

Journals

citations
Cited by 0 publications
references
References 10 publications
(7 reference statements)
0
0
0
Order By: Relevance

No citations

Set email alert for when this publication receives citations?