●第1章 緒論 1
●1.1 背景知識 1
●1.2 國內外相關研究 4
●1.2.1 本體演化及其過程 4
●1.2.2 開放環境下本體演化研究的現狀 11
●1.3 當前存在的問題 17
●1.4 本書內容組織 18
●第2章 本體演化技術概述 21
●2.1 描述邏輯與本體 21
●2.2 OWL語言的邏輯基礎 24
●2.3 本體推理任務 27
●2.4 本體演化方法 31
●2.5 本章小結 35
●第3章 基於Alloy的本體推理 36
●3.1 背景知識 36
●3.2 Alloy語言 37
●3.3 OWL到Alloy轉換過程 38
●3.3.1 解析過程 39
●3.3.2 生成Alloy模型 41
●3.3.3 實例分析 46
●部分目錄

本體是共享概念模型的明確的形式化的規範說明。其重要性已在知識工程、智能信息集成、信息檢索與獲取、軟件工程、自然語言處理、普適計算等許多方面有所體現。
本書全面概括了本體演化的一些方法，重點研究開放環境下本體演化中的本體一致性推理算法、本體演化序列內部與序列之間的衝突檢測、衝突診斷算法和本體演化多版本差異檢測算法，同時就所涉及的算法進行了繫統的實驗和比較。
本書可作為本體推理、本體演化領域開發人員和技術人員的參考書，對本體演化衝突檢測有一定的參考價值。