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

定　價(jià)：￥49.00

作　者：	宋英杰，劉亞清，張斌，辛?xí)?著
出版社：	人民郵電出版社
叢編項(xiàng)：
標(biāo)　簽：	計(jì)算機(jī)?網(wǎng)絡(luò) 計(jì)算機(jī)理論

購買這本書可以去

ISBN：	9787115469076	出版時(shí)間：	2017-09-01	包裝：	平裝
開本：	大32開	頁數(shù)：	158	字?jǐn)?shù)：

內(nèi)容簡介

　　本體是共享概念模型的明確的形式化的規(guī)范說明。其重要性已在知識(shí)工程、智能信息集成、信息檢索與獲取、軟件工程、自然語言處理、普適計(jì)算等許多方面有所體現(xiàn)。本書全面概括了本體演化的一些方法，重點(diǎn)研究開放環(huán)境下本體演化中的本體一致性推理算法、本體演化序列內(nèi)部與序列之間的沖突檢測、沖突診斷算法和本體演化多版本差異檢測算法，同時(shí)就所涉及的算法進(jìn)行了系統(tǒng)的實(shí)驗(yàn)和比較。本書可作為本體推理、本體演化領(lǐng)域開發(fā)人員和技術(shù)人員的參考書，對(duì)本體演化沖突檢測有一定的參考價(jià)值。

作者簡介

　　宋英杰，劉亞清，張斌，辛?xí)?著

圖書目錄

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