Foundations of semantic Web technologies

第1章语义的探求
1.1建立模型
1.2用知识计算
1.3交流信息
1.4语义万维网技术
1.5进一步阅读
第2章 用RDF和RDF模式表示的简单本体
2.1 RDF简介
2.1.1图，而不是树
2.1.2 RDF中的名称：URI
2.1.3 RDF中的数值：文字
2.2 RDF语法
2.2.1从图到三元组
2.2.2 简单的三元组语法：N3、N—Triple和Turtle
2.2.3 RDF的XML序列化
2.2.4在XML中的RDF：URI与其他问题
2.2.5更短的URI：XML实体与相对URI
2.2.6 URI从哪里来，它们的含义是什么
2.3高级特性
2.3.1 RDF中的数据类型
2.3.2语言设置和数据类型
2.3.3多值关系
2.3.4空白结点
2.4 RDF模式中简单本体
2.4.1类与实例
2.4.2子类和类结构
2.4.3属性
2.4.4子属性与属性层次
2.4.5属性限制
2.4.6 RDFS中的附加信息
2.5编码特别的数据结构
2.5.1 RDF中的列表
2.5.2关于命题的命题：物化
2.6一个例子
2.7本章总结
2.7.1 RDF（S）语言构成的概述
2.8练习
2.9进一步阅读
第3章RDF形式语义
3.1为什么要有语义
3.2 RDF（S）的模型论语义
3.2.1简单解释
3.2.2 RDF一解释
3.2.3 RDFS解释
3.2.4数据类型的解释
3.2.5例子
3.3根据推理规则的句法推理
3.3.1简单推导的演绎规则
3.3.2 RDF一推导的演绎规则
3.3.3 RDFS一推导的演绎规则
3.3.4针对数据类型的附加规则
3.3.5 RDFS演绎的例子
3.4 RDF（S）的语义局限
3.5本章总结
3.6练习
3.7进一步阅读
第4章网络本体语言OWL
4.1用OWL表示的本体
4.1.1 OWL本体的头
4.1.2类、角色和个体
4.1.3简单的类关系
4.1.4个体间的关系
4.1.5封闭式类
4.1.6布尔类构造器
4.1.7角色限制
4.1.8角色关系
4.1.9角色特性
4.1.10推理类型
4.2 OWL的种类
4.2.1（）WL Full
4.2.2 OWL DL
4.2.3 OWL Lite
4.3即将推出的OWL 2标准
4.3.1 OWL 2 DL
4.3.2 OWL 2概图
4.3.3 OWL 2 Full
4.4本章总结
4.4.1 OWL 1语言构造子概述
4.4.2 OWL 2语言附加构造子概述
4.5练习
4.6扩展阅读
第5章OWL形式语义
5.1描述逻辑
5.1.1描述逻辑ALC
5.1.2作为描述逻辑的OWL DL
5.1.3命名描述逻辑以及它们与OWL子语言之间的关系
5.1.4 SROIQ的形式语法
5.2 0WL的模型论语义
5.2.1 SROIQ的外延语义
5.2.2通过谓词逻辑定义SROIQ语义
5.3 OWL自动推理
5.3.1推理问题
5.3.2否定范式
5.3.3 ALC的Tableaux算法
5.3.4 SHIQ的Tableaux算法
5.3.5计算复杂性
5.4本章总结
5.5练习
5.6进一步阅读
第6章本体和规则
6.1什么是规则
6.2一阶规则语言datalog
6.2.1 datalog导论
6.2.2 datalog语义
6.3规则和OWL DL的结合
6.3.1合成语义：datalog和描述逻辑
6.3.2计算结论
6.3.3描述逻辑规则
6.3.4 DL—safe规则
6.4规则内部交换格式RIF
6.4.1 RIF—Core
6.4.2面向对象的数据结构：RIF中的框架
6.4.3 RIF—Core语义
6.4.4对于RIF—Core的XML句法
6.4.5 RIF和OWL DL的结合
6.4.6 RIF和RDF（S）的结合
6.4.7 RIF—Core和RIF—BLD的更多特性
6.5本章总结
6.6练习
6.7进一步阅读
第7章查询语言
7.1 SPARQL：RDF的查询语言
7.1.1简单的SPARQL查询
7.1.2简单图模式：三元组和变量
7.1.3 SPARQL中的空白结点
7.1.4复杂图模式：组、可选和可替代
7.1.5对数据值的查询
7.1.6过滤器
7.1.7结果格式
7.1.8修饰符
7.1.9 SPARQL语义和SPARQL代数
7.1.10 SPARQL的其他表达特性
7.2 OWL DL的合取查询
7.2.1 OWL的局限
7.2.2合取查询的介绍
……
第8章本体工程
第9章应用
附录A可扩展标记语言XML
附录B集合论
附录C逻辑
附录D练习答案
参考文献