An Approach to Generating Arguments over DL-Lite Ontologies
Xiaowang Zhang; Hasselt University ; Zuoquan Lin; Peking University
Computing and Informatics, Tome 31 (2013) no. 6, / Harvested from Computing and Informatics
Text on Computing and Informatics
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 form of where Phi is consistent and minimal for entailing phi. However, the problem about 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 this approach has the same complexity as propositional revision.
Publié le : 2013-11-18
Classification:  Theoretical Foundations,  Description Logic, DL-Lite; ontology; argument; focal graph; support path,  Mathematical logic and foundations 
@article{cai874,
     author = {Xiaowang Zhang; Hasselt University and Zuoquan Lin; Peking University},
     title = {An Approach to Generating Arguments over DL-Lite Ontologies},
     journal = {Computing and Informatics},
     volume = {31},
     number = {6},
     year = {2013},
     language = {en},
     url = {http://dml.mathdoc.fr/item/cai874}
}

Xiaowang Zhang; Hasselt University; Zuoquan Lin; Peking University. An Approach to Generating Arguments over DL-Lite Ontologies. Computing and Informatics, Tome 31 (2013) no. 6, . http://gdmltest.u-ga.fr/item/cai874/