第1章 语义网概览 1
1.1 万维网现状 1
1.2 从当前万维网到语义网:实例分析 3
1.2.1 知识管理 3
1.2.2 企业对个人电子商务 3
1.2.3 企业对企业电子商务 4
1.2.4 个人代理:未来的展望 5
1.3 语义网技术 5
1.3.1 显式的元数据 6
1.3.2 本体 7
1.3.3 逻辑 9
1.3.4 代理 11
1.3.5 语义网和人工智能的对比 12
1.4 语义网的逐层递进 12
1.5 全书总览 14
1.6 小结 14
推荐读物 15
第2章 XML结构化网络文档 17
2.1 引言 17
2.2 XML语言 20
2.2.1 序言 20
2.2.2 元素 20
2.2.3 属性 21
2.2.4 注释 21
2.2.5 处理指令 22
2.2.6 合式XML文档 22
2.2.7 XML文档的树形模型 22
2.3 结构化 23
2.3.1 DTD方式 24
2.3.2 XML Schema 28
2.4 命名空间 33
2.5 XML文档的寻址和查询 35
2.6 处理 38
2.7 小结 43
推荐读物 44
练习与设计 45
第3章 用RDF描述网络资源 47
3.1 引言 47
3.2 RDF的基本思想 49
3.2.1 资源 49
3.2.2 属性 49
3.2.3 陈述 49
3.2.4 关于陈述的三种观点 49
3.2.5 陈述的具体化 51
3.2.6 数据类型 51
3.2.7 对RDF的评论 52
3.3 基于XML的RDF语法 53
3.3.1 rdf:resource属性 55
3.3.2 嵌套描述 56
3.3.3 rdf:type元素 57
3.3.4 简略语法 57
3.3.5 容器元素 58
3.3.6 具体化 62
3.4 RDF Schema的基本思想 62
3.4.1 类和属性 62
3.4.2 类层次结构和继承 63
3.4.3 属性层次结构 64
3.4.4 RDF与RDFS层次 64
3.5 RDF Schema语言 65
3.5.1 核心类 66
3.5.2 用于定义关系的核心属性 66
3.5.3 用于约束属性的核心属性 67
3.5.4 用于具体化的常用属性 68
3.5.5 容器类 68
3.5.6 工具属性 68
3.5.7 例子:大学 69
3.5.8 例子:机动车 70
3.6 用RDF Schema描述RDF和RDF Schema 71
3.6.1 RDF 71
3.6.2 RDF Schema 72
3.7 RDF和RDF Schema的公理语义 73
3.7.1 基本方法 73
3.7.2 基本谓词 74
3.7.3 RDF 74
3.7.4 RDF Schema 76
3.8 RDF和RDFS的直接推理系统 78
3.9 使用RQL查询 79
3.9.1 基本查询 80
3.9.2 使用select-from-where查询 80
3.9.3 模式查询 81
3.10 小结 82
推荐读物 82
练习与设计 83
第4章 网络本体语言OWL 85
4.1 引言 85
4.1.1 本体语言需求 85
4.1.2 RDF Schema表达能力的局限性 86
4.1.3 OWL与RDF/RDFS的兼容性 87
4.1.4 三个OWL子语言 87
4.2 OWL语言 89
4.2.1 语法 89
4.2.2 头部 89
4.2.3 类元素 90
4.2.4 属性元素 90
4.2.5 属性约束 92
4.2.6 特殊性质 94
4.2.7 布尔组合 95
4.2.8 枚举 96
4.2.9 实例 96
4.2.10 数据类型 97
4.2.11 版本控制信息 98
4.2.12 OWL分层 98
4.3 例子 99
4.3.1 一个非洲野生生物本体 99
4.3.2 一个打印机本体 103
4.4 OWL自描述 107
4.4.1 命名空间 107
4.4.2 元类 108
4.4.3 类等价 108
4.4.4 类的组合 110
4.4.5 类属性约束 110
4.5 未来扩展 112
4.5.1 模块与导入 112
4.5.2 默认值 113
4.5.3 封闭世界假设 113
4.5.4 唯一名假设 113
4.5.5 过程附加 113
4.5.6 属性链接规则 113
4.6 小结 114
推荐读物 114
练习与设计 115
第5章 逻辑和推理:规则 117
5.1 引言 117
5.2 单调规则的例子:家庭关系 119
5.3 单调规则:语法 120
5.3.1 规则 120
5.3.2 事实 121
5.3.3 逻辑程序 121
5.3.4 目标 121
5.4 单调规则:语义 122
5.4.1 谓词逻辑语义 122
5.4.2 常证据和带参证据 123
5.5 非单调规则:动机和语法 124
5.5.1 非正式讨论 124
5.5.2 语法定义 125
5.6 非单调规则的例子:有经纪人的交易 126
5.6.1 卡洛斯需求的形式化描述 126
5.6.2 可选公寓的表达 127
5.6.3 选择一间公寓 128
5.7 XML中的规则标记:单调规则 129
5.7.1 项 129
5.7.2 原子公式 130
5.7.3 事实 130
5.7.4 规则 131
5.7.5 查询 131
5.7.6 一个DTD 132
5.7.7 RuleML的另一种数据模型 132
5.8 XML中的规则标记:非单调规则 134
5.8.1 例子 134
5.8.2 一个DTD 135
5.9 小结 136
推荐读物 136
练习与设计 137
第6章 应用 139
6.1 引言 139
6.2 Elsevier的横向信息产品 139
6.2.1 背景 139
6.2.2 问题 139
6.2.3 语义网技术的作用 140
6.3 奥迪的数据整合 141
6.3.1 背景 141
6.3.2 问题 141
6.3.3 语义网技术的作用 141
6.4 瑞士人寿保险公司的技能寻获 143
6.4.1 背景 143
6.4.2 问题 144
6.4.3 语义网技术的作用 144
6.5 EnerSearch的智囊门户网站 145
6.5.1 背景 145
6.5.2 问题 146
6.5.3 语义网技术的作用 146
6.6 在线学习 148
6.6.1 背景 148
6.6.2 问题 149
6.6.3 语义网技术的作用 149
6.6.4 在线学习的本体 150
6.7 Web服务 151
6.7.1 背景 151
6.7.2 问题与语义网技术的作用 151
6.8 其他场景 154
6.8.1 伦敦警察局的多媒体收藏索引 154
6.8.2 戴姆勒-克莱斯勒的在线采购 155
6.8.3 诺基亚的设备可共用性 155
推荐读物 156
第7章 本体工程 158
7.1 引言 158
7.2 手工构建本体 158
7.2.1 确定范围 158
7.2.2 考虑复用 159
7.2.3 列举术语 159
7.2.4 定义分类 159
7.2.5 定义属性 159
7.2.6 定义侧面 160
7.2.7 定义实例 160
7.2.8 检查异常 160
7.3 复用现成本体 161
7.3.1 专家知识汇编 161
7.3.2 整合词汇表 161
7.3.3 高层本体 161
7.3.4 主题层次体系 161
7.3.5 语言学资源 162
7.3.6 本体图书馆 162
7.4 使用半自动方法 162
7.5 On-To-Knowledge语义网体系结构 164
7.5.1 知识获取 165
7.5.2 知识存储 165
7.5.3 知识维护 166
7.5.4 知识使用 166
7.5.5 技术可共用性 166
推荐读物 167
设计 167
第8章 结论和展望 170
8.1 集成 170
8.2 一些技术问题 170
8.2.1 网络本体语言:少就是多 170
8.2.2 规则和本体 170
8.3 未来预测 171
附录 OWL抽象语法 173
索引 180