基于描述邏輯的本體推理技術(shù)研究.pdf

1、語義網(wǎng)為信息的自動(dòng)處理提供了可靠的網(wǎng)絡(luò)框架模式，它成為解決Web中信息雜亂，無法快速、有效地進(jìn)行檢索和維護(hù)的關(guān)鍵，因此受到人們的廣泛關(guān)注，成為當(dāng)前研究的熱點(diǎn)。本體定義了共享概念建模的形式化規(guī)范說明，它實(shí)現(xiàn)本體層Web信息的共享和交換，成為語義網(wǎng)研究的重點(diǎn)，但面對(duì)越來越多的不同領(lǐng)域本體，如何快速有效的實(shí)現(xiàn)知識(shí)的檢索、共享及相關(guān)處理成為了一個(gè)難題。本體推理就是要將顯式定義和聲明中隱藏的知識(shí)提取出來，促進(jìn)知識(shí)的共享和知識(shí)相關(guān)處理，它為解決上述

2、問題提供了思路。描述邏輯其自身具有良好知識(shí)表達(dá)和推理機(jī)制，因此對(duì)于基于描述邏輯的本體推理技術(shù)的研究具有重要的意義。
　　本文對(duì)本體推理過程中使用的算法和相關(guān)技術(shù)進(jìn)行了深入的研究，依據(jù)現(xiàn)有文獻(xiàn)發(fā)現(xiàn)當(dāng)前所使用的Tableau算法在推理中最壞時(shí)間復(fù)雜性是NExpTime，加之優(yōu)化技術(shù)效率并不明顯。因此，本文結(jié)合實(shí)際在Tableau算法的基礎(chǔ)上提出了一種優(yōu)化的概念分類算法，它能有效地提高本體推理的效率。通過實(shí)驗(yàn)對(duì)比，驗(yàn)證了優(yōu)化的概念分類算