An Argumentation-Based Approach to Handling Inconsistencies in DL-Lite

As a tractable description logic, DL-Lite provides a good compromise between expressive power and computational complexity of inference. It is therefore important to study ways of handling inconsistencies in tractable DL-Lite based ontologies, as classical description logics break down in the presence of inconsistent knowledge bases. In this paper, we present an argumentation-based approach to dealing with inconsistent DL-Lite based ontologies. Furthermore, we mainly develop a graph-based algorithm to implement paraconsistent reasoning in DL-Lite.

• Type: Conference
• Year: 2009
• Where: KI
• Authors: Xiaowang Zhang, Zuoquan Lin
• Keywords: Artificial Intelligence, Description Logics, DL-Lite Based Ontologies, Inconsistent Knowledge Bases, KI 2009