發(fā)布時(shí)間：2021-04-12 11:41

　　在本體應(yīng)用中,建立一個(gè)高質(zhì)量本體并對其進(jìn)行管理和維護(hù)是非常重要的。然而在實(shí)際應(yīng)用中,很難構(gòu)建出一個(gè)沒有錯誤的本體。本體不一致的原因主要有對概念的理解和定義上的錯誤、一詞多義、本體格式變化以及不同來源的本體進(jìn)行合并等幾個(gè)方面。在經(jīng)典推理中,本體若含有邏輯沖突,可以推斷出任何結(jié)論。因此,對含有邏輯沖突的本體進(jìn)行推理是毫無意義的。為避免這種情況,必須要對本體的邏輯錯誤進(jìn)行診斷并處理,這是確保本體質(zhì)量、提高推理效率的重中之重。本文介紹了本體不一致調(diào)試的研究現(xiàn)狀,并在分析了黑盒法和白盒法兩種主要本體調(diào)試方法的基礎(chǔ)上,重點(diǎn)對黑盒法優(yōu)化算法中的選擇函數(shù)算法進(jìn)行了研究。本文的主要貢獻(xiàn)包括:（1）將深度優(yōu)先搜索策略應(yīng)用于選擇函數(shù)算法,提出了選擇函數(shù)深度優(yōu)先的搜索策略:在本體調(diào)試的擴(kuò)張階段,通過公理相關(guān)有針對地選擇公理,并在選擇公理的過程中對相關(guān)公理圖進(jìn)行深度優(yōu)先的搜索,算法主要通過棧來實(shí)現(xiàn)。（2）提出緩存窗口機(jī)制來記錄選擇函數(shù)搜索到的公理數(shù)目。選擇函數(shù)算法中,每添加一條新的公理便調(diào)用一次推理機(jī),造成了時(shí)間和資源的浪費(fèi)。針對此本文提出了緩存窗口優(yōu)化機(jī)制:在擴(kuò)張過程中設(shè)置一個(gè)緩存窗口,只有當(dāng)新添加的公理數(shù)目... 

【文章來源】：吉林大學(xué)吉林省 211工程院校 985工程院校 教育部直屬院校

【文章頁數(shù)】：51 頁

【學(xué)位級別】：碩士

【部分圖文】：

語義Web層次體系在語義Web的七層結(jié)構(gòu)中，本體層居于中心地位

圖 2.1 描述邏輯知識庫系統(tǒng)框架術(shù)語集 TBox 主要由概念和角色兩部分以及構(gòu)造算子組成：概念(Concep于一階邏輯中的一元謂詞，用于描述擁有共同屬性和特征的類；角色(Rol

圖 2.2 黑盒法擴(kuò)張收縮描述圖算法首先選定術(shù)語集中的一個(gè)不可滿足概念，然后進(jìn)行擴(kuò)張和收縮。在擴(kuò)張階段，算法不斷隨機(jī)從術(shù)語集中選擇公理，每選擇出一條公理，調(diào)用一次推理機(jī)

【參考文獻(xiàn)】：
期刊論文
[1]本體推理機(jī)求解Mups的性能評測研究[J]. 歐陽丹彤,張瑜,葉育鑫.  計(jì)算機(jī)學(xué)報(bào). 2017(06)

博士論文
[1]本體不一致問題研究[D]. 李冬梅.北京交通大學(xué) 2014
[2]描述邏輯概念可滿足性推理研究[D]. 古華茂.浙江大學(xué) 2009



本文編號：3133237