QQ客服 官方微博 反馈留言

	Quasi-Classical Description Logic
	Zhang, Xiaowang ; Lin, Zuoquan
	2012
关键词	Ontology description logic quasi-classical logic paraconsistent logic multiple-valued Logic inconsistency-tolerant reasoning tableau algorithm HANDLING INCONSISTENCY PROPOSITIONAL LOGIC INFORMATION ALGORITHMS ALC OWL
英文摘要	In this paper, we present a paraconsistent description logic based on quasi-classical logic. Compared to the four-valued description logic, quasi-classical description logic satisfies all of the three basic inference rules (i.e., modus ponens, modus tollens and disjunctive syllogism) so that the inference ability of quasi-classical description logic is closer to that of classical logic. Quasi-classical description logic combines three inclusions (i.e., material inclusion, internal inclusion and strong inclusion) of four-valued description logic so that quasi-classical description logic satisfies the intuitive equivalence. Moreover, we develop a terminable, sound and complete tableau algorithm for quasi-classical description logic. As an important result, the complexity of reasoning problems in quasi-classical description logic is proved to be no higher than that of reasoning problems in description logic.; Computer Science, Artificial Intelligence; Computer Science, Theory & Methods; Logic; SCI(E); EI; 2; ARTICLE; 3-4; 291-327; 18
语种	英语
出处	EI ; SCI
内容类型	其他
源URL	[http://hdl.handle.net/20.500.11897/393971]
专题	数学科学学院
推荐引用方式 GB/T 7714	Zhang, Xiaowang,Lin, Zuoquan. Quasi-Classical Description Logic. 2012-01-01.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

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