本书比较详细地介绍了描写语义Web的知识管理技术。全书共分为九章。在对语义Web、语义技术以及基于本体(Ontology)的知识管理进行简要概述的基础上,介绍了本体生命周期的相关技术。首先介绍了Web本体语言OWL的逻辑基础;其次,对本体构建过程中出现的本体演化、本体诊断、本体融合、本体不一致性推理、本体版本化和本体模块化分别进行介绍;最后,对本体管理的应用做了一个简单介绍。本书除了介绍一些基本概念和技术以外,还重点概述了基于本体的知识管理的最新研究成果和相关的工具,并且结合实例,由浅入深地对各项技术进行讨论,有助于对基于本体的知识管理技术进行系统的学习和掌握。
本书可作为高等学校计算机科学专业、信息科学专业、自动化专业高年级本科生和研究生的教材或者教学参考书,也可供高等学校、研究所和互联网企业从事知识管理技术的科研人员学习参考。
- 前辅文
- 第一章 导论
- 1.1 语义万维网与语义技术
- 1.2 本体与本体工程
- 1.3 基于本体的知识管理
- 1.4 本章小结
- 参考文献
- 第二章 本体语言与逻辑基础
- 2.1 本体语言
- 2.2 描述逻辑
- 2.3 OWL的模型论语义
- 2.4 OWL的推理问题
- 2.5 OWL的推理方法
- 2.6 本章小结
- 参考文献
- 第三章 本体调试
- 3.1 基本概念
- 3.2 本体调试算法
- 3.3 本体调试的优化方法
- 3.4 本体调试算法相关研究
- 3.5 本体调试系统
- 3.6 本章小结
- 参考文献
- 第四章 本体演化
- 4.1 本体演化的定义及主要过程
- 4.2 基于描述逻辑的本体修正
- 4.3 本体演化的系统
- 4.4 本章小结
- 参考文献
- 第五章 本体融合
- 5.1 本体映射
- 5.2 本体映射的基本框架
- 5.3 本体映射的修复
- 5.4 本体映射及映射修复系统
- 5.5 本章小结
- 参考文献
- 第六章 本体的不一致性推理
- 6.1 本体的不一致性推理现状
- 6.2 基于选择函数的不一致容忍推理方法
- 6.3 基于最大一致子集的不一致容忍推理方法
- 6.4 基于四值逻辑的不一致容忍推理方法
- 6.5 本体的不一致推理系统
- 6.6 本章小结
- 参考文献
- 第七章 本体版本化
- 7.1 概述
- 7.2 基于时态逻辑的多版本本体逻辑系统
- 7.3 基于混合逻辑的多版本本体逻辑系统
- 7.4 多版本本体管理系统MORE
- 7.5 本章小结
- 参考文献
- 第八章 本体模块化
- 8.1 模块化的目标
- 8.2 模块化的策略
- 8.3 基于逻辑的模块定义和抽取方法
- 8.4 本章小结
- 参考文献
- 第九章 基于本体的知识管理应用
- 9.1 本体与语义技术的应用
- 9.2 一个本体管理的典型应用
- 9.3 本章小结
- 参考文献
- 附录 常用术语缩略词