描述逻辑εL的二阶线性推理机制
大小：2.21 MB 人气： 2018-01-02 需要积分：2
标签：线性(25020)
基于描述逻辑的本体的保守扩充理论、模块抽取理论、通用模块构建理论及其相关算法是本体工程中本体构建、本体融合及重构的核心理论与工具．国际上该领域已有Lutz等人使用形式构模方法证明了ALC的保守扩充判定算法复杂度是二阶时间指数的，而轻量级的系统εL的算法复杂度是一阶时间指数的．但当前文献中的形式构模方法思路复杂，难以把握，几乎不能在实用的工程层面上实现．提出一种面向轻量级的描述逻辑系统家族（DL-Lite family）的统一的二阶线性推理机制，并给出该推理机制的完备性证明．该方法直观，思路清晰，从而在工程中容易实现．同时，该方法对εL，FLo，***，vL等DL-Lite冢族的所有系统都有效，在该线序推理系统下，可以根据“空间换时间”的原则，设计和实现关于保守扩充判定的图推理机制，其复杂性（相对于空间的大小）是多项式的．
非常好我支持^.^
(0) 0%
不好我反对
(0) 0%
下载地址
描述逻辑εL的二阶线性推理机制下载
相关电子资料下载
- 不同的人工神经网络模型各有什么作用? 126
- rnn神经网络基本原理 233
- bp神经网络算法过程包括 106
- 反向传播神经网络建模基本原理 166
- 反向传播神经网络概念是什么 169
- 反向传播神经网络分为多少层 162
- bp神经网络模型拓扑结构包括哪些 115
- 卷积神经网络激活函数的作用 80
- 数学建模神经网络模型的优缺点有哪些 299
- 什么神经网络模型适合做分类 114