Contrary description logic： Gentzen deduction system

	Contrary description logic： Gentzen deduction system
	Li Wei 1; Sui Yuefei 2; Luo Jie 1; Chen Bo 2
	2017
发表期刊	中国科学：信息科学（英文版）
ISSN	1674-733X
卷号	60.0 期号:011 页码:112103
摘要	Traditional description logics are based on complementary rather than contrary concepts. This work proposes a contrary description logic based on the contrary concept constructors ~, （instead of -）. A Gentzen-type deduction system is applied to make the system sound and complete with the three-valued semantics of contrary description logic.
关键词	描述逻辑演绎系统构造函数金语义
语种	英语
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/36360
专题	中国科学院计算技术研究所期刊论文_中文
作者单位	1.北京航空航天大学 2.中国科学院计算技术研究所
推荐引用方式 GB/T 7714	Li Wei,Sui Yuefei,Luo Jie,等. Contrary description logic： Gentzen deduction system[J]. 中国科学：信息科学（英文版）,2017,60.0(011):112103.
APA	Li Wei,Sui Yuefei,Luo Jie,&Chen Bo.(2017).Contrary description logic： Gentzen deduction system.中国科学：信息科学（英文版）,60.0(011),112103.
MLA	Li Wei,et al."Contrary description logic： Gentzen deduction system".中国科学：信息科学（英文版） 60.0.011(2017):112103.