【微瑕旧书】世界著名计算机教材精选 ：语义Web技术基础97873022**692

《世界著名计算机教材精选：语义Web技术基础》主要介绍了语义万维网基础技术。《世界著名计算机教材精选：语义Web技术基础》从实用的角度，从语义Web的发展开始，介绍了当今流行的几种语义Web技术，是国内外**本关于语义Web技术的图书。全书包括9章，分别介绍了语义技术的起源，RDF的基础知识，RDF和RDFS的形式语义，Web本体语言OWL，OWL的形式语义，本体和规则，本体的查询语言，本体工程，以及本体的一些应用。

• **章语义的探求
• 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.10推理类型
• 4.2owl的种类
• 4.2.1owlfull
• 4.2.2owldl
• 4.2.3owllite
• 4.3即将推出的owl2标准
• 4.3.1owl2dl
• 4.3.2owl2概图
• 4.3.3owl2full
• 4.4本章总结
• 4.4.1owl1语言构造子概述
• 4.4.2owl2语言附加构造子概述
• 4.5练习
• 4.6扩展阅读
• 第5章owl形式语义
• 5.1描述逻辑
• 5.1.1描述逻辑alc
• 5.1.2作为描述逻辑的owldl
• 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什么是规则
• ......