Inconsistent ontology revision based on ontology constructs

Assessing the quality of ontologies is important to reuse/integrate ontologies. In this paper, we propose an approach to revise ontology inconsistency by measuring the relevant ontology constructs such as semantic partitions, axiom fanouts per concept, minimal incoherence-preserving subsets, incoherence impact value per axiom and preferable revision weight per concept in the ontology being measured. We also propose several algorithms to compute the measurement values of these ontology constructs, which can be used to pinpoint and rank which axioms and concepts are most likely to cause the ontology inconsistency. Our approach can help determine which concepts should be preferentially modified and therefore enables automatic revision of ontology inconsistency in the context of a dynamic and evolving environment.

[1]  Jeff Z. Pan,et al.  Ontology Inconsistency Handling : Ranking and Rewriting Axioms , 2006 .

[2]  Edsger W. Dijkstra,et al.  A note on two problems in connexion with graphs , 1959, Numerische Mathematik.

[3]  Sergey Brin,et al.  The Anatomy of a Large-Scale Hypertextual Web Search Engine , 1998, Comput. Networks.

[4]  Xi Deng,et al.  Measuring Inconsistencies in Ontologies , 2007, ESWC.

[5]  Stefan Schlobach,et al.  Diagnosing Terminologies , 2005, AAAI.

[6]  Ljiljana Stojanovic,et al.  Consistent Evolution of OWL Ontologies , 2005, ESWC.

[7]  Guilin Qi,et al.  Measuring Incoherence in Description Logic-Based Ontologies , 2007, ISWC/ASWC.

[8]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[9]  Steffen Staab,et al.  Supporting application development in the Semantic Web , 2003 .

[10]  Boris Motik,et al.  User-Driven Ontology Evolution Management , 2002, EKAW.

[11]  Olga De Troyer,et al.  Resolving Inconsistencies in Evolving Ontologies , 2006, ESWC.

[12]  G Stix,et al.  The mice that warred. , 2001, Scientific American.

[13]  James A. Hendler,et al.  The Semantic Web" in Scientific American , 2001 .

[14]  Donald B. Johnson,et al.  Efficient Algorithms for Shortest Paths in Sparse Networks , 1977, J. ACM.

[15]  York Sure-Vetter,et al.  How to Design Better Ontology Metrics , 2007, ESWC.

[16]  Sven Ove Hansson,et al.  Local Change , 2002, Stud Logica.

[17]  Frank van Harmelen,et al.  Debugging Incoherent Terminologies , 2007, Journal of Automated Reasoning.

[18]  Richard Booth,et al.  Knowledge Integration for Description Logics , 2005, AAAI.

[19]  Bijan Parsia,et al.  Repairing Unsatisfiable Concepts in OWL Ontologies , 2006, ESWC.