發(fā)布時(shí)間：2024-06-29 00:53

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

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

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

【部分圖文】：

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

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

圖5-2DRP主要功能組件

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

圖5-1測(cè)試試驗(yàn)的三種拓?fù)浣Y(jié)構(gòu)

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

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

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

本文編號(hào)：3996914