資源描述：
《一種應用描述邏輯推理實現(xiàn)本體映射的方法.pdf》由會員上傳分享，免費在線閱讀，更多相關(guān)內(nèi)容在行業(yè)資料-天天文庫。
1、萬方數(shù)據(jù)小型微型計算機系統(tǒng)JournalofChineseComputerSystems2008年11月第11期V01．29No．1l2008一種應用描述邏輯推理實現(xiàn)本體映射的方法沈國華，黃志球，朱小棟，王磊，曾云峰(南京航空航天大學信息科學與技術(shù)學院，江蘇南京210016)E—mail：ghshen@nuaa．edu．cn摘要：本體匹配用于找到兩個本體中元素間的映射關(guān)系，是數(shù)據(jù)庫應用領(lǐng)域的一個重要問題．本文提出了一種基于描述邏輯的本體匹配方法，利用語義解釋實現(xiàn)匹配．該方法首先利用多匹配器發(fā)現(xiàn)字面語義關(guān)系，并據(jù)此利用描述邏輯推理器推理元素相互間
2、關(guān)系．借助概念包含推理設(shè)計了概念間關(guān)系的判定算法，可推理出各種對應關(guān)系，如等價、泛化、特化、相離、相交．該方法最終利用推理器RaeerPro實現(xiàn)了本體匹配，最后通過實驗證明了方法的有效性．關(guān)鍵詞：本體匹配；描述邏輯；推理中圖分類號：TP311文獻標識碼：A文章編號：1000—1220(2008)11-1979—07AnApproachofOntologyMatchingbyDescriptionLogicsReasoningSHENGuo—hua，HUANGZhi—qiu，ZHUXiao—dong，WANGLei，ZENGYun—feng(Co
3、llegeofInformationScienceandTechnology．NanjingUniversityofAeronauticsandAstronautics，Nanjing210016，China)Abstract：Ontologymatchingproducescorrespondence5betweensemanticallyrelatedentitiesoftheontologiesanditplaysakeyroleinmanydatabaseapplicationdomains．DescriptionLogics(DLs)
4、isanalyzedandaDLs—basedontologymatchingapproachisproposed，andtheapproachachievesthematchingbymeansofsemanticinterpretation．Themulti—matchersareusedtOpro-ducetheliteralrelations，accordingtowhichthesemanticrelationsarereasonedbyDLsreasoner．Thealgorithmofdecidingontologycorresp
5、ondence(suchasequivalence，moregeneral，lessgeneral，disjointness，overlapping)ispresented，whichisreasonedbasedonconceptinclusion．ThereasonerRacerProisselectedtOdeduceontologymapping，andtheexperimentalre—suitsdemonstratethattheapproachiSfeasible．Keywords：ontologymatching；descrip
6、tionlogics，reasoning1引言模式匹配用于找到分布在兩個不同模式中的元素之間的映射關(guān)系，每項映射關(guān)系必須包含兩個部分：映射的元素和映射元素之間關(guān)系的描述．模式匹配是數(shù)據(jù)庫應用領(lǐng)域的一個重要操作，可用于實現(xiàn)模式集成、數(shù)據(jù)集成、數(shù)據(jù)倉庫、電子商務(wù)等．文獻[1—3]對模式／本體匹配進行了綜述，并將其分類：有模式級和實例級，元素級和結(jié)構(gòu)級，語法級和語義級，基于語言和約束，以及其他輔助信息(如詞典)．元索級匹配僅考慮單個元素，如基于字符串技術(shù)、基于語言、基于約束等；結(jié)構(gòu)級匹配考慮元素組合的結(jié)果，如基于樹／圖(孩子節(jié)點、葉子節(jié)點)、基于分類
7、(有界路徑匹配、父概念與子概念規(guī)則)、基于模型的方法．基于圖、分類等方法本質(zhì)上利用抽取出的圖、路徑等信息來實現(xiàn)匹配I基于模型是一種考慮語義解釋作為輸入的算法，包括命題滿足性[幻(SAT)以及基于描述邏輯的方法．傳統(tǒng)匹配基于語法實現(xiàn)，缺乏對語義的準確描述．本體是共享概念模型的明確的形式化規(guī)范說明，確定了領(lǐng)域內(nèi)共同認可的詞匯，并給出詞匯間相互關(guān)系的形式化定義．因此如何實現(xiàn)本體的模式匹配，稱為本體匹配，成為目前的研究方向．描述結(jié)構(gòu)和數(shù)據(jù)可采用不同的模型：如關(guān)系數(shù)據(jù)庫模式、XML模式、實體關(guān)系圖等．各種不同的模型其表達特性各不相同，圖1表示了其形式化和
8、表達能力的比較關(guān)系‘““，并按DictionaryGlossaries＆Thesauri．DatadictionarlesTaxonomiesDBSc
