图书介绍

开放环境下本体演化方法2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

宋英杰，刘亚清，张斌，辛晓著
出版社：北京：人民邮电出版社
ISBN：9787115469076
出版时间：2017
标注页数：158页
文件大小：16MB
文件页数：169页
主题词：电子计算机－研究

PDF下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢] [在线试读本书] [在线获取解压码]

点击复制MD5值：3142ded711713328d458af5887ff4248

下载说明

开放环境下本体演化方法PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载详情点击-查看共享计划

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数要大于标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

图书目录

第1章绪论1

1.1 背景知识1

1.2 国内外相关研究4

1.2.1 本体演化及其过程4

1.2.2 开放环境下本体演化研究的现状11

1.3 当前存在的问题17

1.4 本书内容组织18

第2章本体演化技术概述21

2.1 描述逻辑与本体21

2.2 OWL语言的逻辑基础24

2.3 本体推理任务27

2.4 本体演化方法31

2.5 本章小结35

第3章基于Alloy的本体推理36

3.1 背景知识36

3.2 Alloy语言37

3.3 OWL到Alloy转换过程38

3.3.1 解析过程39

3.3.2 生成Alloy模型41

3.3.3 实例分析46

3.4 Alloy Analyzer支持的OWL本体推理47

3.4.1 基于Alloy的TBox推理47

3.4.2 基于Alloy的ABox推理51

3.5 实验数据对比53

3.6 本章小结55

第4章改进的基于SAT的本体推理56

4.1 引言56

4.2 基于SAT的本体一致性检测框架57

4.3 中间语言定义58

4.3.1 本体可满足性问题58

4.3.2 中间语言定义60

4.3.3 抽象语法61

4.3.4 语义61

4.4 OWL语言与中间语言之间的转换规则63

4.5 实例分析66

4.6 实验对比分析69

4.7 极小不可满足子句集MU提取72

4.8 本章小结75

第5章本体演化变更序列的冲突检测算法76

5.1 引言76

5.2 基本概念77

5.3 冲突定义及检测84

5.3.1 内部冲突84

5.3.2 直接冲突86

5.3.3 不一致冲突88

5.4 实验分析95

5.5 本章小结97

第6章开放环境下本体演化变更序列语义冲突检测算法98

6.1 引言98

6.2 冲突变更序列矩阵模型99

6.3 求解最小碰集序列104

6.4 最小碰集概率排序107

6.5 实例分析109

6.6 本章小结113

第7章基于概念格的本体版本差异检测方法114

7.1 引言114

7.2 概念格模型与版本格115

7.2.1 概念格相关概念115

7.2.2 版本空间与版本格117

7.3 基于版本格的版本差异检测算法118

7.3.1 无参差异检测119

7.3.2 有参差异检测124

7.4 相关工作127

7.5 本章小结128

第8章开放环境下本体演化原型系统的设计与实现129

8.1 开放环境下本体演化原型系统架构129

8.2 非标准推理模块133

8.3 冲突检测模块136

8.4 语义冲突诊断模块137

8.5 版本差异检测器139

8.6 本章小结140

参考文献141