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

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

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

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

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