Sciweavers

Share
DLOG
2007

Paraconsistent Resolution for Four-valued Description Logics

8 years 10 months ago
Paraconsistent Resolution for Four-valued Description Logics
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.
Yue Ma, Pascal Hitzler, Zuoquan Lin
Added 02 Oct 2010
Updated 02 Oct 2010
Type Conference
Year 2007
Where DLOG
Authors Yue Ma, Pascal Hitzler, Zuoquan Lin
Comments (0)
books