一種面向多本體上下文的相關(guān)性表示方法及推理研究.pdf

1、基于描述邏輯的本體是構(gòu)建下一代互聯(lián)網(wǎng)——語(yǔ)義Web的重要基礎(chǔ)。本體語(yǔ)言使用含有語(yǔ)義的元數(shù)據(jù)對(duì)分布的網(wǎng)絡(luò)資源進(jìn)行描述，并利用描述邏輯提供的推理工具，作為知識(shí)共享的媒介，使計(jì)算機(jī)能夠自動(dòng)理解和處理網(wǎng)絡(luò)知識(shí)。 然而由于網(wǎng)絡(luò)的開(kāi)放性、離散性等特點(diǎn)以及本體模塊化建模、本體應(yīng)用領(lǐng)域差異等原因，造成構(gòu)建的本體也具有離散的特點(diǎn)。這在本體的應(yīng)用過(guò)程中將產(chǎn)生諸如知識(shí)庫(kù)不一致、推理不準(zhǔn)確、難于部分復(fù)用等結(jié)果，迫切需要一種能夠支持本地化描述和理解上下文

2、語(yǔ)義的模塊化本體語(yǔ)言，在對(duì)本體進(jìn)行映射和集成的過(guò)程中，消除由于模塊化帶來(lái)的各種問(wèn)題，并在此前提下進(jìn)行正確的知識(shí)推理。 由本體知識(shí)的開(kāi)放性特點(diǎn)引起的另外一個(gè)問(wèn)題是知識(shí)獲取中的“信息過(guò)載”問(wèn)題。本體與傳統(tǒng)的數(shù)據(jù)和應(yīng)用不同，基于Open—world假設(shè)的本體知識(shí)在理論上是無(wú)限的擴(kuò)展的，這種假設(shè)一方面使得本體知識(shí)能夠非常容易得到擴(kuò)展，也符合Web的根本特征，但另一方面也限制了本體在實(shí)時(shí)系統(tǒng)以及移動(dòng)便攜設(shè)備等要求輕量級(jí)的本體知識(shí)的應(yīng)用。因

3、此，研究如何表示以及提取與上下文相關(guān)的知識(shí)，將是本體應(yīng)用研究的一個(gè)重要方面。同時(shí)，由于構(gòu)建上下文的特殊性，多個(gè)上下文本體（或者多個(gè)源知識(shí)本體）同時(shí)存在的情況非常普遍，因此需要利用本體的模塊化方法對(duì)多本體上下文進(jìn)行整合再進(jìn)行知識(shí)獲取。 本文針對(duì)上下文相關(guān)的知識(shí)獲取問(wèn)題，結(jié)合對(duì)模塊化本體語(yǔ)言的研究，提出了一種面向多本體上下文的相關(guān)性表示方法及其推理算法。論文主要研究成果如下： （1）對(duì)模塊化本體語(yǔ)言進(jìn)行了深入的研究與分析，比

4、較了現(xiàn)有的DDL、ε—connections和P—DL等理論的優(yōu)勢(shì)與不足，基于P—DL給出了一種符合多上下文相關(guān)性表示需求的模塊化本體表示方法，并通過(guò)對(duì)現(xiàn)有的OWL本體建模語(yǔ)言增加約束，給出了一個(gè)模塊化本體的OWL兼容性解決方案； （2）針對(duì)多本體上下文獲取輕量級(jí)相關(guān)性知識(shí)的需求，給出了面向多本體上下文的相關(guān)性表示模型的形式化描述，以及從源本體中獲取上下文相關(guān)知識(shí)的推理算法； （3）最后，基于OWL API和Protég