An argumentation-based approach to handling inconsistencies in DL-Lite

Authors:
Xiaowang Zhang;Zuoquan Lin
Affiliations:
School of Mathematical Sciences, Peking University, Beijing, China and School of Mathematical Sciences, Anhui University, Hefei, China;School of Mathematical Sciences, Peking University, Beijing, China
Venue:
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Year:
2009

Citing 6
Cited 2

Argumentative logics: reasoning with classically inconsistent information

Data & Knowledge Engineering
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games

Artificial Intelligence
Forgetting in Managing Rules and Ontologies

WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
Focused search for arguments from propositional knowledge

Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Reasoning with inconsistent ontologies

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
An argumentation ontology for DIstributed, loosely-controlled and evolving engineering processes of oNTologies (DILIGENT)

ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications

Argumentation-Based reasoning with inconsistent knowledge bases

AI'10 Proceedings of the 23rd Canadian conference on Advances in Artificial Intelligence
An argumentation framework for non-monotonic reasoning in description logic

RSKT'12 Proceedings of the 7th international conference on Rough Sets and Knowledge Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.