中文摘要：

借鉴本体的思想，利用描述逻辑建立了面向语义的元数据模型，它是一个7元组，包括术语集、实例集、术语定义集、实例声明集、属性分配集、术语注释集和术语约束集．将元数据模型的检验抽象为术语检验和实例检验两大问题，并对术语检验和实例检验及其转换问题进行研究．研究表明，两类检验问题可分别细化为4类和2类子问题，这些子问题可以相互转换．

英文摘要：

Based on the thought of ontology, this paper uses description logics to construct a semantic-oriented metadata model, which is a 7-tuples including Term Set, Individual Set, Term Definition Set, Instantiation Assertion Set, Attribute Assignment Set, Term Comment 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 4 sub-problems of terminology checking and 2 sub-problems of instantiation checking respectively, and these sub-problems can transform each other.