Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/15907
Title: | An Approach to Generating Arguments over DL-Lite Ontologies | Authors: | ZHANG, Xiaowang Lin, Zuoquan |
Issue Date: | 2013 | Source: | COMPUTING AND INFORMATICS, 32 (5), p. 924-948 | Abstract: | Argumentation frameworks for ontology reasoning and management have received extensive interests in the field of artificial intelligence in recent years. As one of the most popular argumentation frameworks, Besnard and Hunter's framework is built on arguments in the form of łangle Phi, phi rangle where Phi is consistent and minimal for entailing phi. However, the problem of generating arguments over ontologies is still open. This paper presents an approach to generating arguments over DL-Lite ontologies by searching support paths in focal graphs. Moreover, theoretical results and examples are provided to ensure the correctness of this approach. Finally, we show that approach has the same complexity as propositional revision. | Notes: | [Xiaowang Zhang] Hasselt University, Diepenbeek 3590, Belgium; [Zuoquan Lin] Peking University, Beijing 100871, P. R. China. | Keywords: | DL-Lite, ontology, argument, focal graph, support path | Document URI: | http://hdl.handle.net/1942/15907 | Link to publication/dataset: | http://cai.type.sk/content/2013/5/an-approach-to-generating-arguments-over-dl-lite-ontologies/ | ISSN: | 1335-9150 | e-ISSN: | 1335-9150 | ISI #: | 000327410900002 | Rights: | Copyright: Publishers of Computing and Informatics. | Category: | A1 | Type: | Journal Contribution | Validations: | ecoom 2014 |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
CAI874.pdf | Published version | 485.2 kB | Adobe PDF | View/Open |
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.