描述逻辑FL_0循环术语集的保守扩充

作者：聂登国; 王勇红

来源：贵州工程应用技术学院学报, 2019, 37(03): 20-24.

• 保守扩充
• 描述逻辑
• 本体
• 包含推理

本体的保守扩充是本体构建、本体重构的核心理论与工具。本体把领域知识形式化,实现人机之间的知识共享及知识重用。基于描述逻辑的本体保守扩充是目前研究者们所关注的焦点。卢茨(Lutz)等提出的典范模型(Canonical Model)方法解决了非循环描述逻辑EL的保守扩充问题。研究了描述逻辑FL0的术语集的保守扩充问题,给出描述逻辑FL0循环术语集在最大不动点模型下的保守扩充算法。

• 单位
  江西师范高等专科学校; 数学学院; 贵州工程应用技术学院