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