Paraconsistent Resolution for Four-valued Description Logics

TitleParaconsistent Resolution for Four-valued Description Logics
Publication TypeConference Paper
Year of Publication2007
AuthorsYue Ma, Zuoquan Lin, Pascal Hitzler
Publisherthe 2007 International Workshop on Description Logics (DL-2007)
Abstract

In this paper, we propose an approach to translating any ALC ontology (possible inconsistent) into a logically consistent set of disjunctive datalog rules. We achieve this in two steps: First we give a simple way to make any ALC based ontology 4-valued satisfiable, and then we study a sound and complete paraconsistent ordered-resolution decision procedure for our 4-valued ALC. Our approach can be viewed as a paraconsistent version of KAON2 algorithm.

Full Text

Yue Ma, Pascal Hitzler and Zuoquan Lin, 'Paraconsistent Resolution for Four-valued Description Logics' Proceedings of the 2007 International Workshop on Description Logics (DL-2007), Brixen-Bressanone, Italy, June 2007.
year: 2007
venue name: the 2007 International Workshop on Description Logics (DL-2007)
hasURL: http://knoesis.wright.edu/library/download/alc4res-dl07.pdf

Related Files: