本体评价与本体不一致诊断

书籍简介:

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

书籍规格:

书籍信息归属:

本体评价与本体不一致诊断是郑州大学出版社于2016.4出版的中图分类号为 G254.361 的主题关于 文献标引－计算机应用 的书籍。