本體推理中組合推理機制的研究.pdf

1、隨著互聯(lián)網(wǎng)的飛速發(fā)展，網(wǎng)絡上的數(shù)據(jù)也出現(xiàn)了爆發(fā)式增長，在帶給人們方便的同時，也使得人們獲取有效的知識變得越來越難。本體作為一種對知識的有效管理及應用方法開始被廣泛地應用到各個領域，但是構建的本體中會存在隱性知識。推理機可以很方便的對于本體中的隱性知識進行顯化。目前常用的推理機都是通過描述邏輯推理算法或者規(guī)則推理算法來實現(xiàn)對整個本體的推理，本體中的Abox部分通過描述邏輯推理時，需要考慮整個實例層的情況，效率較低，并且在對于隱性知識顯化方

2、面，描述邏輯幾乎不能實現(xiàn)。Tbox部分通過規(guī)則推理時，無法保證推理的完備性。
　　針對以上情況，本文研究了現(xiàn)有推理機的推理算法和特點，并分析了推理機在本體推理中的性能，通過構建組合推理模型來擴展了推理機的功能，提升了推理的效率。主要完成的工作有:討論了本體論及知識推理方面的研究成果，研究了本體知識推理的機制和實現(xiàn)技術。比較分析了目前常用的通用和專用推理機的特點，并根據(jù)推理機的特點構建了組合推理模型。在進行推理的過程中，通過OWL

3、API實現(xiàn)了本體中Tbox和Abox的分離。對于Tbox部分采用了Pellet進行推理，對于Abox部分將相應本體公理改寫為實例化的規(guī)則后采用了Jena進行推理。在推理的過程中通過對本體推理規(guī)則的歸并操作進行了優(yōu)化，提升了推理的效率。分析比較了現(xiàn)有的本體構建方法，并通過Protégé實現(xiàn)了本體的構建，并且，根據(jù)構建的本體的特點，定義了一部分推理規(guī)則。
　　最后，通過實驗驗證了組合推理機的性能。并結合構建的本體實現(xiàn)了一個本體的推理查