王智學 張瑞
摘 要:本文以一個微型本體片段為例,采用程序切片技術對實驗本體進行抽取,內容涉及基于本體的依賴圖構建、分層化簡本體依賴圖的生成以及本體切片方法的設計,是程序切片技術在本體構建領域的一種嘗試。
關鍵詞:微型本體片段;本體抽取;程序切片技術
程序切片(Program Slicing)是Mark.W于1979年在他的博士論文中第一次提出的一種用于分解程序的程序分析技術[1]。該方法是從程序中抽取出用戶感興趣的代碼,組成一個新的程序,即程序片。
本文以一個微型本體片段為例,將程序切片技術中的依賴圖構建和切片生成算法映射到對實驗本體的抽取研究中,給出了本體的依賴圖定義、基于分層本體依賴圖的化簡規則以及本體切片的生成方法,是程序切片技術在本體構建領域的一次應用探索。
1 本體依賴圖的構建
本文基于本體定義元模型(ODM)構建了實驗本體的本體依賴圖[2],并給出了相關的定義,在此基礎上根據依賴的程度對圖進行了分層處理。
定義(本體依賴圖Ontology Dependent Graph,ODG):一個本體的本體依賴圖是一個有向圖G=,其中V是節點的集合,E是邊的集合;節點的元素v=