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 Hunters 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.
argumentation description logic ontology handling inconsistency ontology management paraconsistent reasoning