Document Type
Conference Proceeding
Publication Date
10-1-2009
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 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.
Repository Citation
Ma, Y.,
& Hitzler, P.
(2009). Paraconsistent Reasoning for OWL 2. Lecture Notes in Computer Science, 5837, 197-211.
https://corescholar.libraries.wright.edu/cse/92
DOI
10.1007/978-3-642-05082-4_14
Included in
Bioinformatics Commons, Communication Technology and New Media Commons, Databases and Information Systems Commons, OS and Networks Commons, Science and Technology Studies Commons
Comments
Presented at the Third International Conference on Web Reasoning and Rule Systems, Chantilly, VA, October 25-26, 2009.
Attached is the unpublished, authors' version of this proceeding. The final, publisher's version can be found at http://dx.doi.org/10.1007/978-3-642-05082-4_14.