SHJF本體的模塊化重用研究.pdf

1、隨著Web技術的快速發(fā)展和本體在計算機領域的廣泛應用，本體的構建和維護必須達到更高水平，傳統(tǒng)的從零開始構建本體的方式已經不能滿足高質量大規(guī)模本體構建的要求。目前，國內外許多學者都致力于解決此問題，所用的具體方法不盡相同，但都認為本體模塊的抽取和重用是大規(guī)模本體構建和維護的關鍵。
　　目前，較流行的本體模塊抽取算法幾乎都是使用結構化方法遍歷類的層次，忽略本體的語義信息;同時，實用的本體重用技術大多是重用整個本體，而不是本體模塊，且不

2、考慮重用的安全性。為了克服這些缺點，本文提出了邏輯的方法充分利用本體語義信息，從大規(guī)模本體中抽取相關模塊;同時，提出了安全的本體模塊重用模型。
　　本文的主要研究工作和創(chuàng)新點:
　　(1)在研究描述邏輯理論和保守擴展標準的基礎上，根據(jù)Grau BC等人提出的SHOJQ本地性規(guī)則，本文給出SHJF對應的SEMLOC規(guī)則和SYNLOC規(guī)則。證明SEMLOC規(guī)則是本體模塊抽取的充分條件;使用描述邏輯的Tableau算法進行推理，證