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