Paraconsistent Reasoning for OWL 2

  • Authors:

  • Yue Ma;Pascal Hitzler

  • Affiliations:

  • Institute LIPN, Université Paris-Nord (LIPN - UMR 7030), France;Institute AIFB, Universität Karlsruhe, Germany

  • Venue:
  • RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

A four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases. This approach has a distinct advantage that it can be implemented by invoking classical reasoners to keep the same complexity as under the classical semantics. However, this approach has so far only been studied for the basic description logic $\mathcal{ALC}$. In this paper, we further study how to extend the four-valued semantics to the more expressive description logic $\mathcal{SROIQ}$ which underlies the forthcoming revision of the Web Ontology Language, OWL 2, and also investigate how it fares when adapted to tractable description logics including $\mathcal{EL++}$, DL-Lite, and Horn-DLs. We define the four-valued semantics along the same lines as for $\mathcal{ALC}$ and show that we can retain most of the desired properties.