Document Type
Conference Proceeding
Publication Date
6-1-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.
Repository Citation
Ma, Y.,
Hitzler, P.,
& Li, Z.
(2007). Paraconsistent Resolution for Four-Valued Description Logics. Proceedings of the 2007 International Workshop on Description Logics (DL2007).
https://corescholar.libraries.wright.edu/cse/74
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
Proceedings of the International Workshop on Description Logics, Brixen-Bressanone, Italy, June 8-10, 2007.