開(kāi)放環(huán)境下本體演化方法

第1章 緒論 1
1．1 背景知識(shí) 1
1．2 國(guó)內(nèi)外相關(guān)研究 4
1．2．1 本體演化及其過(guò)程 4
1．2．2 開(kāi)放環(huán)境下本體演化研究的現(xiàn)狀 11
1．3 當(dāng)前存在的問(wèn)題 17
1．4 本書內(nèi)容組織 18
第2章 本體演化技術(shù)概述 21
2．1 描述邏輯與本體 21
2．2 OWL語(yǔ)言的邏輯基礎(chǔ) 24
2．3 本體推理任務(wù) 27
2．4 本體演化方法 31
2．5 本章小結(jié) 35
第3章 基于Alloy的本體推理 36
3．1 背景知識(shí) 36
3．2 Alloy語(yǔ)言 37
3．3 OWL到Alloy轉(zhuǎn)換過(guò)程 38
3．3．1 解析過(guò)程 39
3．3．2 生成Alloy模型 41
3．3．3 實(shí)例分析 46
3．4 Alloy Analyzer支持的OWL本體推理 47
3．4．1 基于Alloy的TBox推理 47
3．4．2 基于Alloy的ABox推理 51
3．5 實(shí)驗(yàn)數(shù)據(jù)對(duì)比 53
3．6 本章小結(jié) 55
第4章 改進(jìn)的基于SAT的本體推理 56
4．1 引言 56
4．2 基于SAT的本體一致性檢測(cè)框架 57
4．3 中間語(yǔ)言定義 58
4．3．1 本體可滿足性問(wèn)題 58
4．3．2 中間語(yǔ)言定義 60
4．3．3 抽象語(yǔ)法 61
4．3．4 語(yǔ)義 61
4．4 OWL語(yǔ)言與中間語(yǔ)言之間的轉(zhuǎn)換規(guī)則 63
4．5 實(shí)例分析 66
4．6 實(shí)驗(yàn)對(duì)比分析 69
4．7 極小不可滿足子句集MU提取 72
4．8 本章小結(jié) 75
第5章 本體演化變更序列的沖突檢測(cè)算法 76
5．1 引言 76
5．2 基本概念 77
5．3 沖突定義及檢測(cè) 84
5．3．1 內(nèi)部沖突 84
5．3．2 直接沖突 86
5．3．3 不一致沖突 88
5．4 實(shí)驗(yàn)分析 95
5．5 本章小結(jié) 97
第6章 開(kāi)放環(huán)境下本體演化變更序列語(yǔ)義沖突檢測(cè)算法 98
6．1 引言 98
6．2 沖突變更序列矩陣模型 99
6．3 求解最小碰集序列 104
6．4 最小碰集概率排序 107
6．5 實(shí)例分析 109
6．6 本章小結(jié) 113
第7章 基于概念格的本體版本差異檢測(cè)方法 114
7．1 引言 114
7．2 概念格模型與版本格 115
7．2．1 概念格相關(guān)概念 115
7．2．2 版本空間與版本格 117
7．3 基于版本格的版本差異檢測(cè)算法 118
7．3．1 無(wú)參差異檢測(cè) 119
7．3．2 有參差異檢測(cè) 124
7．4 相關(guān)工作 127
7．5 本章小結(jié) 128
第8章 開(kāi)放環(huán)境下本體演化原型系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn) 129
8．1 開(kāi)放環(huán)境下本體演化原型系統(tǒng)架構(gòu) 129
8．2 非標(biāo)準(zhǔn)推理模塊 133
8．3 沖突檢測(cè)模塊 136
8．4 語(yǔ)義沖突診斷模塊 137
8．5 版本差異檢測(cè)器 139
8．6 本章小結(jié) 140
參考文獻(xiàn)