Document Server@UHasselt >
Research >
Research publications >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1942/14450

Title: An argumentation framework for description logic ontology reasoning and management
Authors: Zhang, Xiaowang
Lin, Zuoquan
Issue Date: 2013
Abstract: 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.
Notes: This paper is an extended version of previous proceedings DL 2009 and CAAI 2010.
URI: http://hdl.handle.net/1942/14450
DOI: 10.1007/s10844-012-0230-7
ISI #: 000319070800001
ISSN: 0925-9902
Category: A1
Type: Journal Contribution
Validation: ecoom, 2014
Appears in Collections: Research publications

Files in This Item:

Description SizeFormat
N/A538.81 kBAdobe PDF

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.