An Argumentation Framework for Non-monotonic Reasoning in Description Logic

Abstract

With the development of semantic web technology, ontology level reasoning among various agents has become an important topic. To handle the inconsistency between different knowledge bases, a non-monotonic reasoning method is always in need. However, for most approaches to non-monotonic ontology reasoning, new mechanism must be added into the reasoning procedure. In this paper, we will try to perform a type of ontology level non-monotonic reasoning by using argumentation theory, and show that such argumentation framework can be completely carried out under description logic. Also, the framework we present can be used for other types of reasoning, for example, inductive reasoning.