Dempster-Shafer Inconsistency Values

For several ontology constructing reasons of migration, extending or merging, the size of ontolo- gies grows and applications become more complex, it is inevitable for us to receive an inconsistent ontology. Mea- suring ontology inconsistency is the basis inconsistency- dealing, which can help us decide how to act on an incon- sistency. Measuring ontology inconsistency with weighted formulae in numerous applications is a significant but diffi- cult task for most efforts which only deal with the fiat on- tology. This paper improves inconsistency measure based on evidence theory and proposes a novel Dempster-Shafer ontology inconsistency measure method. The logical prop- erties 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.