面向语义Web的知识管理技术
作者： 漆桂林、黄智生、杜剑峰
出版时间：2015年10月
出版社：高等教育出版社
- 高等教育出版社
- 9787040437003
- 1版
- 32711
- 0044176106-1
- 特殊
- 2015年10月
- 220
- 178
- 工学
- 计算机科学与技术
- G302-39
- 计算机科学与技术类
- 研究生
本书可作为高等学校计算机科学专业、信息科学专业、自动化专业高年级本科生和研究生的教材或者教学参考书，也可供高等学校、研究所和互联网企业从事知识管理技术的科研人员学习参考。
第一章 导论
1.1 语义万维网与语义技术
1.2 本体与本体工程
1.3 基于本体的知识管理
1.4 本章小结
参考文献
第二章 本体语言与逻辑基础
2.1 本体语言
2.2 描述逻辑
2.2.1 描述逻辑ALC
2.2.2 描述逻辑SHOIN(D)
2.2.3 描述逻辑的命名规范
2.2.4 描述逻辑SROIQ
2.2.5 描述逻辑SHIQ
2.3 0wL的模型论语义
2.3.1 SROIQ的外延语义
2.3.2 通过一阶谓词逻辑定义SROIQ语义
2.4 0WL的推理问题
2.4.1 推理问题
2.4.2 计算复杂性
2.5 0WL的推理方法
2.5.1 基于表运算的方法
2.5.2 基于一阶逻辑转换的方法
2.5.3 基于结论推断的方法
2.5.4 基于一阶查询重写的方法
2.5.5 基于Datalog转换的方法
2.6 本章小结
参考文献
第三章 本体调试
3.1 基本概念
3.1.1 不一致性和不协调性
3.1.2 基于描述逻辑的本体调试基本概念
3.2 本体调试算法
3.3 本体调试的优化方法
3.3.1 基于模块化的优化算法
3.3.2 其他优化方法
3.4 本体调试算法相关研究
3.5 本体调试系统
3.6 本章小结
参考文献
第四章 本体演化
4.1 本体演化的定义及主要过程
4.1.1 变化表示
4.1.2 变化语义
4.1.3 变化传播
4.1.4 变化实施
4.1.5 变化生效
4.1.6 变化发现
4.2 基于描述逻辑的本体修正
4.2.1 本体修正与信念修正
4.2.2 基于描述逻辑的本体修正的定义
4.2.3 描述逻辑中的本体修正方法
4.3 本体演化的系统
4.4 本章小结
参考文献
第五章 本体融合
5.1 本体映射
5.1.1 元素层映射技术
5.1.2 结构层映射技术
5.2 本体映射的基本框架
5.3 本体映射的修复
5.3.1 本体映射的不一致性
5.3.2 本体映射的修复算子
5.3.3 本体映射的修复算法
5.4 本体映射及映射修复系统
5.5 本章小结
参考文献
第六章 本体的不一致性推理
6.1 本体的不一致性推理现状
6.2 基于选择函数的不一致容忍推理方法
6.2.1 形式化定义
6.2.2 选择函数
6.2.3 基于语法相关性的选择函数
6.3 基于最大一致子集的不一致容忍推理方法
6.4 基于四值逻辑的不一致容忍推理方法
6.5 本体的不一致推理系统
6.6 本章小结
参考文献
第七章 本体版本化
7.1 概述
7.2 基于时态逻辑的多版本本体逻辑系统
7.2.1 时态逻辑
7.2.2 版本空间
7.2.3 时态逻辑系统LTLm
7.2.4 LTLm作为查询语言
7.2.5 直接描述版本号
7.3 基于混合逻辑的多版本本体逻辑系统
7.3.1 混合逻辑
7.3.2 上版查询
7.3.3 变化分析
7.4 多版本本体管理系统MORE
7.4.1 MORE系统功能
7.4.2 TELL语言
7.4.3 ASK语言
7.4.4 回答语言
7.4.5 组合概念查询
7.4.6 混合逻辑查询
7.5 本章小结
参考文献
第八章 本体模块化
8.1 模块化的目标
8.1.1 提高数据查询和本体推理的可扩展性
8.1.2 提高演变和维护的可扩展性
8.1.3 降低设计的难度
8.1.4 提高可理解性
8.1.5 实现上下文相关和个性化
8.1.6 提高可重用性
8.2 模块化的策略
8.2.1 分离或重叠的模块
8.2.2 语义驱动的策略
8.2.3 结构驱动的策略
8.2.4 基于机器学习的策略
8.2.5 模块化的监察和调整
8.3 基于逻辑的模块定义和抽取方法
8.3.1 基于签名的模块
8.3.2 基于局部性的模块
8.3.3 维持辩解的模块
8.3.4 基于不可区分性的模块
8.4 本章小结
参考文献
第九章 基于本体的知识管理应用
9.1 本体与语义技术的应用
9.1.1 语义技术在生命科学与医学上的应用
9.1.2 语义技术在智能交通上的应用
9.2 一个本体管理的典型应用
9.3 本章小结
参考文献
附录 常用术语缩略词
