2023年全國(guó)碩士研究生考試考研英語一試題真題(含答案詳解+作文范文)_第1頁
已閱讀1頁,還剩65頁未讀, 繼續(xù)免費(fèi)閱讀

下載本文檔

版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)

文檔簡(jiǎn)介

1、下一代語義網(wǎng)使用本體來表示知識(shí),引入規(guī)則來增強(qiáng)知識(shí)表達(dá)力和自動(dòng)推理能力。OWL-DL與SWRL分別是語義網(wǎng)中應(yīng)用最廣泛的本體語言和規(guī)則語言,兩者的結(jié)合具有強(qiáng)大的知識(shí)表達(dá)力。但由于SWRL規(guī)則的推理不可判定,無法得到可靠的推理算法,限制了其應(yīng)用。德國(guó)卡爾斯魯厄大學(xué)的Boris Motik等人將OWL-DL對(duì)應(yīng)的描述邏輯SHOIN(D)與規(guī)則結(jié)合,通過將規(guī)則限制在所謂的“DL-safe規(guī)則”(事實(shí)上是SWRL的一個(gè)可判定子集)范圍內(nèi),提出了

2、一種可滿足性檢測(cè)可判定的推理算法。但是在實(shí)際應(yīng)用中仍有大量含規(guī)則知識(shí)庫因其規(guī)則集不滿足“DL-safe規(guī)則”的嚴(yán)格限制而無法使用上述推理算法,本文旨在確保含規(guī)則知識(shí)庫的可滿足性檢測(cè)可判定的前提下,對(duì)“DL-safe規(guī)則”的限制進(jìn)行放松,使知識(shí)表示及推理的應(yīng)用范圍擴(kuò)大。主要內(nèi)容包括以下四個(gè)方面: (1)針對(duì)含規(guī)則知識(shí)庫中因復(fù)合關(guān)系的使用被隱式引入到ABox中的個(gè)體(稱匿名個(gè)體),對(duì)“DL-safe規(guī)則”進(jìn)行了放松,提出了“放松DL

3、-safe規(guī)則”的定義。 (2)形式化證明了含“放松DL-safe規(guī)則”知識(shí)庫的可滿足性檢測(cè)是可判定的。 (3)為了使含“放松DL-safe規(guī)則”知識(shí)庫仍能運(yùn)用Boris Motik等人提出的推理算法,提出了一個(gè)判斷轉(zhuǎn)換算法AJC,該算法不僅能判斷含規(guī)則知識(shí)庫是否滿足“放松DL-safe規(guī)則”,而且能將滿足“放松DL-safe規(guī)則”的知識(shí)庫等價(jià)轉(zhuǎn)換為滿足“DL-safe規(guī)則”的知識(shí)庫;同時(shí)分析了算法時(shí)間復(fù)雜度。

4、(4)在以上理論研究的基礎(chǔ)上,開發(fā)了實(shí)現(xiàn)AJC算法的原型工具KBRC,并通過實(shí)驗(yàn)進(jìn)行了案例研究,驗(yàn)證了算法的有效性與時(shí)間復(fù)雜度。 研究結(jié)果表明:“放松DL-safe規(guī)則”涵蓋了Boris Motik等人提出的“DL-safe規(guī)則”,依然是SWRL,規(guī)則的一個(gè)可判定子集。研究成果可滿足性檢測(cè)可判定的含規(guī)則知識(shí)庫中的規(guī)則限制有了一定的放松,從而使Boris Motik等人提出的推理算法可應(yīng)用于更一般的含規(guī)則知識(shí)庫,亦即可應(yīng)用于語義網(wǎng)

溫馨提示

  • 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
  • 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
  • 5. 眾賞文庫僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
  • 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
  • 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。

評(píng)論

0/150

提交評(píng)論