An argumentation framework for description logic ontology reasoning and management

This paper presents an argumentation framework for reasoning and management in (inconsistent or incoherent) description logic ontologies which contain conflicts. First, a new argumentation framework obtained by combining Besnard and Hunter's framework with binary argumentation is introduced to frame the inner relation over axioms in an ontology. A dialogue mechanism, based on this framework, is then presented to derive meaningful consequences from inconsistent ontologies. Three novel operators are developed to repair those axioms or assertions which cause inconsistency or incoherency of ontologies by using this framework. Within this framework, an inconsistency is neither directly assigned a contradictory value nor roughly removed but further analyzed and evaluated. Because of this, reasoning within it satisfies some important logical properties such as consistency-preserving and justifiability. Moreover, it provides an alternative scenario for maintaining consistency and coherency of ontologies with giving consideration to both semantics and syntax. Thus the repaired results by using the proposed framework not only keep the closer semantics but also preserve the syntactic structure of original ontologies.