Formal analysis of ORM in first order logic
面向事实建模方法ORM的一阶逻辑形式化分析

对象角色建模方法ORM是一种完全面向交流的面向事实概念建模方法，目前已发展到2.0版，已应用于本体论工程，因此需要对其进行形式化以分析其本体表达能力。Halpin定义了一种知识表达语言KL，并使用KL形式化分析了早期版本的ORM。本文借鉴Halpin的研究成果，采用经典的一阶逻辑语言L 全面地分析了ORM 2.0的形式化语义。