基于OBDD的描述邏輯循環(huán)術(shù)語集推理算法研究.pdf

1、描述邏輯(Description Logic)作為基于對(duì)象的知識(shí)表示的形式化工具,廣泛地應(yīng)用在信息系統(tǒng)、數(shù)據(jù)庫(kù)、軟件工程、自然語言處理和網(wǎng)絡(luò)智能訪問等領(lǐng)域。尤其是在語義網(wǎng)快速發(fā)展的當(dāng)前,描述邏輯已成為其本體層語言O(shè)WL的邏輯基礎(chǔ)。在語義Web中,對(duì)本體的推理和查詢可以轉(zhuǎn)化為描述邏輯中的推理問題。
　　循環(huán)術(shù)語集是指存在循環(huán)定義的 TBox?，F(xiàn)有的大部分描述邏輯推理系統(tǒng)都假設(shè)TBox中不存在循環(huán)定義。然而,使用循環(huán)定義能夠刻畫出更符

2、合人們直覺的知識(shí),并且在TBox的形式上能夠更加簡(jiǎn)練。因此,解決TBox中的循環(huán)定義問題是具有十分重要意義的。
　　OBDD是布爾函數(shù)的等價(jià)規(guī)范型,它能有效地緩解乃至避免處理大規(guī)模問題時(shí),對(duì)布爾函數(shù)進(jìn)行操作而可能出現(xiàn)的狀態(tài)組合爆炸問題,并且已成功地應(yīng)用于命題邏輯、一階謂詞邏輯、線性時(shí)態(tài)邏輯以及分支時(shí)態(tài)邏輯的推理中。
　　本文將OBDD引入到描述邏輯循環(huán)術(shù)語集的推理研究中,完成了如下工作:
　　(1)針對(duì)由描述邏輯εL刻

3、畫的循環(huán)術(shù)語集,分別給出基于OBDD的最大不動(dòng)點(diǎn)語義下和最小不動(dòng)點(diǎn)語義下對(duì)概念之間包含關(guān)系進(jìn)行判定的算法。
　　(2)在前一工作基礎(chǔ)上,對(duì)描述邏輯εLN刻畫的循環(huán)術(shù)語集,分別給出基于OBDD最大不動(dòng)點(diǎn)語義下和最小不動(dòng)點(diǎn)語義下對(duì)概念之間包含關(guān)系進(jìn)行判定的算法。
　　(3)編程實(shí)現(xiàn)了“描述邏輯 EL循環(huán)術(shù)語集推理機(jī)”系統(tǒng),并將該推理機(jī)與基于Tableau算法的 Pellet推理機(jī)進(jìn)行實(shí)驗(yàn)對(duì)比,通過實(shí)驗(yàn)數(shù)據(jù)進(jìn)行分析,得出各自的優(yōu)缺