Paraconsistent Reasoning with Description Logics

Yue Ma,Pascal Hitzler,Zuoquan Lin

2008-01-01

Abstract:In an open, constantly changing and collaborative environment like the forthcoming Semantic Web, it is reasonable to expect that knowledge sources will contain noise and inaccuracies. Practical reasoning techniques for ontologies therefore will have to be tolerant to this kind of data, including the ability to handle inconsistencies in a meaningful way and to measure inconsistency degree of an inconsistent knowledge base. For this purpose, we employ paraconsistent semantics based on four-valued logic, which is a classical method for dealing with inconsistencies in knowledge bases. Its transfer to OWL DL has the following advantages: 1) It can be implemented by invoking classical reasoners and keeps the same complexity as classical inference. This is innovative with respect to other inconsistency handling approaches which get much higher complexity than classical inference. 2) It works well on kinds of description logics, such as basic ALC, on more expressive description logic SHIQ, and on tractable description logics including EL++, DL-Lite, and Horn-DLs. 3) It provides us with a direct way to define a syntax-independent measurement of inconsistency degree which provides context information for facilitating inconsistency handling.