QQ客服 官方微博 反馈留言

	Paraconsistent resolution for four-valued description logics
	Ma, Yue ; Hitzler, Pascal ; Lin, Zuoquan
	2007
英文摘要	In this paper, we propose an approach to translating any ALC ontology (possible inconsistent) into a logically consistent set of disjunctive datalog rules. We achieve this in two steps: First we give a simple way to make any ALC based ontology 4-valued satisfiable, and then we study a sound and complete paraconsistent ordered-resolution decision procedure for our 4-valued ALC. Our approach can be viewed as a paraconsistent version of KAON2 algorithm. ? 2007 by Bozen-Bolzano University Press.; EI; 0
语种	英语
内容类型	其他
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/328462]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	Ma, Yue,Hitzler, Pascal,Lin, Zuoquan. Paraconsistent resolution for four-valued description logics. 2007-01-01.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

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