QQ客服 官方微博 反馈留言

	AN APPROACH TO GENERATING ARGUMENTS OVER DL-LITE ONTOLOGIES
	Zhang, Xiaowang ; Lin, Zuoquan
	2013
关键词	DL-Lite ontology argument focal graph support path OWL COMPLEXITY FAMILY
英文摘要	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 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.; http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000327410900002&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=8e1609b174ce4e31116a60747a720701 ; Computer Science, Artificial Intelligence; SCI(E); EI; 0; ARTICLE; 5; 924-948; 32
语种	英语
出处	SCI ; EI
出版者	computing and informatics
内容类型	其他
源URL	[http://hdl.handle.net/20.500.11897/392204]
专题	数学科学学院
推荐引用方式 GB/T 7714	Zhang, Xiaowang,Lin, Zuoquan. AN APPROACH TO GENERATING ARGUMENTS OVER DL-LITE ONTOLOGIES. 2013-01-01.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。