Contrary description logic: Gentzen deduction system

doi:10.1007/s11432-015-9050-6

	Contrary description logic: Gentzen deduction system
	Li, Wei 1; Sui, Yuefei 2; Luo, Jie 1; Chen, Bo 2
	2017-11-01
发表期刊	SCIENCE CHINA-INFORMATION SCIENCES
ISSN	1674-733X
卷号	60 期号:11 页码:9
摘要	Traditional description logics are based on complementary rather than contrary concepts. This work proposes a contrary description logic based on the contrary concept constructors similar to, (sic) (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.
关键词	description logics contradictory contrary soundness completeness
DOI	10.1007/s11432-015-9050-6
收录类别	SCI
语种	英语
WOS研究方向	Computer Science
WOS类目	Computer Science, Information Systems
WOS记录号	WOS:000417334600002
出版者	SCIENCE PRESS
引用统计
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/5520
专题	中国科学院计算技术研究所期刊论文_英文
通讯作者	Sui, Yuefei
作者单位	1.Beihang Univ, State Key Lab Software Dev Environm, Beijing 100191, Peoples R China 2.Chinese Acad Sci, Inst Comp Technol, Key Lab Intelligent Informat Proc, Beijing 100190, Peoples R China
推荐引用方式 GB/T 7714	Li, Wei,Sui, Yuefei,Luo, Jie,et al. Contrary description logic: Gentzen deduction system[J]. SCIENCE CHINA-INFORMATION SCIENCES,2017,60(11):9.
APA	Li, Wei,Sui, Yuefei,Luo, Jie,&Chen, Bo.(2017).Contrary description logic: Gentzen deduction system.SCIENCE CHINA-INFORMATION SCIENCES,60(11),9.
MLA	Li, Wei,et al."Contrary description logic: Gentzen deduction system".SCIENCE CHINA-INFORMATION SCIENCES 60.11(2017):9.