本體通用模塊的外部語(yǔ)言的擴(kuò)充機(jī)制——理論及應(yīng)用研究.pdf

1、本體的設(shè)計(jì)，維護(hù)和整合都是高度復(fù)雜的任務(wù)，尤其是形式化了的本體。像軟件工程一樣，本體領(lǐng)域中也引入了“模塊”的概念，來(lái)支持本體的重用和本體的整合等一些需要。但在執(zhí)行這些操作之后，應(yīng)該確保新的結(jié)果本體是原來(lái)本體的保守?cái)U(kuò)充，這一點(diǎn)是非常重要的。
　　在本文中，我們主要專注于利用“通用模塊”來(lái)支持本體的部分重用。給定一個(gè)本體Q，我們要從這個(gè)外部本體中獲取一個(gè)我們需要的小片段Q1，這個(gè)小片段就是我們說(shuō)的“通用模塊”。并且應(yīng)確保該模塊用于其他

2、本體后，不能引起原有本體產(chǎn)生新的邏輯結(jié)果。bernardo cuenca grau和lan horrocks等多位學(xué)者對(duì)本體的模塊化和模塊的提取做了重要貢獻(xiàn)，給出了模塊化的方法。本文在此基礎(chǔ)上，對(duì)通用模塊做了深入研究，首次提出“TBox通用模塊+ABox通用模塊=通用模塊”的想法。
　　文章的主要工作內(nèi)容和研究成果總結(jié)如下:
　　(1)討論了本體的模塊、內(nèi)部性概念和本體的模塊化，并在此基礎(chǔ)上給出通用模塊的概念。接著又給出了一