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

作者：Zhang Xiaowang^*; Lin Zuoquan

来源：32nd Annual German Conference on Artificial Intelligence, 2009-09-15 to 2009-09-18.

As a tractable description logic, DL-Lite provides it 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 clown 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.

• 出版日期2009
• 单位北京大学