J4 ›› 2008, Vol. 30 ›› Issue (2): 131-134.
• 论文 • 上一篇 下一篇
于洋[1] 王戟[2] 陈火旺[2]
出版日期:
发布日期:
Online:
Published:
摘要：
本文证明基础描述逻辑ALC关于CBox推理是非确定指数完全的。这个结论说明了描述逻辑关于CBox推理是一致地困难。本文还指出了哪些DL对于基数约束的数字编码是敏感的
关键词: 描述逻辑 基数约束 计算复杂性
Abstract:
This paper proves that the complexity of reasoning in the basic description logic （DL） ALC w. r. t. CBox is NExpTime-complete. This means that the reasoning in DL w. r. t. CBox is commonly difficult. Furthermore, we point out what kind of DLs is sensitive to the coding of number in cardinality restrictions.
Key words: description logic, cardinality restriction, computational complexity
于洋[1] 王戟[2] 陈火旺[2]. 描述逻辑关于CBox的推理复杂性[J]. J4, 2008, 30(2): 131-134.
0 / / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://joces.nudt.edu.cn/CN/
http://joces.nudt.edu.cn/CN/Y2008/V30/I2/131
