Contrary description logic： Gentzen deduction system
文献类型：期刊论文
| 作者 | Li Wei1; Sui Yuefei2; Luo Jie1; Chen Bo2 |
| 刊名 | 中国科学：信息科学（英文版）
 |
| 出版日期 | 2017 |
| 卷号 | 60.0期号:011页码:112103 |
| 关键词 | 描述逻辑 演绎系统 构造函数 金 语义 |
| ISSN号 | 1674-733X |
| 英文摘要 | 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. |
| 语种 | 英语 |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/36359]  |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 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. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。