時序動態(tài)描述邏輯TDDLALC的推理機制及應用研究.pdf

1、隨著語義Web的發(fā)展,描述邏輯作為Web本體語言OWL的邏輯基礎得到了越來越多的關注。由于語義Web是一個動態(tài)分散的環(huán)境,為了能夠更加準確地刻畫和推理語義Web中的各種知識,單純的使用描述邏輯是不夠的。于是研究者提出了描述邏輯的各種擴展形式。時序動態(tài)描述邏輯TDDLALC在動態(tài)描述邏輯DDL的基礎上添加時態(tài)算子和路徑量詞,并且將時間的進展表示成原子動作的進行。由于TDDLALC同時具有動態(tài)性和時序性,因此更加適用于語義Web服務的動態(tài)刻

2、畫和推理驗證。本文首先為TDDLALC開發(fā)有效的推理工具;其次應用protégé構建一個基于語義Web服務的旅游信息系統(tǒng)本體;最后將TDDLALC應用于語義web服務的驗證。本文完成的具體工作如下:
　　(1)針對TDDLALC的Tableau判定算法,為了能夠快速準確的對TDDLALC公式的可滿足性進行判定以及能夠進行語法檢測,開發(fā)了相應的TDDLALC(Tableau)推理機軟件。通過工具演示介紹了本軟件的具體功能,并且對本軟

3、件的整體設計進行了說明。
　　(2)針對目前旅游信息系統(tǒng)本體庫缺乏的現狀,本文利用protégé構建了一個基于語義Web服務的旅游信息系統(tǒng)。利用本體描述語言OWL與描述邏輯DL之間可以相互轉換的特點,給出了時序動態(tài)描述邏輯TDDLALC與本體之間的轉換規(guī)則。通過將本體中出現的概念用時序動態(tài)描述邏輯中的TBox進行刻畫,出現的實例部分用時序動態(tài)描述邏輯中的ABox進行刻畫,對本體庫中的知識進行了推理查詢,并且給出了具體的實例。

4、>　　(3)針對語義Web服務是對動態(tài)知識的推理,將TDDLALC應用于語義Web服務的驗證中。首先,從OWL-S中的Process Model出發(fā),對于服務組合中每一個原子服務,將其對應的原子過程的輸入、輸出、前提條件、局部變量以及結果分別用TDDLALC來刻畫;其次,對組合服務進行建模,將對服務的推理問題轉化為對邏輯公式的可滿足性判定問題,并且給出了具體的驗證算法,從而實現對服務組合可達性和安全性的驗證;最后對服務組合實例進行驗證分