一种应用描述逻辑推理实现本体映射的方法.pdfVIP

小 型 微 型 计 算 机 系 统 2008年 11月 第 11期 JournalofChineseComputerSystems Vo1．29 No．11 2008 一 种应用描述逻辑推理实现本体映射的方法 沈国华，黄志球，朱小栋，王 磊，曾云峰 (南京航空航天大学信息科学与技术学院，江苏南京 210016) E—mail：ghshen@nuaa．edu．ca 摘 要 ：本体匹配用于找到两个本体中元素间的映射关系，是数据库应用领域的一个重要问题．本文提 出了一种基于描述逻辑 的本体匹配方法，利用语义解释实现匹配．该方法首先利用多匹配器发现字面语义关系，并据此利用描述逻辑推理器推理元素 相互间关系．借助概念包含推理设计 了概念 间关系的判定算法 ，可推理 出各种对应关系，如等价、泛化、特化、相离、相交．该方法 最终利用推理器 RacerPro实现 了本体 匹配 ，最后通过实验证 明了方法 的有效性． 关 键 词：本体匹配；描述逻辑；推理 中图分类号：TP311 文献标识码 ：A 文 章 编 号 ：1000—1220(2008)11-1979—07 AnApproachofOntologyM atchingbyDescription LogicsReasoning SHEN Guo—hua，HUANG Zhi—qiu，ZHU Xiao—dong，WANG Lei，ZENG Yun—feng (CollegeofInformationScienceandTechnology，NanjingUniversityofAeronauticsandAstronautics，Nanjing210016，China) Abstract：Ontologymatchingproducescorrespondencesbetweensemanticallyrelatedentitiesoftheontologiesanditplaysakey roleinmanydatabaseapplicationdomains．DescriptionLogics(DLs)isanalyzedandaDIS—basedontologymatchingapproach isproposed，andtheapproachachievesthematchingbymeansofsemanticinterpretation．Themulti—matchersareusedtopro— ducetheliteralrelations，accordingtOwhichthesemanticrelationsarereasonedbyDLsreasoner．Thealgorithm ofdeciding ontologycorrespondence(suchasequivalence，moregeneral，lessgeneral，disjointness，overlapping)ispresented，whichis reasonedbasedonconceptinclusion．ThereasonerRaeerProisselectedtodeduceontologymapping，andtheexperimentalre— suitsdemonstratethattheapproachisfeasible． Keywords：ontologymatching；descriptionlogics；reasoning r 1 引 言 实现本体的模式匹配，称为本体匹配，成为 目前的研究方向． 描述结构和数据可采用不同的模型：如关系数据库模式、 模式匹配用于找到分布在两个不同模式中的元素之间的 XML模式、实体关系图等．各种不同的模型其表达特性各不 映射关系，每项映射关系必须包含两个部分：映射的元素和映 相同，图1表示了其形式化和表达能力的比较关系 ，并按 射元素之间关系的描述．模式匹配是数据库应用领域的一个 重要操作，可用于实现模式集成、数据集成、数据仓库