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