将元数据模型的检验抽象为术语检验和实例检验两大问题，并对术语检验和实例检验及其转换问题进行研究。

Then, the issue on consistency checking for the metadata model is reduced to terminology checking and instantiation checking.

youdao

将元数据模型的检验抽象为术语检验和实例检验两大问题，并对术语检验和实例检验及其转换问题进行研究。

Then, the issue on consistency checking for the metadata model is reduced to terminology checking and instantiation checking.

youdao