• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>DASFAA 2010;International conference on database systems for advances applications;International workshop on graph data management: Techniques and application;GDM 2010;International workshop on benchmarking of database management systems and data-oriented web technologies;BenchmarX 2010;International workshop on managing data quality in collaborative information systems;MCIS 2010;Workshop on social networks and social media mining on the web;SNSMW 2010;Data-intensive eScience workshop;DIEW 2010;International workshop on ubiquitous data management;UDM 2010 >Checking Structural Integrity for Metadata Repository Systems by Means of Description Logics
【24h】

Checking Structural Integrity for Metadata Repository Systems by Means of Description Logics

机译：通过描述逻辑检查元数据存储库系统的结构完整性

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The organization of the metadata in repository systems exhibits a complex structure which is layered, multi-level and dynamically adaptable; it is insufficiently specified in existing repository system standard how to ensure structural integrity, the above two reasons lead to the violation of structural integrity frequently during the creation of the metadata structure based on Meta Object Facility(MOF), thus affect the stability of repository systems. However, structural integrity checking for repository systems based on MOF is difficult because MOF is rendered to users by graphs, which lack precise semantics. In this paper, we try to solve this problem by means of Description Logics (DLs). The approach is based on a particular formal logic of the family of Description Logics. We make a study of how to formalize the different levels of MOF architecture into the DL knowledge base and how to check inconsistencies automatically using query and reasoning mechanism provided by the Description Logic. We perform performance evaluation for structural integrity checking prototypical system implemented in terms of the approach, the results are encouraging.
机译：存储库系统中元数据的组织表现出一个复杂的结构，该结构是分层的，多层的并且可以动态适应。现有存储系统标准中如何保证结构完整性的规定不够充分，以上两个原因导致在基于元对象功能（MOF）的元数据结构创建过程中经常违反结构完整性，从而影响存储系统的稳定性。 。但是，基于MOF的存储库系统的结构完整性检查很困难，因为MOF是通过图呈现给用户的，而图缺乏精确的语义。在本文中，我们尝试通过描述逻辑（DL）解决此问题。该方法基于描述逻辑系列的特定形式逻辑。我们研究如何将不同级别的MOF体系结构形式化为DL知识库，以及如何使用描述逻辑提供的查询和推理机制自动检查不一致之处。我们对采用该方法实施的结构完整性检查原型系统进行性能评估，结果令人鼓舞。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号