上篇 语义Web原理 1
第1章 语义Web概念 1
1.1 什么是语义Web 2
1.1.1 语义Web的定义 2
1.1.2 语义Web的目标 3
1.1.3 语义Web的层次模型 4
1.2 什么不是语义Web 6
1.2.1 语义Web和知识表示 6
1.2.2 语义Web和E-R模型 7
1.2.3 语义Web和关系数据库 8
1.2.4 语义Web和推理系统 8
1.2.5 语义Web和概念图 9
1.3 语义Web发展简史 9
1.4 在语义Web中共享数据 10
1.4.1 指派URI 11
1.4.2 调整已有数据 12
1.4.3 发布数据 14
1.5 小结 16
习题 17
第2章 语义Web基础 18
2.1 命名空间和XML 18
2.1.1 命名空间 18
2.1.2 XML 20
2.2 知识表示 21
2.2.1 命题演算 22
2.2.2 一阶谓词演算 25
2.2.3 语义网络与框架 26
2.3 数据库技术 27
2.3.1 E-R数据模型 28
2.3.2 面向对象数据模型 29
2.3.3 基于逻辑的数据模型 30
2.4 RDF 33
2.4.1 背景和动机 33
2.4.2 目标 34
2.4.3 概念 34
2.4.4 语法 36
2.4.5 语义 41
2.5 小结 48
习题 49
第3章 语义Web语言 50
3.1 RDFS 50
3.1.1 动机 50
3.1.2 词汇表 52
3.1.3 解释 53
3.1.4 举例 54
3.1.5 推导规则 55
3.1.6 RDF应用 59
3.2 OWL 62
3.2.1 动机 62
3.2.2 要求 63
3.2.3 演化历史 63
3.2.4 分类 64
3.2.5 语言 65
3.2.6 OWL方言 81
3.3 SWRL 83
3.3.1 引言 83
3.3.2 抽象语法 86
3.4 SPARQL 92
3.4.1 简单查询 92
3.4.2 RDF术语约束 96
3.4.3 图模式 97
3.4.4 可选值 99
3.4.5 多重匹配 101
3.4.6 RDF数据集 103
3.4.7 查询结果修饰符 108
3.4.8 查询表单 111
3.5 OWL 2 117
3.5.1 子语言 118
3.5.2 OWL 2和OWL的区别 119
3.6 小结 119
习题 120
第4章 描述逻辑语言 121
4.1 描述逻辑 121
4.1.1 基本概念 121
4.1.2 主要特点 122
4.1.3 描述逻辑系统 122
4.2 描述逻辑系统的发展历史 123
4.2.1 前描述逻辑系统 123
4.2.2 描述逻辑系统 125
4.2.3 现代描述逻辑系统 125
4.2.4 存在问题 126
4.3 基本描述逻辑语言 127
4.3.1 AL语言的语法 127
4.3.2 AL语言的语义 127
4.3.3 AL语言系列 128
4.3.4 描述逻辑和一阶谓词逻辑 128
4.3.5 术语体系TBox 129
4.3.6 世界描述ABox 130
4.4 扩展描述逻辑语言 131
4.5 推理任务分类 132
4.5.1 TBox推理 132
4.5.2 ABox推理 134
4.6 小结 135
习题 135
第5章 描述逻辑推理 136
5.1 结构包含算法 136
5.2 ALC语言的Tableau算法 137
5.2.1 ALC表定义 138
5.2.2 构造ALC表 138
5.2.3 ALC语言的Tableau算法性质 140
5.3 SI语言的Tableau算法 141
5.3.1 SI表定义 141
5.3.2 SI语言的Tableau算法性质 142
5.4 SHI语言的Tableau算法 144
5.5 SHIF语言的Tableau算法 145
5.6 ABox推理 147
5.7 小结 149
习题 149
第6章 语义Web查询与推理 150
6.1 RDF查询与推理 150
6.1.1 Sesame 150
6.1.2 3Store 151
6.1.3 RDFStore 151
6.1.4 Kowari 152
6.1.5 Jena2 152
6.1.6 SOR 152
6.1.7 P2P存储 153
6.2 OWL推理 153
6.2.1 推理机框架 154
6.2.2 常用推理系统 155
6.2.3 测试基准 157
6.2.4 不一致推理 158
6.3 规则推理 159
6.3.1 Prolog 160
6.3.2 前向链和反向链 161
6.4 本体和规则的集成 162
6.5 小结 162
习题 162
下篇 语义Web应用 164
第7章 本体工程 164
7.1 本体 164
7.1.1 本体定义 164
7.1.2 本体构成 165
7.2 本体构建 166
7.2.1 构建准则 166
7.2.2 构建方法 166
7.2.3 评价标准 167
7.3 本体管理 167
7.4 本体开发平台 168
7.4.1 Protégé 168
7.4.2 NeOn 169
7.4.3 SWOOP 169
7.5 模型驱动的本体工程 170
7.5.1 传统的本体管理系统 170
7.5.2 模型驱动的本体管理体系结构 170
7.5.3 本体定义元模型 171
7.5.4 基于EMF的本体工程系统 172
7.6 本体匹配 173
7.6.1 本体匹配方法 174
7.6.2 可用于本体匹配的相关工作 174
7.6.3 分析总结 175
7.7 本体学习 176
7.7.1 基于文本的本体学习 176
7.7.2 基于其他资源的本体学习 177
7.7.3 相关研究 178
7.7.4 分析总结 179
7.8 小结 179
习题 180
第8章 语义Web应用 181
8.1 语义Web应用的一般框架与典型应用 181
8.1.1 语义Web应用的一般框架 181
8.1.2 语义Wiki 182
8.1.3 Linking Open Data 184
8.1.4 语义信息管理 185
8.1.5 语义信息检索 186
8.2 基于语义的面向服务的体系结构 186
8.2.1 面向服务的体系结构 186
8.2.2 SOA相关技术 187
8.2.3 SOA中的语义互操作 188
8.3 基于语义的社会网络分析 189
8.3.1 社会网络分析 189
8.3.2 知识管理中的社会网络分析 190
8.3.3 语义Web和社会网络分析 190
8.4 其他语义Web应用 191
8.4.1 DynamicView 191
8.4.2 语言网格 191
8.4.3 Freebase 192
8.4.4 WordNet 192
8.4.5 GO 193
8.4.6 OpenCyc 193
8.4.7 RDFa 194
8.5 小结 194
习题 195
第9章 语义Web实验 196
9.1 实验描述 196
9.2 主要人物关系 196
9.3 本体重用 198
9.4 构造主要人物关系知识库 201
9.4.1 设计原则 201
9.4.2 设计方法 202
9.5 实验分析 204
9.5.1 知识库查询 204
9.5.2 注意事项 206
9.6 小结 207
习题 207
第10章 语义Web未来展望 208
10.1 Web 2.0 208
10.2 语义Web中存在的问题 211
10.3 展望未来 212
10.3.1 数据空间 212
10.3.2 Web 3.0 213
10.4 小结 215
习题 215
附录A OWL构子及其作用描述 216
附录B 使用Pellet推理机进行带推理查询的源代码 218
参考资源 221