描述逻辑关于CBox的推理复杂性

• 作者: 于洋 王戟 陈火旺
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 描述逻辑 基数约束 计算复杂性
• 年，卷（期）: 2008,（2）
• 所属期刊栏目: 研究与实现
• 页码范围: 131-134
• 页数: 4页
• 分类号: TP181
• 字数: 5268字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2008.02.039

摘要

本文证明基础描述逻辑(ALC)关于CBox推理是非确定指教完全的.这个结论说明了描述逻辑关于CBox推理是一致地困难.本文还指出了哪些DL对于基数约束的数字编码是敏感的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王戟	国防科技大学计算机学院	41	880	14.0	29.0
2	陈火旺	国防科技大学计算机学院	56	1155	18.0	33.0
3	于洋	中国国防科技信息中心六室	4	11	2.0	3.0