Paraconsistent reasoning for OWL 2

Yue Ma (1) , Hitzler Pascal (2)

1 LIPN - Laboratoire d'Informatique de Paris-Nord
2 Kno.e.sis Center, Wright State University, Dayton, OH,USA

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 basid description logic ALC. In this paper, we further study how to extend the four-valued semantics to the more expressive description logic SROIQ which underlies the forthcoming revision of the Web Ontology Language, OWL 2, and also investigate how it fares when adapated to tractable description logics including EL++, DL-Lite, and Horn-DLs. We define the four-valued semantics along the same lines as for ALC and show that we can retain most of the desired properties.

Mots clés: inconsistency handling description logic paraconsistent semantics OWL 2 tractable profiles of OWL 2

Domaines: Intelligence artificielle [cs.AI]

Yue Ma, Hitzler Pascal. Paraconsistent reasoning for OWL 2. The Third International Conference on Web Reasoning and Rule Systems (colocated with ISWC 2009), Oct 2009, United States. pp.197--211. ⟨hal-00422890⟩