图书介绍
语义Web技术基础PDF|Epub|txt|kindle电子书版本网盘下载
- （德）希茨利尔等著；俞勇等译 著
- 出版社： 北京：清华大学出版社
- ISBN：9787302289692
- 出版时间：2012
- 标注页数：294页
- 文件大小：173MB
- 文件页数：315页
- 主题词：语义网络－教材
PDF下载
下载说明
语义Web技术基础PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第1章 语义的探求1
1.1 建立模型2
1.2 用知识计算4
1.3 交流信息6
1.4 语义万维网技术8
1.5 进一步阅读10
第2章 用RDF和RDF模式表示的简单本体12
2.1 RDF简介13
2.1.1 图，而不是树13
2.1.2 RDF中的名称：URI13
2.1.3 RDF中的数值：文字14
2.2 RDF语法16
2.2.1 从图到三元组16
2.2.2 简单的三元组语法：N3、N-Triple和Turtle16
2.2.3 RDF的XML序列化18
2.2.4 在XML中的RDF：URI与其他问题20
2.2.5 更短的URI：XML实体与相对URI20
2.2.6 URI从哪里来，它们的含义是什么22
2.3 高级特性24
2.3.1 RDF中的数据类型24
2.3.2 语言设置和数据类型26
2.3.3 多值关系28
2.3.4 空白结点29
2.4 RDF模式中简单本体31
2.4.1 类与实例32
2.4.2 子类和类结构33
2.4.3 属性35
2.4.4 子属性与属性层次36
2.4.5 属性限制37
2.4.6 RDFS中的附加信息38
2.5 编码特别的数据结构39
2.5.1 RDF中的列表40
2.5.2 关于命题的命题：物化43
2.6 一个例子45
2.7 本章总结46
2.7.1 RDF（S）语言构成的概述46
2.8 练习48
2.9 进一步阅读49
第3章 RDF形式语义50
3.1 为什么要有语义50
3.2 RDF（S）的模型论语义51
3.2.1 简单解释52
3.2.2 RDF-解释54
3.2.3 RDFS解释55
3.2.4 数据类型的解释58
3.2.5 例子59
3.3 根据推理规则的句法推理62
3.3.1 简单推导的演绎规则63
3.3.2 RDF-推导的演绎规则64
3.3.3 RDFS-推导的演绎规则66
3.3.4 针对数据类型的附加规则70
3.3.5 RDFS演绎的例子71
3.4 RDF（S）的语义局限72
3.5 本章总结73
3.6 练习73
3.7 进一步阅读74
第4章 网络本体语言OWL75
4.1 用OWL表示的本体75
4.1.1 OWL本体的头77
4.1.2 类、角色和个体78
4.1.3 简单的类关系80
4.1.4 个体间的关系81
4.1.5 封闭式类82
4.1.6 布尔类构造器82
4.1.7 角色限制85
4.1.8 角色关系91
4.1.9 角色特性92
4.1.10 推理类型94
4.2 OWL的种类95
4.2.1 OWL Full95
4.2.2 OWL DL96
4.2.3 OWL Lite96
4.3 即将推出的OWL 2标准97
4.3.1 OWL 2 DL97
4.3.2 OWL 2概图104
4.3.3 OWL 2 Full106
4.4 本章总结106
4.4.1 OWL 1语言构造子概述107
4.4.2 OWL 2语言附加构造子概述108
4.5 练习109
4.6 扩展阅读110
第5章 OWL形式语义111
5.1 描述逻辑111
5.1.1 描述逻辑ALC111
5.1.2 作为描述逻辑的OWL DL114
5.1.3 命名描述逻辑以及它们与OWL子语言之间的关系115
5.1.4 SROIQ的形式语法117
5.2 OWL的模型论语义120
5.2.1 SROIQ的外延语义120
5.2.2 通过谓词逻辑定义SROIQ语义125
5.3 OWL自动推理127
5.3.1 推理问题127
5.3.2 否定范式128
5.3.3 ALC的Tableaux算法129
5.3.4 SHIQ的Tableaux算法137
5.3.5 计算复杂性145
5.4 本章总结146
5.5 练习146
5.6 进一步阅读147
第6章 本体和规则149
6.1 什么是规则150
6.2 一阶规则语言datalog151
6.2.1 datalog导论152
6.2.2 datalog语义154
6.3 规则和OWL DL的结合156
6.3.1 合成语义：datalog和描述逻辑156
6.3.2 计算结论157
6.3.3 描述逻辑规则158
6.3.4 DL-safe规则163
6.4 规则内部交换格式RIF167
6.4.1 RIF-Core167
6.4.2 面向对象的数据结构：RIF中的框架170
6.4.3 RIF-Core语义171
6.4.4 对于RIF-Core的XML句法171
6.4.5 RIF和OWL DL的结合173
6.4.6 RIF和RDF（S）的结合175
6.4.7 RIF-Core和RIF-BLD的更多特性179
6.5 本章总结180
6.6 练习181
6.7 进一步阅读181
第7章 查询语言183
7.1 SPARQL：RDF的查询语言184
7.1.1 简单的SPARQL查询184
7.1.2 简单图模式：三元组和变量185
7.1.3 SPARQL中的空白结点186
7.1.4 复杂图模式：组、可选和可替代187
7.1.5 对数据值的查询190
7.1.6 过滤器191
7.1.7 结果格式194
7.1.8 修饰符197
7.1.9 SPARQL语义和SPARQL代数199
7.1.10 SPARQL的其他表达特性204
7.2 OWL DL的合取查询206
7.2.1 OWL的局限206
7.2.2 合取查询的介绍207
7.2.3 非区分变量208
7.2.4 合取查询和规则209
7.2.5 合取查询与SPARQL210
7.3 本章总结211
7.4 练习212
7.5 进一步阅读213
第8章 本体工程215
8.1 需求分析216
8.2 本体创建——你的知识在哪里217
8.2.1 在你的大脑中：人类知识源217
8.2.2 在你的书中：非结构化源218
8.2.3 在互联网中：半结构化源221
8.2.4 在数据库中：结构化源221
8.3 本体的质量保证222
8.3.1 本体评估：怎样改进本体222
8.3.2 如何（不）正确地建模224
8.3.3 本体精炼：如何改进本体228
8.4 模块化本体：分而治之228
8.5 软件工具229
8.5.1 本体编辑器229
8.5.2 RDF存储230
8.5.3 OWL DL推理引擎231
8.5.4 OWL 2概要的推理引擎231
8.5.5 QuOnto232
8.5.6 数据日志和规则引擎232
8.5.7 更多系统233
8.6 本章总结233
8.7 进一步阅读233
第9章 应用235
9.1 万维网数据交换与聚合236
9.1.1 用元数据为万维网数据添砖加瓦236
9.1.2 词汇表236
9.2 语义维基239
9.2.1 语义媒体维基240
9.2.2 应用241
9.3 语义门户241
9.4 数据格式中的语义元数据242
9.5 生命科学中的语义Web242
9.6 本体用于标准化243
9.7 RIF应用244
9.8 面向未来的应用244
9.9 本章总结245
9.10 进一步阅读245
附录A 可扩展标记语言XML247
A.1 简述XML247
A.2 XML语法249
A.3 XML模式250
A.3.1 元素、属性和数据类型251
A.3.2 用户自定义类型252
附录B 集合论254
B.1 基本概念254
B.2 集合操作255
B.3 关系和函数255
附录C 逻辑256
C.1 语法256
C.2 语义257
C.3 证明理论和可判定性260
附录D 练习答案261
D.1 第2章 解答261
D.2 第3章 答案264
D.3 第4章 答案267
D.4 第5章 答案270
D.5 第6章 答案273
D.6 第7章 答案277
参考文献287