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.

• Type: Conference
• Year: 2007
• Where: DLOG
• Authors: Yue Ma, Pascal Hitzler, Zuoquan Lin
• Keywords: ALC Based Ontology, ALC Ontology, Automated Reasoning, Disjunctive Datalog Rules, DLOG 2007