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

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

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