带限定性数目约束的描述逻辑ALCQDES

• 作者: 李剪 樊红杰 王红 王静
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 描述逻辑 可拓集合 限定性数目约束 可拓学 模糊知识 动态知识
• 年，卷（期）: 2014,（2）
• 所属期刊栏目: 开发研究与工程应用
• 页码范围: 263-267,270
• 页数: 6页
• 分类号: TP311
• 字数: 5774字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2014.02.057

摘要

传统描述逻辑 ALCQ 以经典集合作为集合论基础，不能描述复杂的、模糊的、动态的知识。为此，引入可拓学中的可拓集合代替经典集合，作为描述逻辑 ALCQ 的集合论基础，提出一种新的带限定性数目约束的可拓描述逻辑 ALCQDES。定义 ALCQDES的概念、关系、TBox 公理、ABox 断言的语法形式，根据可拓集合和传统描述逻辑的语义解释方法，给出描述逻辑 ALCQDES 中的概念≥kR.C 和≤kR.C 的语义解释。研究描述逻辑 ALCQDES 的基本推理问题，给出一致性检测算法 TableauDES*的≥kR.C 和≤kR.C的断言扩充规则。与传统描述逻辑 ALCQ 和模糊扩展描述逻辑 FALCQ 相比，通过可拓集合扩展的描述逻辑 ALCQDES 具有更强的描述知识的能力。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王红	中国民航大学计算机科学与技术学院	45	320	11.0	16.0
2	王静	中国民航大学计算机科学与技术学院	41	100	5.0	8.0
3	李剪	中国民航大学计算机科学与技术学院	3	7	1.0	2.0
4	樊红杰	中国民航大学计算机科学与技术学院	4	10	2.0	3.0