本體推理中組合推理機(jī)制的研究.pdf

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

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

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