發(fā)布時間：2017-07-30 02:00

  本文關鍵詞：面向語義物聯(lián)網(wǎng)的語義匹配算法設計與系統(tǒng)實現(xiàn)

  更多相關文章： 語義匹配 邏輯推演 S-Match 可計算性邏輯CL4

【摘要】：為了解決物聯(lián)網(wǎng)(Internet of Things)的內(nèi)在矛盾,引入了語義協(xié)同(Semantic Collaboration),形成新一代網(wǎng)絡--語義物聯(lián)網(wǎng)(Semantic Web of Things)。但語義協(xié)同過程中存在兩個主要問題：一是容易出現(xiàn)語義失配,不利于物的信息的全球共享；二是傳統(tǒng)邏輯表達能力不足以及最終系統(tǒng)的半可判定性,導致計算機推理(邏輯公式的可計算性)的不可持續(xù)性。本文提出了在語義物聯(lián)網(wǎng)中基于邏輯公式推演的語義匹配算法來解決上述問題,彌補了現(xiàn)有大多數(shù)采用結(jié)構(gòu)相似度的語義匹配算法所帶來的缺陷。在概念層次上,采用了一種改進的S-Match匹配算法；在實例層次上,提出了一種基于可計算性邏輯CL4的本體表示和語義匹配算法；將語義協(xié)調(diào)問題,從計算各種結(jié)構(gòu)相似度的問題,轉(zhuǎn)化為到推導邏輯公式集之間關系的問題；保證了在開放環(huán)境下推理的自動性與完整性,并保證始終可推。根據(jù)以上提出的算法,本文提出了面向語義物聯(lián)網(wǎng)的語義匹配框架,通過加載、一致性維護、規(guī)則構(gòu)建、推理與服務推薦五個功能模塊,使用自然語言處理及可視化編程等技術,設計并實現(xiàn)了面向語義物聯(lián)網(wǎng)的語義匹配系統(tǒng)。最后,利用測試集對系統(tǒng)進行測試,通過查準率和查全率兩大指標對算法及系統(tǒng)進行驗證。實驗結(jié)果表明,本文設計的算法與系統(tǒng)能夠有效地為用戶提供高質(zhì)量的語義協(xié)同服務。
【關鍵詞】：語義匹配 邏輯推演 S-Match 可計算性邏輯CL4
【學位授予單位】：大連海事大學
【學位級別】：碩士
【學位授予年份】：2016
【分類號】：TP391.44;TN929.5
【目錄】：

• 摘要5-6
• ABSTRACT6-9
• 第1章 緒論9-14
• 1.1 選題背景和意義9-10
• 1.2 國內(nèi)外研究現(xiàn)狀10-11
• 1.2.1 語義物聯(lián)網(wǎng)研究現(xiàn)狀10-11
• 1.2.2 語義匹配研究現(xiàn)狀11
• 1.3 研究內(nèi)容和框架11-12
• 1.4 論文結(jié)構(gòu)安排12-14
• 第2章 面向語義物聯(lián)網(wǎng)的語義匹配理論基礎14-26
• 2.1 物聯(lián)網(wǎng)14-15
• 2.1.1 物聯(lián)網(wǎng)的性質(zhì)14
• 2.1.2 物聯(lián)網(wǎng)的屬性14-15
• 2.2 語義物聯(lián)網(wǎng)15-16
• 2.2.1 物聯(lián)網(wǎng)的改進15
• 2.2.2 語義網(wǎng)的性質(zhì)15
• 2.2.3 本體15-16
• 2.2.4 建模方法16
• 2.3 語義匹配16-17
• 2.3.1 語義匹配概念16
• 2.3.2 概念層次語義匹配16-17
• 2.3.3 實例層次語義匹配17
• 2.4 改進的S-Match算法理論基礎17-19
• 2.4.1 自然語言處理技術18
• 2.4.2 WordNet簡介18
• 2.4.3 多策略匹配18
• 2.4.4 匹配方法對比18-19
• 2.5 可計算性邏輯CL4理論基礎19-22
• 2.5.1 CL4的語法20-21
• 2.5.2 CL4的語義21-22
• 2.5.3 CL4的語構(gòu)22
• 2.6 CL4為基礎進行本體表示與推理可行性分析22-25
• 2.7 本章小節(jié)25-26
• 第3章 語義匹配算法設計與系統(tǒng)分析26-40
• 3.1 面向語義物聯(lián)網(wǎng)的語義匹配系統(tǒng)總體設計26-27
• 3.1.1 語義匹配系統(tǒng)模型26-27
• 3.1.2 語義匹配系統(tǒng)功能分析27
• 3.2 語義匹配系統(tǒng)框架27-30
• 3.2.1 數(shù)據(jù)層28
• 3.2.2 中間件層28-30
• 3.2.3 服務層30
• 3.3 語義匹配算法設計30-39
• 3.3.1 改進的S-Match算法本體表示30-32
• 3.3.2 改進的S-Match語義匹配算法32-37
• 3.3.3 基于CL4的本體表示37-38
• 3.3.4 基于CL4的語義匹配算法38-39
• 3.4 本章小結(jié)39-40
• 第4章 面向語義物聯(lián)網(wǎng)的語義匹配系統(tǒng)的設計與實現(xiàn)40-56
• 4.1 系統(tǒng)設計40-46
• 4.1.1 總體設計40
• 4.1.2 模塊設計40-43
• 4.1.3 數(shù)據(jù)庫設計43-46
• 4.2 系統(tǒng)實現(xiàn)46-52
• 4.2.1 系統(tǒng)開發(fā)環(huán)境配置46-47
• 4.2.2 系統(tǒng)模塊的實現(xiàn)47-52
• 4.3 系統(tǒng)分析與評估52-55
• 4.3.1 實驗數(shù)據(jù)52-53
• 4.3.2 評估方法53
• 4.3.3 實驗結(jié)果與分析53-55
• 4.4 本章小結(jié)55-56
• 第5章 總結(jié)與展望56-59
• 5.1 研究結(jié)論56-57
• 5.2 工作展望57-59
• 參考文獻59-63
• 攻讀學位期間公開發(fā)表論文63-64
• 致謝64

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 劉衛(wèi)紅;;一種基于本體的語義匹配方法[J];電腦知識與技術;2008年10期

2 鄒杜;陳育青;張凌;;基于語義匹配的抄襲檢測方法(英文)[J];華南理工大學學報(自然科學版);2013年07期

3 符雙;周燕川;干露;魏忠;曹奇英;;一種半自動化的復雜語義匹配系統(tǒng)[J];計算機與數(shù)字工程;2009年03期

4 鄧小清;;網(wǎng)格資源語義匹配研究[J];科技信息;2011年18期

5 劉衛(wèi)紅;趙娟;;一種基于本體的語義匹配方法[J];微型電腦應用;2008年05期

6 陳默;王海燕;薛澄岐;邵將;;基于事件相關電位的產(chǎn)品意象-語義匹配評估[J];東南大學學報(自然科學版);2014年01期

7 張德芬;明仲;李師賢;蔡樹彬;;基于規(guī)則和語義匹配的模型合成研究[J];計算機應用研究;2011年09期

8 糜德吉;周良;丁秋林;;一種基于命名空間過濾的服務語義匹配算法[J];中國制造業(yè)信息化;2009年23期

9 石念峰;王國強;唐衛(wèi)清;;一種允許誤差的異構(gòu)圖形語義匹配技術[J];西南交通大學學報;2010年04期

10 張哲;;關系數(shù)據(jù)庫管理系統(tǒng)中支持基于本體的語義匹配[J];計算機與數(shù)字工程;2008年02期

中國重要會議論文全文數(shù)據(jù)庫 前1條

1 吳桂芳;劉俊;張倩倩;谷雨;;基于本體的語義匹配技術研究[A];2014第二屆中國指揮控制大會論文集（上）[C];2014年

中國博士學位論文全文數(shù)據(jù)庫 前1條

1 黃濤;知識服務的語義匹配機制研究[D];華中師范大學;2007年

中國碩士學位論文全文數(shù)據(jù)庫 前10條

1 張芳;“各種X”格式的語義匹配分析[D];華中師范大學;2015年

2 何彥東;面向個性化需求的云物流資源語義匹配方法研究及應用[D];重慶大學;2015年

3 晏家紅;面向語義物聯(lián)網(wǎng)的語義匹配算法設計與系統(tǒng)實現(xiàn)[D];大連海事大學;2016年

4 伍振興;基于概念格的語義匹配模型研究[D];湖南大學;2010年

5 李瑞霞;一種改進的基于本體的語義匹配算法研究[D];太原理工大學;2007年

6 張超;企業(yè)異構(gòu)數(shù)據(jù)集成中的多策略語義匹配方法研究[D];西北工業(yè)大學;2006年

7 邢昆明;基于語義匹配的Web服務發(fā)現(xiàn)和選擇問題的研究[D];中國石油大學（華東）;2013年

8 張杰;基于地理語義匹配的信息一體化檢索[D];中南大學;2013年

9 鄭文怡;XML標簽語義匹配的研究及應用[D];江蘇大學;2005年

10 陳志俊;語義Web服務發(fā)現(xiàn)機制研究[D];合肥工業(yè)大學;2011年

，

本文編號：591984