本體在信息處理領(lǐng)域有著非常重要的作用。在過去的幾年里,本體和本體論技術(shù)取得了巨大的發(fā)展,如基因本體已經(jīng)發(fā)展到可以跨多個不同的醫(yī)療信息系統(tǒng)實現(xiàn)互操作,其提供了標準的術(shù)語和概念,從而實現(xiàn)了多個應(yīng)用程序之間數(shù)據(jù)的輕松傳輸和交互。然而,隨著語義網(wǎng)的快速發(fā)展,本體異構(gòu)問題就顯得尤為突出,傳統(tǒng)的本體構(gòu)建方法面臨著嚴峻的考驗。 為了克服網(wǎng)絡(luò)本體異構(gòu)問題,本文將軟件工程中模塊化的思想引入本體知識庫的構(gòu)建過程中。模塊化在本體的設(shè)計,維護和集成等方面非常重要,如本體的協(xié)同開發(fā),不同本體的集成。模塊化本體更容易實現(xiàn)本體的推理、擴展和重用。不幸的是,相對于其他學科,如軟件工程中模塊化是一個完善的概念,但模塊化本體構(gòu)建工程仍缺乏一個統(tǒng)一的、標準的模塊化構(gòu)建方法。針對這些問題,在基于分布式描述邏輯的基礎(chǔ)上,本文嘗試探索本體模塊化方法,重點研究了模塊化本體的形式化描述和模塊化本體推理技術(shù)。 首先,本文對目前本體形式化描述語言進行簡要的介紹,分析了目前主流本體構(gòu)建語言的優(yōu)缺點,重點對模塊化本體構(gòu)建語言的語法特征需求、語義特征需求進行詳細的研究,同時對當前比較流行的模塊化本體構(gòu)建語言DDL、E-connections、...

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

【學位級別】：碩士

【部分圖文】：

圖5-1DRAGO推理系統(tǒng)框圖

本章首先概括了基于DRAGO（DistributedReasoningArchitectureforaGaltologies）推理系統(tǒng)的模塊化本體設(shè)計和實現(xiàn)原則，然后對模塊化本體構(gòu)建方法論述。1DRAGO推理方法概述如圖5-1所示，DRAGO結(jié)構(gòu)如下：多個本....

圖5-2DRP主要功能組件

n圖5-2DRP主要功能組件采用Tableau推理算法對其進行評估，則對推理查詢進行了形式化布式知識庫應(yīng)用于把DL推理任務(wù)縮減到推理器中的一個推理任務(wù)檢測。形式化推理查詢被進一步交付給推理器的處理程序進行處理是DRP的核心組成部分。正如上一節(jié)所講，DRP推理器....

圖5-1測試試驗的三種拓撲結(jié)構(gòu)

(a)一個源模塊(b)兩個源模塊(c)三個源模塊圖5-1測試試驗的三種拓撲結(jié)構(gòu)百分比為20%，40%，60%，80%和100%五種情況。在有多個源本體經(jīng)考慮到了源之間平均分配問題。一個綜合性模塊化本體，采用以下評估方案：初始化模塊化本體DRAGO網(wǎng)絡(luò)，測量推理器載....

圖5-2CMT模塊化本體推理

（b）globe載入圖5-2CMT模塊化本體推理似的時間去確認。剩下的兩個變量dSat和gLoad在實驗中是易變的。在圖5-2,、圖5-3中，用圖表生動的描繪了這兩個變量的變化趨勢。隨著通過橋規(guī)則覆蓋目標本體數(shù)量的增多，處理整本體的難度就越大。不僅更難確認分布式描述邏輯的可滿足....

本文編號：3996914