一種基于圖誘導(dǎo)的本體結(jié)構(gòu)化語(yǔ)義測(cè)量和比較方法.pdf

1、隨著社會(huì)的高速發(fā)展，信息技術(shù)的發(fā)展也達(dá)到了一個(gè)新的高度。人們?cè)絹?lái)越重視信息的共享與有效信息的高效獲取，這就要依靠有效的信息表示和管理。在龐大的信息面前，人們更加努力尋求將這些信息集成和共享的方法。本體因其強(qiáng)大信息表示和推理能力成為實(shí)現(xiàn)這一目標(biāo)的首選技術(shù)。出于各種不同的應(yīng)用目的，各領(lǐng)域定義了許多不同的本體。但其中有些本體卻表達(dá)了相似的內(nèi)容。這些本體在命名或結(jié)構(gòu)上存在著許多差異，這就是本體異構(gòu)問(wèn)題。本體異構(gòu)是本體間互操作的主要障礙。構(gòu)建這么

2、多內(nèi)容相似的本體不僅浪費(fèi)時(shí)間和資源，還帶來(lái)了本體異構(gòu)和信息互操作上的問(wèn)題。本體復(fù)用技術(shù)是解決上述問(wèn)題的很好方案。測(cè)量和比較本體是實(shí)現(xiàn)本體復(fù)用的一種可行方案。然而現(xiàn)有的本體測(cè)量方法忽略了本體表示的多形性和隱含語(yǔ)義知識(shí)添加的問(wèn)題。解決這些問(wèn)題的一個(gè)方式是設(shè)計(jì)一種穩(wěn)定的本體測(cè)量方法，并滿足自動(dòng)化本體測(cè)量的基本原則。
　　本文提出了一種基于圖誘導(dǎo)表示(Graph Derivation Representation，GDR)的穩(wěn)定本體測(cè)量方

3、法，不僅能夠獲得本體的結(jié)構(gòu)化語(yǔ)義，而且能夠解決本體測(cè)量不穩(wěn)定的問(wèn)題。首先介紹和定義了語(yǔ)義測(cè)量(Semantic Measurement)和穩(wěn)定測(cè)量(StableMeasurement)的概念。提出了一個(gè)分三個(gè)階段將一個(gè)本體轉(zhuǎn)換成對(duì)應(yīng)的GDR的方法。在第一階段利用一些誘導(dǎo)規(guī)則將一個(gè)本體中的每個(gè)公理和斷言轉(zhuǎn)換成其對(duì)應(yīng)的GDR Ga;第二階段通過(guò)集成操作合并每個(gè)公理和斷言的GDR，生成給定本體的GDR Go，但這個(gè)Go還未經(jīng)處理;最后，通過(guò)消

4、除類的循環(huán)繼承、帶有傳遞屬性的間接關(guān)系來(lái)處理Go。通過(guò)這三個(gè)階段的處理，我們獲得了可用于穩(wěn)定本體測(cè)量的Go。進(jìn)一步分析了基于GDR的方法的一些重要屬性特征，從理論上證明了本體的GDR的唯一性、GDR保持了本體的語(yǔ)義和基于GDR的本體測(cè)量是穩(wěn)定的。最后，通過(guò)對(duì)許多案例本體進(jìn)行基于GDR的方法和現(xiàn)有的圖模型的方法的本體測(cè)量實(shí)驗(yàn)來(lái)驗(yàn)證本文提出的GDR方法在測(cè)量和比較本體方面的有效性。
　　根據(jù)本文提出的構(gòu)建GDR的方法，開(kāi)發(fā)了可在不同量