STUDY ON FORMAL REASONING IN METADATA INTEGRATION BASED ON CWM
During the metadata integrating based on Common Warehouse Metamodel (CWM), the different experiences and views of describing data of organizations involved in integration bring metadata on some problems inevitably, such as inconsistencies and redundancies. However, reasoning on CWM metadata for automatically detecting these problems is difficult because CWM metamodel and metadata lack precise semantics. In this paper, we formalize and reason on CWM metamodel and metadata in terms of a logic belonging to Description Logics, which are subsets of First- Order Logic.We distinguish consistency into horizontal consistency and evolution consistency. Towards evolution consistency, we extend CWM metamodel with version capabilities so that reasoning about inconsistency caused by evolution can be done.Then reasoning engine LOOM is applied to check consistency for the above two situations, the results are encouraging.
Common Warehouse Metamodel (CWM) Description Logics Metadata Integration Metadata Evolution Horizontal Consistency Evolution Consistency
XIAO-FEI ZHAO ZHI-QIU HUANG
Department of Computer Science and Engineering, Nanjing University of Aeronautics and Astronautics,Nanjing 210016, China
国际会议
2006 International Conference on Machine Learning and Cybernetics(IEEE第五届机器学习与控制论坛)
大连
英文
1493-1501
2006-08-13（万方平台首次上网日期，不代表论文的发表时间）