|Title||Paraconsistent Resolution for Four-valued Description Logics|
|Publication Type||Conference Paper|
|Year of Publication||2007|
|Authors||Yue Ma, Zuoquan Lin, Pascal Hitzler|
|Publisher||the 2007 International Workshop on Description Logics (DL-2007)|
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.