Inconsistent-Tolerant DL-Lite Reasoning: An Argumentative Approach

MARTIN MOGUILLANSKY; RENATA WASSERMANN

Pasadena

Workshop; Automated Reasoning about Context and Ontology Evolution - ARCOE 2009; 2009

The International Joint Conferences on Artificial Intelligence (IJCAI) and The Association for the Advancement of Artificial Intelligence (AAAI)

This article is devoted to the problem of reasoning over inconsistent ontologies expressed through the description logic DL-Lite. A specialized argumentation machinery is proposed through which DL-Lite knowledge bases (KB) may be reinterpreted à la argumentation. This proposal aims at handling ontology evolution with no need of consistency restoration. Argumentation techniques applied to reasoning over ontologies appear as a promissory fusion to work in certain domains in which it is mandatory to avoid loosing any kind of knowledge disregarding inconsistencies. Therefore, we provide the theory for an inconsistent-tolerant argumentation DL-Lite reasoner, and finally the matter of ontology dynamics is reintroduced.