首页 > 期刊 > 人文社会科学 > 哲学与人文科学 > 世界文学 > 贵州工程应用技术学院学报 > 描述逻辑FL0循环术语集的保守扩充 【正文】

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

聂登国; 王勇红 贵州工程应用技术学院理学院; 贵州毕节551700; 江西师范高等专科学校数学学院; 江西鹰潭335000
  • 保守扩充
  • 描述逻辑
  • 本体
  • 包含推理

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

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

投稿咨询 免费咨询 杂志订阅

我们提供的服务

服务流程: 确定期刊 支付定金 完成服务 支付尾款 在线咨询