描述邏輯ALCN和ALCQ的擴(kuò)展研究.pdf

1、本體詞匯處于語義Web體系結(jié)構(gòu)中的關(guān)鍵層，用于對(duì)信息的概念和語義進(jìn)行抽象描述，而OWL建立在描述邏輯的基礎(chǔ)之上。作為一階邏輯的子集，描述邏輯具有可判定的計(jì)算性能，廣泛地應(yīng)用于各領(lǐng)域。論文對(duì)ALCN和ALCQ這兩種基礎(chǔ)的描述邏輯語言進(jìn)行了研究，目的在于擴(kuò)展表達(dá)能力，解決推理和可判定性問題。
　　首先介紹了課題的研究背景，總結(jié)了對(duì)于描述邏輯表達(dá)能力擴(kuò)展和推理的研究現(xiàn)狀。
　　然后研究了ALCN Abox的一致性檢測(cè)問題。利用圖的

2、思想，分析了對(duì)ABox直接應(yīng)用ALCN概念表算法不會(huì)終止的必要條件，接著根據(jù)必要條件去掉其中部分角色斷言，然后提出擴(kuò)展規(guī)則將剩下的斷言集合擴(kuò)展為一個(gè)完全森林，證明了算法的終止性、正確性、完備性和可判定性，最后提出跡規(guī)則對(duì)算法進(jìn)行了優(yōu)化，使得在確保推理復(fù)雜度不會(huì)升高的條件下，算法的不確定性降到最低。
　　接下來討論了ALCNK的認(rèn)知查詢問題。在ALCN中加入認(rèn)知算子K得到描述邏輯ALCNK，給出了其語法和語義，然后在Tbox為空集和

3、Abox中無認(rèn)知算子的情況下，設(shè)計(jì)了ALCNK概念的認(rèn)知查詢表算法，證明了算法的正確性、完備性和可判定性，最后分析了計(jì)算復(fù)雜度。
　　最后對(duì)ALCQ進(jìn)行了可判定擴(kuò)展。通過限定復(fù)雜角色中由交并構(gòu)子連接的角色鏈具有相同的長(zhǎng)度，得到了ALCQ((°)，∪，∩)的子語言ALCQs((°)，∪，∩)，然后給出了ALCQs((°)，∪，∩)可滿足性問題的表算法，證明了算法的終止性、正確性、完備性和可判定性，最后根據(jù)ALCQs((°)，∪，∩)