Axiom-based Inconsistency Measures for OWL Ontologies

Abstract

Inconsistency measures assess inconsistency in knowledge bases that usually give important information about inconsistency severity of the knowledge bases. The measures become more prominent since the degree of the inconsistency can imply to the decision of solving a problem. The ways of grading the degree depend on the computations used by the measures.

Currently, there are some existing inconsistency measures for Propositional Logic. An interesting question is whether the measures can be transferred to OWL ontologies. Five inconsistency measures for OWL 2 are developed since they are eligible to answer the question. They are called axiom-based inconsistency measures since they define inconsistency values that give inconsistency of each axiom of the base.

In order to get the advantages of the measures for real cases, the measures are required to be implemented in a tool by using particular OWL reasoners. In order to test the implementation, some ontologies are necessary as the test cases and the input of the tool. Furthermore, the implementation results are seen by evaluating the test results and providing the result data.