| 基于CWM的元数据集成中形式化推理技术的研究 |
| |
| 引用本文： | 赵晓非,黄志球.基于CWM的元数据集成中形式化推理技术的研究[J].计算机科学,2006,33(12):177-182. |
| |
| 作者姓名： | 赵晓非 黄志球 |
| |
| 作者单位： | 南京航空航天大学计算机科学与工程系,南京,210016 |
| |
| 摘 要： | 在使用公共仓库元模型（CWM）进行元数据集成的过程中，参与集成的团体的不同经验以及描述数据的不同视角不可避免地带来元数据的冲突和冗余等问题，然而CWM的图形化特点使之缺乏精确的语义，所以如何在其上进行推理以自动发现这些问题至今没有得到很好的解决。本文研究了利用描述逻辑，一个一阶谓词逻辑的可判定子集，形式化CWM元模型和模型并进行推理的方法，将一致性检测分为水平一致性和演化一致性进行分别处理，在处理演化一致性的过程中对CWM元模型进行了扩展，使之支持元数据的版本能力从而能够推理由于演化引起的不一致问题，然后利用推理引擎LOOM对两种情形进行推理检测以发现不一致信息，取得了令人满意的结果，表明本文提出的方法是可行的。
|
| 关 键 词： | 公共仓库元模型（CWM） 描述逻辑 元数据集成 元数据演化 水平一致性 演化一致性 |
Study on Formal Reasoning in Metadata Integration Based on CWM |
| |
| ZHAO Xiao-Fei,HUANG ZHi-Qiu.Study on Formal Reasoning in Metadata Integration Based on CWM[J].Computer Science,2006,33(12):177-182. |
| |
| Authors: | ZHAO Xiao-Fei HUANG ZHi-Qiu |
| |
| Affiliation: | Department of Computer Science and Engineering, Nanjing University of Aeronautics and Astronautics, Nanjing 210016 |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
