Reasoning with uncertain and inconsistent OWL ontologies

Abstract

Reasoning with uncertainty and inconsistency in description logics are two important issues in the development of description logic-based ontology engineering. When constructing ontologies, one may obtain ontologies that are inconsistent and are pervaded with uncertain information, such as confidence values. In this paper, we propose some approaches to reasoning with inconsistent and uncertain ontologies in description logics. This paper consists of two parts. In the first part, we propose some inconsistency-tolerant semantics for ontologies with uncertain information. In the second part, we propose an approach to resolving inconsistencies between two heterogenous ontologies caused by erroneous mappings. © 2012 Springer-Verlag.