本体方法及其应用

　　前言第一篇 本体与本体描述语言 1第1章 本体基础 31.1 本体概述 31.2 本体的组成 41.3 本体建立的原则 51.4 本体建立的一般方法 51.5 本体描述语言 71.6 本体中的常用关系 81.6.1 IS-A关系 91.6.2 Instance-Of关系 91.6.3 Member-Of关系 101.6.4 Before关系和After关系 101.7 常用的本体开发工具 111.7.1 Protégé 111.7.2 Apollo 121.7.3 OILEd 121.7.4 OntoEdit 131.7.5 OntoSaurus 131.7.6 WebODE 131.8 其他工具 141.8.1 Jena简介 141.8.2 Lucene简介 151.9 典型本体介绍 181.9.1 CYC 181.9.2 WordNet 191.9.3 SUMO 191.9.4 知网 191.9.5 国家知识基础设施 201.9.6 CREAM 211.9.7 OntoWebber 211.9.8 其他模型 221.10 本体的研究和应用 23第2章 语义Web与本体描述语言 242.1 语义Web概述 242.1.1 语义Web的概念、定义 242.1.2 语义Web的模型 252.1.3 Unicode和URI 262.1.4 本体层 262.1.5 逻辑、证明和信任 272.1.6 数字签名和加密 272.2 本体描述语言 272.2.1 XML 282.2.2 RDF 292.2.3 RDFS 342.2.4 OWL 362.3 OWL本体语言的描述 372.3.1 命名空间定义 382.3.2 本体头定义 382.3.3 类定义 392.3.4 个体定义 432.3.5 属性定义 452.4 OWL类构造器和原子解释 482.4.1 OWL类构造器 482.4.2 OWL原子解释 492.5 OWL实例 502.6 语义Web的应用 552.6.1 智能信息检索 552.6.2 企业间数据交换及知识管理 552.6.3 Web服务 552.6.4 基于代理的分布式计算 562.6.5 基于语义的数字图书馆 562.7 语义Web研究面临的问题和挑战 56第二篇 本体技术 59第3章 本体构建 613.1 构建旅游信息资源本体 613.1.1 构建旅游信息资源本体的目标 613.1.2 旅游信息资源本体构建过程 613.1.3 确定本体范围和术语 613.1.4 定义类和类的层次体系 623.1.5 定义类的属性 623.1.6 生成实例 633.2 高校就业管理领域本体构建 633.2.1 枚举领域本体的重要术语 633.2.2 复用现有的本体 633.2.3 定义类和类层次 633.2.4 定义类的属性 643.2.5 生成实例 643.3 常用软件本体构建 643.3.1 定义类和类的层次体系 643.3.2 定义常用软件的属性 663.3.3 创建常用软件实例 663.3.4 规则定义 663.3.5 常用软件领域知识推理系统的总体框架 67第4章 本体映射 694.1 本体映射概述 694.1.1 本体异构及解决方案 694.1.2 本体映射概念及模型框架 704.2 常用的本体映射方法 724.2.1 基于语法的映射方法 724.2.2 基于概念实例的映射方法 734.2.3 基于概念定义的映射方法 744.2.4 基于概念结构的映射方法 744.2.5 基于规则的映射方法 754.2.6 基于统计学的映射方法 754.2.7 基于机器学习的映射方法 754.2.8 本体代数方法 764.2.9 本体聚类方法 764.3 本体映射方法的分类 764.3.1 模式级与实例级 774.3.2 匹配粒度(元素级与结构级) 774.3.3 基于语言与基于约束 774.3.4 匹配基数 784.4 本体映射典型系统介绍 784.4.1 Cupid 784.4.2 COMA 794.4.3 SF方法 794.4.4 OntoMorph系统 804.4.5 S-Match动态多维概念映射算法 804.5 目前本体映射存在的问题 80第5章 基于本体的概念语义相似度和相关度计算 835.1 概念语义相似度和相关度研究概述 845.1.1 语义相似度和相关度的概念及两者的关系 845.1.2 常用的语义相似度和相关度计算方法 855.1.3 语义相似度和相关度的评估方法 865.1.4 概念语义相似度和相关度的研究现状 865.2 基于知网的词语语义相似度计算研究 875.2.1 知网简介 875.2.2 基于知网的词语语义相似度计算 895.2.3 基于知网的词语语义相似度计算的改进与实现 915.3 基于领域本体的概念语义相似度和相关度的计算研究 945.3.1 基于领域本体的概念语义相似度计算 965.3.2 基于领域本体的概念语义相关度计算 1015.3.3 结合领域本体的语义相似度和语义相关度的计算方法 1025.4 基于概念相似度和相关度的查询扩展 1035.4.1 查询扩展技术概述 1035.4.2 基于本体的查询扩展 1045.4.3 基于领域本体概念间相似度和相关度的查询扩展 104第三篇 本体推理方法——描述逻辑 109第6章 基本描述逻辑ALC 1116.1 描述逻辑及其发展 1116.1.1 描述逻辑概述 1116.1.2 描述逻辑的发展过程 1136.1.3 描述逻辑的研究内容 1146.2 基本描述逻辑ALC简介 1146.2.1 基本描述逻辑ALC的语法与语义 1146.2.2 基本描述逻辑ALC的知识库 1156.2.3 基本描述逻辑ALC中的推理概述 1166.2.4 基本描述逻辑ALC的推理过程 1176.2.5 用Tableau算法进行推理的例子 120第7章 扩展描述逻辑ALC＋形式系统 1247.1 扩展描述逻辑ALC＋的形式化公理体系 1247.1.1 扩展描述逻辑ALC＋的语法 1247.1.2 扩展描述逻辑ALC＋的语义 1257.1.3 扩展描述逻辑ALC＋公理及其解释说明 1277.2 扩展描述逻辑ALC＋的基本性质 1307.3 扩展描述逻辑ALC＋系统的可靠性和完全性 1497.4 扩展描述逻辑ALC＋到谓词逻辑的转换 1617.5 扩展描述逻辑ALC＋与框架表示法的关系 1627.5.1 框架及其组成 1627.5.2 基于框架的知识库到扩展描述逻辑ALC＋表示的知识库转换过程 1637.5.3 基于框架的知识库到扩展描述逻辑ALC＋表示的知识库转换示例 1637.6 扩展描述逻辑ALC＋与简单概念图的关系 1647.6.1 简单概念图 1647.6.2 简单概念图与扩展描述逻辑ALC＋的关系对应 165第8章 Web本体语言OWL与扩展描述逻辑ALC＋的关系 1678.1 Web本体语言OWL简介 1678.1.1 Web本体语言OWL的设计目标 1678.1.2 Web本体语言OWL的语法 1688.2 扩展描述逻辑ALC＋与OWL的对应 1708.2.1 构造器的对应 1708.2.2 扩展描述逻辑ALC＋描述OWL中的部分公理 1718.3 本体语言OWL描述的知识用扩展描述逻辑ALC＋表示及推理的示例 172第9章 描述逻辑的应用 1779.1 描述逻辑应用于概念建模 1779.2 描述逻辑应用于软件工程领域 1799.2.1 LaSSIE系统和CODEBASE系统 1809.2.2 CSIS和CBMS系统 1819.3 描述逻辑应用于语义Web 183第四篇 本体应用系统 185第10章 基于本体的语义检索原型系统设计与实现研究 18710.1 基于本体的语义检索模型设计 18710.1.1 本体建立与管理模块 18810.1.2 信息获取模块 18910.1.3 Lucene检索引擎模块 18910.1.4 用户查询扩展和结果反馈模块 19010.2 基于本体的语义检索原型系统设计与实现 19010.2.1 系统开发平台及工具 19110.2.2 基于本体的语义检索原型系统各模块的设计与实现 19110.2.3 语义检索原型系统和传统信息检索系统的检索效果对比 194第11章 基于本体的科学家资源服务平台研究 19911.1 概述 19911.1.1 主要研究工作 19911.1.2 技术方案 19911.2 主要功能 20011.2.1 科学家资源信息的获取 20011.2.2 基于语义Web的科学家资源领域本体构建研究 20011.2.3 基于本体的科学家信息资源网站自动生成技术研究 20111.2.4 科学家资源个性化推荐技术研究 20111.2.5 基于本体的科学家信息服务综合集成平台 20111.3 科学家资源关系数据库数据模型构建 20211.3.1 科学家基础数据 20311.3.2 科学家科研项目数据 20311.3.3 科学家科研成果数据 20411.3.4 其他数据对象 20511.3.5 科学家资源关系数据库中数据字段与本体推理的关系 20511.4 科学家资源本体库构建 20611.4.1 科学家资源概念层次树 20611.4.2 科学家资源本体中的常用关系 20611.4.3 谓词定义与扩展 20711.4.4 操作符定义 20811.4.5 IF-THEN规则表示 20911.4.6 科学家资源服务的基本知识推理 209附录一 研究领域专业术语 211附录二 重要的Web资源 212附录三 RDF类 213附录四 RDF属性 214附录五 OWL类 215

　　《本体方法及其应用》系统地介绍项目团队近几年对本体理论及其技术的研究成果，包括本体基础、语义Web与本体描述语言、本体构建、本体映射、基于本体的概念语义相似度和相关度计算、基本描述逻辑ALC、扩展描述逻辑ALC+形式系统、Web本体语言OWL与扩展描述逻辑ALC+的关系、描述逻辑的应用、基于本体的语义检索原型系统设计与实现、基于本体的科学家资源服务平台研究等。通过《本体方法及其应用》，读者能够对本体理论及其技术有更系统的理解和掌握。