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