内容简介：本体是共享概念模型的明确的形式化的规范说明。其重要性已在知识工程、智能信息集成、信息检索与获取、软件工程、自然语言处理、普适计算等许多方面有所体现。 本书全面概括了本体演化的一些方法，重点研究开放环境下本体演化中的本体一致性推理算法、本体演化序列内部与序列之间的冲突检测、冲突诊断算法和本体演化多版本差异检测算法，同时就所涉及的算法进行了系统的实验和比较。 本书可作为本体推理、本体演化领域开发人员和技术人员的参考书，对本体演化冲突检测有一定的参考价值。