标题：语义Web技术基础
图书简介
本书系统地介绍了语义Web的概念、RDF和RDF模式中的简单本体及其形式语义、OWL主体及其语义、本体和规则、SPARQL查询语言、本体工程以及相关应用等内容。本书关注于语义Web领域已经建立起的基础，并给出了由浅入深的非常细致的描述。本书可作为语义Web理论课程或者应用实践的教科书，亦可供相关研究人员和工程技术人员自学RDF、OWL、SPARQL等特定技术时使用。[1]
图书信息
ISBN：9787302289692定价：39元印次：1-1装帧：平装印刷日期：2012-11-23
作者：Pascal Hitzler, Markus Krotszsch, Sebastian Rudolph, York Sure 著 俞勇 等译[1]
图书前言
语义Web是一个成熟的技术领域。在近10年间，一些大型研究机构和公司，比如说DARPA和IBM，投入了大量资金研究语义Web技术。很多技术被工业界用于万维网之外的应用领域，比如说数据集成、知识管理和信息系统。粗略的说，语义Web的总体思想是用背景知识来丰富数据，这些背景知识是用本体的形式来表示，所以具有形式化的语义。语义Web的基础是标准化的语言用来对本体建模。这些语言在表示能力、可伸缩性、直观性和语义的硬度上各有不同。在这本书里，我们将要详细介绍这些标准语言。对于每一个语言，均分为两部分介绍，第一部分是用例子来阐明理论知识，介绍复杂的语法，以及给出直观解释。第二部分将详细给出形式化的语法。
在本书的翻译过程中，得到了本书的英文版作者们的大力支持。他们向译者提供了全文书稿的最终版本。感谢清华大学出版社的编辑们，他们对本书的草稿提出了很多指导性的意见。感谢他们的辛勤工作，使得本书能够尽快与读者见面。
由于本书所涉及的内容广泛，许多术语目前尚无固定译法，翻译难度相对较大。尽管我们对某些术语进行了推敲，但仍然可能出现词不达意的地方。此外，由于译者水平有限，译文中不当之处也在所难免。我们也真诚地希望同行与读者朋友们不吝赐教。
语义Web技术基础译者序介 绍
本书的目标是介绍语义万维网基础技术，并在一定程度上达到其他教材中未达到的细节与深度。这是一本用于大学课程教材的书，也可以用来自学，对于研究员与从业人员也同样适用。它是本书作者在此领域5年的教学经验的基础上完成的。
图书目录
第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语义Web技术基础目 录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[1]