Study on Formal Reasoning in Metadata Integration Based on CWM

• 基于CWM的元数据集成中形式化推理技术的研究