基于本體和描述邏輯的SWRL推理研究.pdf

1、Web是計算機時代來臨的標志之一，Web是互聯(lián)網(wǎng)絡(luò)最重要的、與普通用戶最接近的運用，現(xiàn)在已成為人類獲取信息及得到眾多服務(wù)的主要渠道之一，但是Web并非完美，仍存在許多尚待解決的問題，比如Web信息無法被自動處理和有效利用、Web的服務(wù)發(fā)現(xiàn)、匹配、檢索的查全率和查準率較低。搜索時我們使用Web作為一個全球數(shù)據(jù)庫。今天的搜索引擎無法搜索地更加精確。主要原因可能是當前的Web的結(jié)構(gòu)和尺寸不允許使搜索更加精確和高效?？傻诙€原因不能被忽視:現(xiàn)在

2、Web蘊含著巨大的文件數(shù)量，而且這個數(shù)量有每一年或兩年翻一番的趨勢。文件的機構(gòu)和Web自身可能也會以一種機器更容易處理的方式改變，所以我們使用語義網(wǎng)。
　　1998年9月，Berners-Lee首次提出了語義網(wǎng)的設(shè)想，語義網(wǎng)在技術(shù)上提供了信息的語義表示機制，其最終要實現(xiàn)知識層次上的信息共享和語義的互操作，所以想要管理共享知識就要以本體為指導(dǎo)。在語義網(wǎng)中，本體起到非常重要的作用，它作為語義網(wǎng)信息組織的語義支撐，提供了明確定義語義的方

3、式，為語義標記提供了詞表。在本體中，有不少重要知識反而是隱性的，這引發(fā)對本體自身利用率不高的問題，所以推理出本體中隱含的知識成為了當今本體研究方面的熱點。
　　基于描述邏輯的知識表示系統(tǒng)能夠完成特定種類的推理，知識表示系統(tǒng)的目的，超出了概念定義和判斷的范圍，知識庫（包含TBox和ABox）中的語義，使得知識庫和一階謂詞邏輯中的公式集合等價，這樣，像其他的公式集合一樣，知識庫包含那些要通過表面的知識的推理才能得到的內(nèi)涵的知識。描述邏

4、輯系統(tǒng)所能使用的不同種類的推理被定義為邏輯推理，存在一個主要的推理問題，叫作ABox的一致性檢查，其他的推理都可以由它還原(reduce)出來。
　　本體描述語言O(shè)WLDL（以描述邏輯為基礎(chǔ)）能提供語言子集用于支持推理系統(tǒng)實現(xiàn)它的計算性能，卻不能表達普通的規(guī)則。之前基于本體建立的推理系統(tǒng)只有以類別為基礎(chǔ)附加關(guān)聯(lián)性的推理能力，但對于If...Then這樣的關(guān)系反而推理能力不夠充足。為了解決以上問題，SWRL（語義網(wǎng)規(guī)則語言）被提出，

5、通過本體結(jié)合規(guī)則的方式來提供更強大充分的知識表示能力和推理能力。
　　SWRL（SemanticWebRuleLanguage）是一種基于OWL子語言(OWLDL和OWLLite)與一元/二元數(shù)據(jù)記錄RuleML的子語言結(jié)合而成的規(guī)則語言。SWRL允許用戶自己根據(jù)OWL概念寫可以被表達的規(guī)則，以此來提供比單獨使用OWL更為強大的演繹推理能力，從語義上SWRL與OWL是基于相同的描述邏輯基礎(chǔ)。
　　本文借鑒國內(nèi)外的最新研究成果