QQ客服 官方微博 反馈留言

	Algorithms for paraconsistent reasoning with OWL
	Ma, Yue ; Hitzler, Pascal ; Lin, Zuoquan
	2007
关键词	LOGICS
英文摘要	In an open, constantly changing and collaborative environment like the forthcoming Semantic Web, it is reasonable to expect that knowledge sources will contain noise and inaccuracies. Practical reasoning techniques for ontologies therefore will have to be tolerant to this kind of data, including the ability to handle inconsistencies in a meaningful way. For this purpose, we employ paraconsistent reasoning based on four-valued logic, which is a classical method for dealing with inconsistencies in knowledge bases. Its transfer to OWL DL, however, necessitates the making of fundamental design choices in dealing with class inclusion, which has resulted in differing proposals for paraconsistent description logics in the literature. In this paper, we build on one of the more general approaches which due to its flexibility appears to be most promising for further investigations. We present two algorithms suitable for implementation, one based on a preprocessing before invoking a classical OWL reasoner, the other based on a modification of the KAON2 transformation algorithms. We also report on our implementation, called ParOWL.; http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000247066300029&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=8e1609b174ce4e31116a60747a720701 ; Computer Science, Artificial Intelligence; Computer Science, Theory & Methods; EI; CPCI-S(ISTP); 24
语种	英语
出处	SCI ; EI
内容类型	其他
源URL	[http://hdl.handle.net/20.500.11897/406546]
专题	数学科学学院
推荐引用方式 GB/T 7714	Ma, Yue,Hitzler, Pascal,Lin, Zuoquan. Algorithms for paraconsistent reasoning with OWL. 2007-01-01.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

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