当前位置:首页 > 文化科学教育体育
本体评价与本体不一致诊断
本体评价与本体不一致诊断

本体评价与本体不一致诊断PDF电子书下载

文化科学教育体育

  • 电子书积分:10 积分如何计算积分?
  • 作 者:宋丹辉著
  • 出 版 社:郑州:河南医科大学出版社
  • 出版年份:2016
  • ISBN:9787564529512
  • 页数:226 页
图书介绍:本书从若干类不一致实例入手,系统全面的介绍本体开发、本体评价、本体测试及不一致诊断等背景知识,阐述本体评价和诊断在保证本体语义正确性方面的重要作用。在此基础上,第二章对本体相关知识进行详细的解释和分析,包括本体构成元素、本体描述语言、本体分类、本体构建与开发工具等,并对本体评价的原理及演进过程进行系统全面的梳理。随后用一章的篇幅明确了本体不一致诊断的困难之处、现有的解决方案、存在的问题等,同时针对将要研究的复杂应用本体的不一致诊断问题,详尽分析介绍了更多直接相关的技术,如模型诊断法、根辨解法、简洁辨解法、反模式探测法等,同时也提供了大量与本体诊断工具相关的知识。第四章是本书的主体和主要创新部分,在借鉴数理逻辑和软件测试等领域成熟思想的基础上,设计了相应的不一致诊断流程和算法,进行了计算与需求不符的根本性冲突、筛选最大限度保留原本体语义的目标诊断等工作。实证研究章节内容丰富,既有理论分析、实证框架设计,又有应用实例,具有较高参考价值。
《本体评价与本体不一致诊断》目录

第1章 绪言 1

1.1 研究背景 1

1.2 研究目标和意义 8

1.3 基本概念 11

1.4 研究内容 16

1.5 研究思路 17

1.6 本书结构 19

第2章 本体及本体评价概述 21

2.1 本体概述 21

2.2 本体评价概述 41

2.3 本章小结 76

第3章 本体不一致诊断概述 78

3.1 本体不一致的类型 79

3.2 本体不一致问题演进 81

3.3 本体不一致诊断的思路与方法 84

3.4 辨解的特性及其核心技术 91

3.5 最小诊断的特性及其核心技术 97

3.6 相关本体诊断工具及存在的问题 101

3.7 本章小结 106

第4章 面向应用需求的本体不一致诊断流程 108

4.1 面向应用需求不一致诊断概述 109

4.2 计算辨解过程特性分析 118

4.3 筛选诊断过程特性分析 122

4.4 面向应用需求不一致诊断流程的构建 125

4.5 本章小结 129

第5章 计算简洁根辨解的方法研究 131

5.1 基本思路与流程 131

5.2 启发式简洁根辨解法的主要任务 133

5.3 启发式简洁根辨解法的实践验证 143

5.4 对实验结果的分析 163

5.5 本章小结 169

第6章 筛选目标诊断的方法研究 171

6.1 基本思路与流程 171

6.2 启发式筛选诊断法的主要任务 173

6.3 启发式筛选诊断法的实践验证 178

6.4 对实验结果的分析 195

6.5 本章小结 197

第7章 结论及研究展望 198

7.1 主要贡献与创新 200

7.2 存在问题及不足 200

7.3 研究展望 201

附录一 缩略语简写说明 203

附录二 反模式的类型、原理、形式化表达及修改方法 204

参考文献 209

后记 226

相关图书
作者其它书籍
返回顶部