Abstract | ||
---|---|---|
Semantic modeling knowledge formalisms, such as ontologies, have to follow the continuous evolution and changes of knowledge. However, ontology changes should never affect its consistency. Ontology needs to remain in a consistent state along its whole engineering process. In the literature, most of approaches check/repair ontology inconsistencies in an a posteriori way. In this paper, an a priori inconsistency approach was proposed to generate consistent OWL 2 DL ontology versions. It relies on the OWL 2 DL change kits, which anticipate inconsistencies upon each change request on an ontology version. The proposed approach predicts potential inconsistencies, provides an a priori repair action and applies the required changes. Consistency rules were defined and used to check logical inconsistencies, but also syntactical invalidities and style issues. A protégé plugin was implemented to validate our approach. |
Year | DOI | Venue |
---|---|---|
2018 | 10.1016/j.datak.2018.05.010 | Data & Knowledge Engineering |
Keywords | Field | DocType |
OWL 2 DL ontology,Evolution,Inconsistency,A priori approach | Ontology (information science),Ontology,Protégé,Information retrieval,Computer science,A priori and a posteriori,Change request,Plug-in,Rotation formalisms in three dimensions,Web Ontology Language | Journal |
Volume | Issue | ISSN |
116 | 1 | 0169-023X |
Citations | PageRank | References |
1 | 0.35 | 16 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Leila Bayoudhi | 1 | 5 | 1.78 |
Najla Sassi | 2 | 26 | 5.26 |
Wassim Jaziri | 3 | 33 | 10.87 |