資源描述:
《owl的本體推理方法研究》由會員上傳分享,免費在線閱讀,更多相關(guān)內(nèi)容在行業(yè)資料-天天文庫。
1、2012-07-13#####O##W###L##的###本#20體12-推07理-13方###法###研##2究012-07-13########常萬軍,王果(河南機電高等專科學(xué)校,河南新鄉(xiāng)453002)摘要:針對RDFS與OWL語言之間的兼容性問題,從本體推理機的角度研究了擴展RDFS推理機支持OWL語義的兩種方法。在Sesame系統(tǒng)的基礎(chǔ)上,通過規(guī)則擴展的方法實現(xiàn)了升級方案對RDFS和OWL語言雙重支持功能。實驗測試表明,擴展后的本體推理機完全支持RDFS語言,其推理能力也大大超過了單純的OWL語言推理機。關(guān)鍵詞:本體;OWL;推理;規(guī)則;描述邏輯Stu
2、dyofOWLOntologyReasoningMethodsCHANGWan-jun,WANGGuo(HenanMechanicalandElectricalEngineeringCollege,Xinxiang,Henan453002,China)Abstract:AimingatthecompatibilityissuebetweenRDFSandOWLlanguages,westudytwomethodsofexpandingRDFSreasoningmachinetosupportOWLsemanticsfromtheviewofontologyre
3、asoningmachine.OnthebasisofSesamesystem,theupgradeprojectachievesthefunctionofsupportingbothRDFSandOWLlanguagesthroughthemethodofrulesextension.TheexperimenttestshowsthattheexpandedontologyreasoningmachinecansupportRDFSlanguagecompletely,itsreasoningabilityalsoexceedssimpleOWLlangua
4、gereasoningmachinegreatly.Keywords:ontology;OWL;reasoning;rule;descriptionlogic0引言萬維網(wǎng)技術(shù)的快速發(fā)展,語義網(wǎng)理論和本體技術(shù)在其中的作用不可低估。語義網(wǎng)通過結(jié)構(gòu)化、形式化的方法來表示W(wǎng)eb上各類資源,并自動地對網(wǎng)上的各種資源進行整合和處理,滿足了Web應(yīng)用之間的語義互操作性要求,實現(xiàn)了計算機網(wǎng)絡(luò)資源的機器可讀性和計算機程序?qū)Y源的分析與推理功能[1]。在語義網(wǎng)的開發(fā)應(yīng)用中,本體在應(yīng)用程序的知識處理、共享和重用中扮演了非常重要的角色,是解決語義層次上具有不同知識表示格式的Web應(yīng)用
5、程序之間的信息共享和交換的基礎(chǔ),并促進了不同程序的共享、交換和復(fù)用數(shù)據(jù)和知識[2]。目前,采用先進的推理機制來構(gòu)造本體,使其具有很強的表達能力和自動推理能力,采用推理技術(shù)來挖掘本體知識中隱含的知識,已經(jīng)成為語義網(wǎng)需要解決的關(guān)鍵問題。1本體推理技術(shù)現(xiàn)狀1.1現(xiàn)有的本體開發(fā)工具語義網(wǎng)的發(fā)展過程中,RDF(ResourceDescriptionFrame-work)[3]和RDFS(RDFSchema)系統(tǒng)或工具是設(shè)計開發(fā)人員實現(xiàn)語義網(wǎng)技術(shù)的基本選擇。目前,這些工具中還比較流行的有Sesame,Jena等。Sesame是基于RDFS詞匯元語的本體倉庫和查詢工具,Je
6、na是一個由HP實驗室開發(fā)的語義網(wǎng)應(yīng)用開發(fā)的Java框架。目前使用的Jena2版本支持RDF的數(shù)據(jù)表達、解析、查詢和簡單的推理,它還可以支持RDFS詞匯元語和OWL詞匯元語的應(yīng)用開發(fā)。OWL(WebOntologyLanguage)是萬維網(wǎng)聯(lián)盟在總結(jié)以往本體語言開發(fā)經(jīng)驗的基礎(chǔ)上提出的,它已經(jīng)成為當(dāng)下本體創(chuàng)建最為流行的開發(fā)工具。它保持了已有RDFS語言的兼容性,又具有非常強大的語義表達能力,還可以保證描述邏輯的可判定性。針對不同類型的需求,開發(fā)人員設(shè)計制定了OWLDL、OWLLite和OWLFull三個表達能力遞增的本體語言標(biāo)準(zhǔn)。1.2當(dāng)前的推理方法語義網(wǎng)環(huán)境下
7、,領(lǐng)域知識的完全存儲,需要依靠一定的邏輯推理機制來實現(xiàn),而要挖掘本體知識中的隱含的知識,必須通過推理技術(shù)才能發(fā)現(xiàn)。因此,本體推理機制在語義網(wǎng)應(yīng)用中起著非常重要的基礎(chǔ)性支撐作用。目前支持OWL語言的推理????????????????????????????????????????????????????????????????????machineandHumanScience,1995:39~43[2]KennedyJ,EberhartRC.ParticleSwarmOptimizationif[C]//Proc.[4]ANGELINEPJ.Evolutio
8、naryoptimizationver