面向语义Web的知识管理技术

图书标准信息

• 作者 漆桂林、黄智生、杜剑峰 著
• 出版社 高等教育出版社
• 出版时间 2015-10
• 版次 1
• ISBN 9787040437003
• 定价 59.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 178页
• 字数 220千字
• 正文语种 简体中文
• 丛书 Web智能与科学

【内容简介】

　　《面向语义Web的知识管理技术》比较详细地介绍了描写语义Web的知识管理技术。全书共分为九章。在对语义Web、语义技术以及基于本体（Ontology）的知识管理进行简要概述的基础上，介绍了本体生命周期的相关技术。首先介绍了Web本体语言OWL的逻辑基础；其次，对本体构建过程中出现的本体演化、本体诊断、本体融合、本体不一致性推理、本体版本化和本体模块化分别进行介绍；最后，对本体管理的应用做了一个简单介绍。《面向语义Web的知识管理技术》除了介绍一些基本概念和技术以外，还重点概述了基于本体的知识管理的新研究成果和相关的工具，并且结合实例，由浅入深地对各项技术进行讨论，有助于对基于本体的知识管理技术进行系统的学习和掌握。
　　《面向语义Web的知识管理技术》可作为高等学校计算机科学专业、信息科学专业、自动化专业高年级本科生和研究生的教材或者教学参考书，也可供高等学校、研究所和互联网企业从事知识管理技术的科研人员学习参考。

【作者简介】

　　漆桂林，东南大学计算机科学与工程学院教授，获英国贝尔法斯特女皇大学计算机科学博士学位。曾于德国Karlsruhe大学AIFB研究所从事博士后研究，指导教授是语义Web创始人之一Rudi Studer教授。长期从事人工智能中知识表示和推理、语义Web和本体管理技术的教学和科研工作，主持两项国家自然科学基金项目和多项省部级项目，主持欧盟第七研究框架计划SerriData中高效推理工作组的研究。发表学术论文百余篇。曾担任多个国际重要学术会议的程序委员会委员及负责多个国际学术会议的组织工作。
　　
　　黄智生，荷兰阿姆斯特丹自由大学计算机系高级研究员，北京工业大学等多个大学兼职教授。主持欧盟第七研究框架重大研究计划LarKC项目中推理工作组的研究。发表学术论文近两百篇。曾担任80余个国际学术会议的组织委员会或程序委员会委员或联合主席。
　　
　　杜剑峰，广东外语外贸大学电子商务系系主任、副教授，获中国科学院软件研究所计算机科学与技术博士学位。曾经主持两项本体推理领域的国家自然科学基金课题，发表多篇学术论文，曾担任多个国际学术会议程序委员会成员。

【目录】

第一章 导论
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 本章小结
参考文献

附录 常用术语缩略词