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

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

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

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