《世界著名计算机教材精选 ：语义Web技术基础》主要介绍了语义万维网基础技术。
《世界著名计算机教材精选 ：语义Web技术基础》从实用的角度，从语义Web的发展开始，介绍了当今流行的几种语义Web技术，是国内外第一本关于语义Web技术的图书。全书包括9章，分别介绍了语义技术的起源，RDF的基础知识，RDF和RDFS的形式语义，Web本体语言OWL，OWL的形式语义，本体和规则，本体的查询语言，本体工程，以及本体的一些应用。
目录
- 第1章 语义的探求
- 1.1建立模型
- 1.2用知识计算
- 1.3交流信息
- 1.4语义万维网技术
- 1.5进一步阅读
- 第2章 用rdf和rdf模式表示的简单本体
- 2.1rdf简介
- 2.1.1图，而不是树
- 2.1.2rdf中的名称： uri
- 2.1.3rdf中的数值： 文字
- 2.2rdf语法
- 2.2.1从图到三元组
- 2.2.2简单的三元组语法： n3、n-triple和turtle
- 2.2.3rdf的xml序列化
- 2.2.4在xml中的rdf： uri与其他问题
- 2.2.5更短的uri： xml实体与相对uri
- 2.2.6uri从哪里来，它们的含义是什么
- 2.3高级特性
- .2.3.1rdf中的数据类型
- 2.3.2语言设置和数据类型
- 2.3.3多值关系
- 2.3.4空白结点
- 2.4rdf模式中简单本体
- 2.4.1类与实例
- 2.4.2子类和类结构
- 2.4.3属性
- 2.4.4子属性与属性层次
- 2.4.5属性限制
- 2.4.6rdfs中的附加信息
- 2.5编码特别的数据结构
- 2.5.1rdf中的列表
- 2.5.2关于命题的命题： 物化
- 2.6一个例子
- 2.7本章总结
- 2.7.1rdf（s）语言构成的概述
- 2.8练习
- 2.9进一步阅读
- 第3章 rdf形式语义
- 3.1为什么要有语义
- 3.2rdf（s）的模型论语义
- 3.2.1简单解释
- 3.2.2rdf-解释
- 3.2.3rdfs解释
- 3.2.4数据类型的解释
- 3.2.5例子
- 3.3根据推理规则的句法推理
- 3.3.1简单推导的演绎规则
- 3.3.2rdf-推导的演绎规则
- 3.3.3rdfs-推导的演绎规则
- 3.3.4针对数据类型的附加规则
- 3.3.5rdfs演绎的例子
- 3.4rdf（s）的语义局限
- 3.5本章总结
- 3.6练习
- 3.7进一步阅读
- 第4章 网络本体语言owl
- 4.1用owl表示的本体
- 4.1.1owl本体的头
- 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.1 0 推理类型
- 4.2owl的种类
- 4.2.1owl full
- 4.2.2owl dl
- 4.2.3owl lite
- 4.3即将推出的owl 2标准
- 4.3.1owl 2 dl
- 4.3.2owl 2概图
- 4.3.3owl 2 full
- 4.4本章总结
- 4.4.1owl 1语言构造子概述
- 4.4.2owl 2语言附加构造子概述
- 4.5练习
- 4.6扩展阅读
- 第5章 owl形式语义
- 5.1描述逻辑
- 5.1.1描述逻辑alc
- 5.1.2作为描述逻辑的owl dl
- 5.1.3命名描述逻辑以及它们与owl子语言之间的关系
- 5.1.4sroiq的形式语法
- 5.2owl的模型论语义
- 5.2.1sroiq的外延语义
- 5.2.2通过谓词逻辑定义sroiq语义
- 5.3owl自动推理
- 5.3.1推理问题
- 5.3.2否定范式
- 5.3.3alc的tableaux算法
- 5.3.4shiq的tableaux算法
- 5.3.5计算复杂性
- 5.4本章总结
- 5.5练习
- 5.6进一步阅读
- 第6章 本体和规则
- 6.1什么是规则
- 6.2一阶规则语言datalog
- 6.2.1datalog导论
- 6.2.2datalog语义
- 6.3规则和owl dl的结合
- 6.3.1合成语义： datalog和描述逻辑
- 6.3.2计算结论
- 6.3.3描述逻辑规则
- 6.3.4dl-safe规则
- 6.4规则内部交换格式rif
- 6.4.1rif-core
- 6.4.2面向对象的数据结构： rif中的框架
- 6.4.3rif-core语义
- 6.4.4对于rif-core的xml句法
- 6.4.5rif和owl dl的结合
- 6.4.6rif和rdf（s）的结合
- 6.4.7rif-core和rif-bld的更多特性
- 6.5本章总结
- 6.6练习
- 6.7进一步阅读
- 第7章 查询语言
- 7.1sparql： rdf的查询语言
- 7.1.1简单的sparql查询
- 7.1.2简单图模式： 三元组和变量
- 7.1.3sparql中的空白结点
- 7.1.4复杂图模式： 组、可选和可替代
- 7.1.5对数据值的查询
- 7.1.6过滤器
- 7.1.7结果格式
- 7.1.8修饰符
- 7.1.9sparql语义和sparql代数
- 7.1.1 0 sparql的其他表达特性
- 7.2owl dl的合取查询
- 7.2.1owl的局限
- 7.2.2合取查询的介绍
- 7.2.3非区分变量
- 7.2.4合取查询和规则
- 7.2.5合取查询与sparql
- 7.3本章总结
- 7.4练习
- 7.5进一步阅读
- 第8章 本体工程
- 8.1需求分析
- 8.2本体创建--你的知识在哪里
- 8.2.1在你的大脑中： 人类知识源
- 8.2.2在你的书中： 非结构化源
- 8.2.3在互联网中： 半结构化源
- 8.2.4在数据库中： 结构化源
- 8.3本体的质量保证
- 8.3.1本体评估： 怎样改进本体
- 8.3.2如何（不）正确地建模
- 8.3.3本体精炼： 如何改进本体
- 8.4模块化本体： 分而治之
- 8.5软件工具
- 8.5.1本体编辑器
- 8.5.2rdf存储
- 8.5.3owl dl推理引擎
- 8.5.4owl 2概要的推理引擎
- 8.5.5quonto
- 8.5.6数据日志和规则引擎
- 8.5.7更多系统
- 8.6本章总结
- 8.7进一步阅读
- 第9章 应用
- 9.1万维网数据交换与聚合
- 9.1.1用元数据为万维网数据添砖加瓦
- 9.1.2词汇表
- 9.2语义维基
- 9.2.1语义媒体维基
- 9.2.2应用
- 9.3语义门户
- 9.4数据格式中的语义元数据
- 9.5生命科学中的语义web
- 9.6本体用于标准化
- 9.7rif应用
- 9.8面向未来的应用
- 9.9本章总结
- 9.1 0 进一步阅读
- 附录a 可扩展标记语言xml
- a.1简述xml
- a.2xml语法
- a.3xml模式
- a.3.1元素、属性和数据类型
- a.3.2用户自定义类型
- 附录b 集合论
- b.1基本概念
- b.2集合操作
- b.3关系和函数
- 附录c 逻辑
- c.1语法
- c.2语义
- c.3证明理论和可判定性
- 附录d 练习答案
- 第2章 解答
- 第3章 答案
- 第4章 答案
- 第5章 答案
- 第6章 答案
- 第7章 答案
- 参考文献
