• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Conference on Conceptual Modeling; 20061106-09; Tucson,AZ(US) >A Formal Framework for Reasoning on Metadata Based on CWM
【24h】

A Formal Framework for Reasoning on Metadata Based on CWM

机译：基于CWM的元数据推理形式化框架。

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

During the metadata creation based on Common Warehouse Metamodel(CWM), the different experiences and views of describing data of organizations involved in metadata creation 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）的元数据创建过程中，描述元数据创建中涉及的组织数据的不同经验和观点不可避免地使元数据出现一些问题，例如不一致和冗余。但是，很难推理出用于自动检测这些问题的CWM元数据，因为CWM元模型和元数据缺乏精确的语义。在本文中，我们根据属于描述逻辑（属于一阶逻辑的子集）的逻辑对CWM元模型和元数据进行形式化和推理。我们将一致性分为水平一致性和演化一致性。为了实现演化一致性，我们使用版本功能扩展了CWM元模型，以便可以对由演化引起的不一致进行推理。然后将推理引擎LOOM用于检查以上两种情况的一致性，结果令人鼓舞。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号