Dempster-Shafer Inconsistency Values

For several ontology constructing reasons of migration, extending or merging, the size of ontologies grows and applications become more complex, it is inevitable for us to receive an inconsistent ontology. Measuring ontology inconsistency is the basis inconsistency-dealing, which can help us decide how to act on an inconsistency. Measuring ontology inconsistency with weighted formulae in numerous applications is a significant but difficult task for most efforts which only deal with the flat ontology. This paper improves inconsistency measure based on evidence theory and proposes a novel Dempster-Shafer ontology inconsistency measure method. The logical properties of these measures are studied. The properties show how to look inside the formulae and how to indicate the contribution of each formula to the overall inconsistency in the ontology set. This approach would provide us with a stronger base of inconsistency handling.