描述邏輯ALCN和ALCQ的擴展研究.pdf

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

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

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