描述邏輯SHOIN（D）的常識性擴(kuò)展研究.pdf

1、語義Web(semanticweb)研究的目標(biāo)是讓W(xué)eb上的信息成為機(jī)器可理解的，從而使機(jī)器與人能夠更好地相互協(xié)作，使Web所提供服務(wù)的質(zhì)量得到質(zhì)的提高.本體(ontology)是目前語義Web研究中所采用的主要知識表示方法，OWLDL語言是W3C本體工作組發(fā)布的對于Web本體語言的推薦標(biāo)準(zhǔn). 現(xiàn)有的OWLDL語言只能處理嚴(yán)格成立的知識，不能處理在Web環(huán)境下廣泛出現(xiàn)的常識性知識，如具有不完備性、不一致性或者不可靠性的知識，為此

2、，有必要對現(xiàn)有的OWLDL語言進(jìn)行擴(kuò)展以使之能夠處理常識性知識. 本文研究如何擴(kuò)展OWLDL語言以處理常識性的知識，由于OWLDL語言的語義是描述邏輯SHOIN(D)給出的，因此問題歸結(jié)為如何對描述邏輯SHOIN(D)進(jìn)行擴(kuò)展以處理常識性的知識. 本文研究了描述邏輯SHOIN(D)的常識性擴(kuò)展，具體說來完成了以下三項工作： 1.給出了描述邏輯SHOIN(D)的能處理不完備知識的擴(kuò)展 提出了能夠處理不完備知

3、識的非單調(diào)描述邏輯N-SHOIN(D).給出了N-SHOIN(D)的語法和語義，定義了N-SHOIN(D)中的蘊(yùn)涵推理關(guān)系，研究了N-SHOIN(D)所具有的性質(zhì).給出了N-SHOIN(D)的推理算法.N-SHOIN(D)為擴(kuò)展OWLDL語言到能夠處理不完備知識的情形提供了語義支持. 2.給出了描述邏輯SHOIN(D)的能處理部分可信知識的擴(kuò)展 提出了能處理部分可信知識的描述邏輯S-SHOIN(D).給出了S-SHOIN

4、(D)的語法和語義，定義了其中的蘊(yùn)涵推理關(guān)系，證明了S-SHOIN(D)具有超協(xié)調(diào)性、非單調(diào)性，給出了S-SHOIN(D)的推理算法.S-SHOIN(D)為擴(kuò)充OWLDL語言到能處理部分可信知識的情形提供了語義支持. 3.給出了描述邏輯SHOIN(D)的擇優(yōu)擴(kuò)展 提出了能處理知識庫上擇優(yōu)關(guān)系的描述邏輯P-SHOIN(D)，給出了P-SHOIN(D)的語法和語義，定義了其中的蘊(yùn)涵推理關(guān)系，證明了P-SHOIN(D)具有超協(xié)