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

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

单位：同济大学经济与管理学院; 上海200092; 上海交通大学管理学院; 上海200052