论文部分内容阅读
在基于公共仓库元模型（CWM）建立元数据的过程中，参与建立元数据的团体的不同经验以及描述数据的不同视角不可避免地带来元数据的冲突和冗余等问题，然而CWM的图形化特点使之缺乏精确的语义，所以如何在其上进行推理以自动发现这些问题至今没有得到很好的解决．研究了利用描述逻辑——一个一阶谓词逻辑的可判定子集形式化CWM元模型和元数据并进行推理的方法，将一致性检测分为水平一致性和演化一致性分别处理，在处理演化一致性的过程中对CWM元模型进行了扩展，使之支持元数据的版本能力从而能够推理由于演化引起的不一致问题，然后利用