基于描述邏輯的語義Web本體研究.pdf

1、1998年，Tim Berners-Lee提出了“語義Web”的概念，語義Web研究的主要目的就是擴(kuò)展當(dāng)前的WWW，使得網(wǎng)絡(luò)中信息都是具有語義的，便于人和計算機(jī)之間的交互合作。語義Web的興起促進(jìn)來本體技術(shù)的發(fā)展，本體作為語義Web的基石，而描述邏輯作為語義Web的一個邏輯基礎(chǔ)，對它們的研究具有重要的理論價值和現(xiàn)實意義。本文的主要工作如下。 1.面向語義Web領(lǐng)域本體的建立與形式化研究。The World Wide Web Co

2、nsortium(W3C)正在制定的OWL DL是一種面向語義Web的知識表示標(biāo)記語言，本文主要以大學(xué)本體為例，介紹領(lǐng)域本體建立和形式化研究的一般方法，首先采用NKI(National Knowledge Infrastructure)語言描述了大學(xué)領(lǐng)域本體的類，同時規(guī)范了它的屬性和關(guān)系，然后詳細(xì)分析了OWL DL和描述邏輯之間的對應(yīng)關(guān)系，并通過具體的大學(xué)領(lǐng)域本體的實例用描述邏輯的語義解釋了OWL DL的各個元素，這樣在描述邏輯領(lǐng)域的研

3、究成果就能應(yīng)用到OWL DL上來，為OWL DL的知識表示和推理問題奠定來一定的基礎(chǔ)。 2.Web商務(wù)智能語義平臺。本文以Web商務(wù)智能領(lǐng)域為研究對象，建立了該領(lǐng)域的語義平臺，具體講述了它的Web數(shù)據(jù)資源模塊、知識庫模塊和用戶模塊，具體分析了本體的演化過程，因為Web商務(wù)信息具有明顯的時效性和上下文相關(guān)性，所以本文也同時建立了Web商務(wù)智能領(lǐng)域的時序知識模型，并確定了時間本體的原子概念、關(guān)系和公理，實現(xiàn)了基于描述邏輯的概念定義和

4、公理的確定，奠定了形式推理的基礎(chǔ)。 3.語義Web本體不一致性研究。本體在“語義Web”中起到了至關(guān)重要的作用，它通過定義精確的共享術(shù)語，以提供某一特定領(lǐng)域可重用的知識。但這些知識并不是靜態(tài)的，而是隨著時間的推移不斷演化。本體在演化發(fā)展的過程中，不可避免地會產(chǎn)生本體知識庫的不一致現(xiàn)象，本文解決了在本體演化后本體知識庫產(chǎn)生的不一致性的處理問題，例如對不一致的檢驗，不一致性的測量，后者對本體知識庫的修復(fù)具有良好的參考價值。