☆☆☆☆☆
簡體網頁||繁體網頁



點擊這裡下載

類似圖書 點擊查看全場最低價

---

編輯推薦

本書力求科學化、實用化和前沿化，使讀者能夠在有限的時間內瞭解本體一緻性非標準推理方法，以及開放環境下多人修改本體條件下的變更序列語義衝突檢測方法和衝突診斷方法。

內容簡介

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

目錄

第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
3．4 Alloy Analyzer支持的OWL本體推理 47
3．4．1 基於Alloy的TBox推理 47
3．4．2 基於Alloy的ABox推理 51
3．5 實驗數據對比 53
3．6 本章小結 55
第4章 改進的基於SAT的本體推理 56
4．1 引言 56
4．2 基於SAT的本體一緻性檢測框架 57
4．3 中間語言定義 58
4．3．1 本體可滿足性問題 58
4．3．2 中間語言定義 60
4．3．3 抽象語法 61
4．3．4 語義 61
4．4 OWL語言與中間語言之間的轉換規則 63
4．5 實例分析 66
4．6 實驗對比分析 69
4．7 極小不可滿足子句集MU提取 72
4．8 本章小結 75
第5章 本體演化變更序列的衝突檢測算法 76
5．1 引言 76
5．2 基本概念 77
5．3 衝突定義及檢測 84
5．3．1 內部衝突 84
5．3．2 直接衝突 86
5．3．3 不一緻衝突 88
5．4 實驗分析 95
5．5 本章小結 97
第6章 開放環境下本體演化變更序列語義衝突檢測算法 98
6．1 引言 98
6．2 衝突變更序列矩陣模型 99
6．3 求解最小碰集序列 104
6．4 最小碰集概率排序 107
6．5 實例分析 109
6．6 本章小結 113
第7章 基於概念格的本體版本差異檢測方法 114
7．1 引言 114
7．2 概念格模型與版本格 115
7．2．1 概念格相關概念 115
7．2．2 版本空間與版本格 117
7．3 基於版本格的版本差異檢測算法 118
7．3．1 無參差異檢測 119
7．3．2 有參差異檢測 124
7．4 相關工作 127
7．5 本章小結 128
第8章 開放環境下本體演化原型係統的設計與實現 129
8．1 開放環境下本體演化原型係統架構 129
8．2 非標準推理模塊 133
8．3 衝突檢測模塊 136
8．4 語義衝突診斷模塊 137
8．5 版本差異檢測器 139
8．6 本章小結 140
參考文獻
開放環境下本體演化方法 下載 mobi epub pdf txt 電子書

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

類似圖書 點擊查看全場最低價