| 描述逻辑εL的二阶线性推理机制 |
| |
| 引用本文： | 王驹,陈光喜,余泉.描述逻辑εL的二阶线性推理机制[J].软件学报,2017,28(2):216-233. |
| |
| 作者姓名： | 王驹 陈光喜 余泉 |
| |
| 作者单位： | 广西可信软件重点实验室(桂林电子科技大学), 广西 桂林 541004,广西可信软件重点实验室(桂林电子科技大学), 广西 桂林 541004,黔南民族师范学院 数学系, 贵州 都匀 558000 |
| |
| 基金项目： | 国家自然科学基金（61463044，61363030）；广西自然科学基金（2013GXNSFAA019330）；广西可信软件重点实验室开放基金；桂林电子科技大学计算机软件创新团队基金（kx201419）；广东省数学教育工程技术研究中心开放基金 |
| |
| 摘 要： | 基于描述逻辑的本体的保守扩充理论、模块抽取理论、通用模块构建理论及其相关算法是本体工程中本体构建、本体融合及重构的核心理论与工具.国际上该领域已有Lutz等人使用形式构模方法证明了ALC的保守扩充判定算法复杂度是二阶时间指数的，而轻量级的系统εL的算法复杂度是一阶时间指数的.但当前文献中的形式构模方法思路复杂，难以把握，几乎不能在实用的工程层面上实现.提出一种面向轻量级的描述逻辑系统家族（DL-Lite family）的统一的二阶线性推理机制，并给出该推理机制的完备性证明.该方法直观，思路清晰，从而在工程中容易实现.同时，该方法对εL，FL0，FLε，vL等DL-Lite家族的所有系统都有效.在该线序推理系统下，可以根据“空间换时间”的原则，设计和实现关于保守扩充判定的图推理机制，其复杂性（相对于空间的大小）是多项式的.
|
| 关 键 词： | 描述逻辑 保守扩充 模块本体抽取 二阶线性推理机制 DL-Lite家族 |
| 收稿时间： | 2015/8/20 0:00:00 |
| 修稿时间： | 2015/10/17 0:00:00 |
|
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
