描述逻辑εL的二阶线性推理机制

• 作者: 余泉 王驹 陈光喜
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 描述逻辑 保守扩充 模块本体抽取 二阶线性推理机制 DL-Lite家族
• 年，卷（期）: 2017,（2）
• 所属期刊栏目: 模式识别与人工智能
• 页码范围: 216-233
• 页数: 18页
• 分类号: TP181
• 字数: 19226字
• 语种: 中文
• DOI: 10.13328/j.cnki.j0s.004950

摘要

基于描述逻辑的本体的保守扩充理论、模块抽取理论、通用模块构建理论及其相关算法是本体工程中本体构建、本体融合及重构的核心理论与工具.国际上该领域已有Lutz等人使用形式构模方法证明了ALC的保守扩充判定算法复杂度是二阶时间指数的,而轻量级的系统εL的算法复杂度是一阶时间指数的.但当前文献中的形式构模方法思路复杂,难以把握,几乎不能在实用的工程层面上实现.提出一种面向轻量级的描述逻辑系统家族(DL-Lite family)的统一的二阶线性推理机制,并给出该推理机制的完备性证明.该方法直观,思路清晰,从而在工程中容易实现.同时,该方法对εL,FL0,FLε,vL等DL-Lite家族的所有系统都有效.在该线序推理系统下,可以根据“空间换时间”的原则,设计和实现关于保守扩充判定的图推理机制,其复杂性(相对于空间的大小)是多项式的.