摘要
面向语义的元数据模型检验用于判断待建元数据在语义上是否一致.首先,借鉴本体的思想,利用描述逻辑建立了面向语义的元数据模型,它是一个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.
出处
《上海交通大学学报》
EI
CAS
CSCD
北大核心
2005年第3期386-391,共6页
Journal of Shanghai Jiaotong University
基金
国家自然科学基金资助项目(70271038)
