Contrary description logic: Gentzen deduction system
文献类型：期刊论文
| 作者 | Li, Wei2; Sui, Yuefei1; Luo, Jie2; Chen, Bo1 |
| 刊名 | SCIENCE CHINA-INFORMATION SCIENCES
 |
| 出版日期 | 2017-11-01 |
| 卷号 | 60期号:11页码:9 |
| 关键词 | description logics contradictory contrary soundness completeness |
| ISSN号 | 1674-733X |
| DOI | 10.1007/s11432-015-9050-6 |
| 英文摘要 | 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. |
| WOS研究方向 | Computer Science |
| 语种 | 英语 |
| WOS记录号 | WOS:000417334600002 |
| 出版者 | SCIENCE PRESS |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/5519]  |
| 专题 | 中国科学院计算技术研究所期刊论文_英文 |
| 通讯作者 | Sui, Yuefei |
| 作者单位 | 1.Chinese Acad Sci, Inst Comp Technol, Key Lab Intelligent Informat Proc, Beijing 100190, Peoples R China 2.Beihang Univ, State Key Lab Software Dev Environm, Beijing 100191, 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. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。