Sciweavers

KI
2009
Springer

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

13 years 10 months ago
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.
Xiaowang Zhang, Zuoquan Lin
Added 27 May 2010
Updated 27 May 2010
Type Conference
Year 2009
Where KI
Authors Xiaowang Zhang, Zuoquan Lin
Comments (0)