带限定性数目约束的描述逻辑ALCQ_(DES) |
| |
引用本文: | 王 静,李 剪,樊红杰,等.带限定性数目约束的描述逻辑ALCQ_(DES)[J].计算机工程,2014(2):263-266,270. |
| |
作者姓名: | 王 静 李 剪 樊红杰 等 |
| |
作者单位: | 中国民航大学计算机科学与技术学院,天津300300 |
| |
基金项目: | 国家自然科学基金与中国民用航空总局联合基金资助项(61079007);中国民航大学科研启动基金资助项目(09QD04X);中国民航大学重大预研基金资助项目 |
| |
摘 要: | 传统描述逻辑ALCQ以经典集合作为集合论基础,不能描述复杂的、模糊的、动态的知识。为此,引入可拓学中的可拓集合代替经典集合,作为描述逻辑ALCQ的集合论基础,提出一种新的带限定性数目约束的可拓描述逻辑ALCQDES。定义ALCQDES的概念、关系、TBox公理、ABox断言的语法形式,根据可拓集合和传统描述逻辑的语义解释方法,给出描述逻辑ALCQDES中的概念≥kR.C和≤kR.C的语义解释。研究描述逻辑ALCQDES的基本推理问题,给出一致性检测算法TableauDES*的≥kR.C和≤kR.C的断言扩充规则。与传统描述逻辑ALCQ和模糊扩展描述逻辑FALCQ相比,通过可拓集合扩展的描述逻辑ALCQDES具有更强的描述知识的能力。
|
关 键 词: | 描述逻辑 可拓集合 限定性数目约束 可拓学 模糊知识 动态知识 |
本文献已被 CNKI 维普 等数据库收录! |
|