图书介绍

面向语义WEB的知识管理技术【2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载】

漆桂林，黄智生，杜剑峰编著著
出版社：北京：高等教育出版社
ISBN：9787040437003
出版时间：2015
标注页数：179页
文件大小：81MB
文件页数：192页
主题词：语义网络－计算机应用－知识管理

PDF下载

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

点击复制MD5值：4e3032a94c9a422af36a4ebfa8497756

下载说明

面向语义WEB的知识管理技术PDF格式电子书版下载

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

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

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

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

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

图书目录

第一章导论1

1.1 语义万维网与语义技术1

1.2 本体与本体工程4

1.3 基于本体的知识管理6

1.4 本章小结7

参考文献7

第二章本体语言与逻辑基础9

2.1 本体语言9

2.2 描述逻辑10

2.2.1 描述逻辑ACC10

2.2.2 描述逻辑SHOTN（D）12

2.2.3 描述逻辑的命名规范13

2.2.4 描述逻辑SROTQ15

2.2.5 描述逻辑SHTQ17

2.3 OWL的模型论语义18

2.3.1 SROTQ的外延语义18

2.3.2 通过一阶谓词逻辑定义SROTQ语义22

2.4 OWL的推理问题24

2.4.1 推理问题24

2.4.2 计算复杂性26

2.5 OWL的推理方法27

2.5.1 基于表运算的方法27

2.5.2 基于一阶逻辑转换的方法30

2.5.3 基于结论推断的方法30

2.5.4 基于一阶查询重写的方法31

2.5.5 基于Datalog转换的方法33

2.6 本章小结34

参考文献34

第三章本体调试37

3.1 基本概念37

3.1.1 不一致性和不协调性37

3.1.2 基于描述逻辑的本体调试基本概念38

3.2 本体调试算法41

3.3 本体调试的优化方法45

3.3.1 基于模块化的优化算法45

3.3.2 其他优化方法46

3.4 本体调试算法相关研究46

3.5 本体调试系统48

3.6 本章小结49

参考文献49

第四章本体演化51

4.1 本体演化的定义及主要过程51

4.1.1 变化表示52

4.1.2 变化语义53

4.1.3 变化传播54

4.1.4 变化实施54

4.1.5 变化生效55

4.1.6 变化发现55

4.2 基于描述逻辑的本体修正56

4.2.1 本体修正与信念修正57

4.2.2 基于描述逻辑的本体修正的定义57

4.2.3 描述逻辑中的本体修正方法60

4.3 本体演化的系统66

4.4 本章小结67

参考文献67

第五章本体融合69

5.1 本体映射69

5.1.1 元素层映射技术70

5.1.2 结构层映射技术71

5.2 本体映射的基本框架72

5.3 本体映射的修复74

5.3.1 本体映射的不一致性74

5.3.2 本体映射的修复算子75

5.3.3 本体映射的修复算法76

5.4 本体映射及映射修复系统78

5.5 本章小结79

参考文献79

第六章本体的不一致性推理83

6.1 本体的不一致性推理现状83

6.2 基于选择函数的不一致容忍推理方法85

6.2.1 形式化定义85

6.2.2 选择函数86

6.2.3 基于语法相关性的选择函数87

6.3 基于最大一致子集的不一致容忍推理方法89

6.4 基于四值逻辑的不一致容忍推理方法93

6.5 本体的不一致推理系统95

6.6 本章小结96

参考文献97

第七章本体版本化98

7.1 概述98

7.2 基于时态逻辑的多版本本体逻辑系统100

7.2.1 时态逻辑100

7.2.2 版本空间101

7.2.3 时态逻辑系统LTLm101

7.2.4 LTLm作为查询语言103

7.2.5 直接描述版本号105

7.3 基于混合逻辑的多版本本体逻辑系统106

7.3.1 混合逻辑106

7.3.2 上版查询107

7.3.3 变化分析109

7.4 多版本本体管理系统MORE110

7.4.1 MORE系统功能110

7.4.2 TELL语言111

7.4.3 ASK语言115

7.4.4 回答语言122

7.4.5 组合概念查询124

7.4.6 混合逻辑查询127

7.5 本章小结129

参考文献129

第八章本体模块化131

8.1 模块化的目标131

8.1.1 提高数据查询和本体推理的可扩展性131

8.1.2 提高演变和维护的可扩展性132

8.1.3 降低设计的难度132

8.1.4 提高可理解性132

8.1.5 实现上下文相关和个性化133

8.1.6 提高可重用性133

8.2 模块化的策略133

8.2.1 分离或重叠的模块133

8.2.2 语义驱动的策略134

8.2.3 结构驱动的策略135

8.2.4 基于机器学习的策略135

8.2.5 模块化的监察和调整136

8.3 基于逻辑的模块定义和抽取方法136

8.3.1 基于签名的模块136

8.3.2 基于局部性的模块138

8.3.3 维持辩解的模块146

8.3.4 基于不可区分性的模块156

8.4 本章小结162

参考文献163

第九章基于本体的知识管理应用165

9.1 本体与语义技术的应用165

9.1.1 语义技术在生命科学与医学上的应用165

9.1.2 语义技术在智能交通上的应用166

9.2 一个本体管理的典型应用167

9.3 本章小结178

参考文献178

附录常用术语缩略词179