面向语义的元数据模型一致性检验  

Consistency Checking for Semantic-Oriented Metadata Models

作　　者：王洪伟[1] 侯立文[2] 蒋馥[2] 

机构地区：[1]同济大学经济与管理学院,上海200092 [2]上海交通大学安泰管理学院,上海200052

出　　处：《上海交通大学学报》2005年第3期386-391,共6页Journal of Shanghai Jiaotong University

基　　金：国家自然科学基金资助项目(70271038)

摘　　要：面向语义的元数据模型检验用于判断待建元数据在语义上是否一致.首先,借鉴本体的思想,利用描述逻辑建立了面向语义的元数据模型,它是一个7元组,包括术语集、实例集、术语定义集、实例声明集、属性分配集、术语注释集和术语约束集.然后,将元数据模型检验抽象为术语检验和实例检验2类问题.最后,对术语检验和实例检验的判定方法进行分析.研究表明,2类检验问题可分别细化为4类和2类子问题,这些子问题可以相互转换.Semantic-oriented metadata model checking aims to judge whether a metadata model to be constructed is consistent semantically. Based on the thought of ontology, this paper uses description logics to construct a semantic-oriented metadata model, which is a seven-tuple including term set, individual set, term definition set, instantiation assertion set, attribute assignment set, term comments set and term restriction set. Then, the issue on consistency checking for the metadata model is reduced to terminology checking and instantiation checking. Finally, the judging methods for the two kinds of checking problems are studied. The result shows that the two kinds of checking problems can be further divided into four sub-problems of terminology checking and two sub-problems of instantiation checking respectively, and these sub-problems can transform each other.

关 键 词：语义元数据 描述逻辑 术语检验 实例检验 本体 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程] N94[自动化与计算机技术—控制科学与工程]