世界著名计算机教材精选 ：语义Web技术基础
目 录内容简介
第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
查看完整
1.1 建立模型
1.2 用知识计算
1.3 交流信息
1.4 语义万维网技术
1.5 进一步阅读
第2章 用rdf和rdf模式表示的简单本体
2.1 rdf简介
2.1.1 图，而不是树
2.1.2 rdf中的名称： uri
查看完整
目 录内容简介
《世界著名计算机教材精选 ：语义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.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.1 0 推理类型
4.2 owl的种类
4.2.1 owl 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 owl的模型论语义
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.1 0 sparql的其他表达特性
7.2 owl dl的合取查询
7.2.1 owl的局限
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.2 rdf存储
8.5.3 owl dl推理引擎
8.5.4 owl 2概要的推理引擎
8.5.5 quonto
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.7 rif应用
9.8 面向未来的应用
9.9 本章总结
9.1 0 进一步阅读
附录a 可扩展标记语言xml
a.1 简述xml
a.2 xml语法
a.3 xml模式
a.3.1 元素、属性和数据类型
a.3.2 用户自定义类型
附录b 集合论
b.1 基本概念
b.2 集合操作
b.3 关系和函数
附录c 逻辑
c.1 语法
c.2 语义
c.3 证明理论和可判定性
附录d 练习答案
d.
第2章 解答
d.
第3章 答案
d.
第4章 答案
d.
第5章 答案
d.
第6章 答案
d.
第7章 答案
参考文献
^ 收 起
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.1 0 推理类型
4.2 owl的种类
4.2.1 owl 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 owl的模型论语义
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.1 0 sparql的其他表达特性
7.2 owl dl的合取查询
7.2.1 owl的局限
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.2 rdf存储
8.5.3 owl dl推理引擎
8.5.4 owl 2概要的推理引擎
8.5.5 quonto
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.7 rif应用
9.8 面向未来的应用
9.9 本章总结
9.1 0 进一步阅读
附录a 可扩展标记语言xml
a.1 简述xml
a.2 xml语法
a.3 xml模式
a.3.1 元素、属性和数据类型
a.3.2 用户自定义类型
附录b 集合论
b.1 基本概念
b.2 集合操作
b.3 关系和函数
附录c 逻辑
c.1 语法
c.2 语义
c.3 证明理论和可判定性
附录d 练习答案
d.
第2章 解答
d.
第3章 答案
d.
第4章 答案
d.
第5章 答案
d.
第6章 答案
d.
第7章 答案
参考文献
^ 收 起
目 录内容简介
《世界著名计算机教材精选 ：语义Web技术基础》主要介绍了语义万维网基础技术。《世界著名计算机教材精选 ：语义Web技术基础》从实用的角度，从语义Web的发展开始，介绍了当今流行的几种语义Web技术，是国内外第一本关于语义Web技术的图书。全书包括9章，分别介绍了语义技术的起源，RDF的基础知识，RDF和RDFS的形式语义，Web本体语言OWL，OWL的形式语义，本体和规则，本体的查询语言，本体工程，以及本体的一些应用。
比价列表
