Measuring Inconsistencies in Ontologies

Authors:
Xi Deng;Volker Haarslev;Nematollaah Shiri
Affiliations:
Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada;Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada;Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada
Venue:
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Year:
2007

Citing 9
Cited 4

RACER System Description

IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Basic description logics

The description logic handbook
Debugging OWL ontologies

WWW '05 Proceedings of the 14th international conference on World Wide Web
Computing shapley values, manipulating value division schemes, and checking core membership in multi-issue domains

AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Diagnosing terminologies

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Non-standard reasoning services for the debugging of description logic terminologies

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A general diagnosis method for ontologies

ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Repairing unsatisfiable concepts in OWL ontologies

ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
FaCT++ description logic reasoner: system description

IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning

An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics

ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Laconic and Precise Justifications in OWL

ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Dealing with Inconsistencies in DL-Lite Ontologies

ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Adoption of object-oriented software metrics for ontology evaluation

Proceedings of the Fifth Balkan Conference in Informatics

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we propose a novel approach to measure inconsistencies in ontologies based on Shapley values, which are originally proposed for game theory. This measure can be used to identify which axioms in an input ontology or which parts of these axioms need to be removed or modified in order to make the input consistent. We also propose optimization techniques to improve the efficiency of computing Shapley values. The proposed approach is independent of a particular ontology language or a particular reasoning system used. Application of this approach can improve the quality of ontology diagnosis and repair in general.