基于描述逻辑的元数据存储库系统的结构完整性检测  

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

作　　者：赵晓非[1] 黄志球[2] 

机构地区：[1]南京信息工程大学计算机科学与技术系,江苏南京210044 [2]南京航空航天大学计算机科学与工程系,江苏南京210016

出　　处：《小型微型计算机系统》2010年第6期1084-1089,共6页Journal of Chinese Computer Systems

基　　金：国家自然科学基金项目(10402013)资助;南京信息工程大学科研基金项目资助

摘　　要：存储库系统的元数据组织方式呈现出分层、多级并且动态变化的复杂结构;存储库系统标准对确保结构完整性规定得并不充分,上述两个原因使得基于元对象设施(MOF)标准建立元数据结构的过程中经常会发生结构完整性被违背的现象,从而严重影响存储库系统的稳定性.然而MOF是以图形的方式表示元数据,缺乏精确的语义,所以如何对基于MOF的存储库系统进行结构完整性检测成为一个棘手的问题.本文采用了描述逻辑的方法来解决该问题.该方法是基于描述逻辑家族的一种特殊的形式逻辑,我们研究了如何将MOF框架的不同层次形式化进描述逻辑知识库,以及如何利用描述逻辑提供的查询推理能力自动检测冲突.对利用该方法实现的结构完整性检测原型系统进行性能评测,取得了令人满意的结果.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) 结构完整性 元数据管理 

分 类 号：TP333[自动化与计算机技术—计算机系统结构]