王智學 張瑞

摘 要：本文以一個微型本體片段為例，采用程序切片技術(shù)對實驗本體進行抽取，內(nèi)容涉及基于本體的依賴圖構(gòu)建、分層化簡本體依賴圖的生成以及本體切片方法的設(shè)計，是程序切片技術(shù)在本體構(gòu)建領(lǐng)域的一種嘗試。

關(guān)鍵詞：微型本體片段；本體抽??；程序切片技術(shù)

程序切片（Program Slicing）是Mark.W于1979年在他的博士論文中第一次提出的一種用于分解程序的程序分析技術(shù)[1]。該方法是從程序中抽取出用戶感興趣的代碼，組成一個新的程序，即程序片。

本文以一個微型本體片段為例，將程序切片技術(shù)中的依賴圖構(gòu)建和切片生成算法映射到對實驗本體的抽取研究中，給出了本體的依賴圖定義、基于分層本體依賴圖的化簡規(guī)則以及本體切片的生成方法，是程序切片技術(shù)在本體構(gòu)建領(lǐng)域的一次應用探索。

1 本體依賴圖的構(gòu)建

本文基于本體定義元模型（ODM）構(gòu)建了實驗本體的本體依賴圖[2]，并給出了相關(guān)的定義，在此基礎(chǔ)上根據(jù)依賴的程度對圖進行了分層處理。

定義（本體依賴圖Ontology Dependent Graph，ODG）：一個本體的本體依賴圖是一個有向圖G=，其中V是節(jié)點的集合，E是邊的集合；節(jié)點的元素v=