本體通用模塊的外部語言的擴充機制——理論及應用研究.pdf

1、本體的設計，維護和整合都是高度復雜的任務，尤其是形式化了的本體。像軟件工程一樣，本體領域中也引入了“模塊”的概念，來支持本體的重用和本體的整合等一些需要。但在執(zhí)行這些操作之后，應該確保新的結果本體是原來本體的保守擴充，這一點是非常重要的。
　　在本文中，我們主要專注于利用“通用模塊”來支持本體的部分重用。給定一個本體Q，我們要從這個外部本體中獲取一個我們需要的小片段Q1，這個小片段就是我們說的“通用模塊”。并且應確保該模塊用于其他

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