面向事实建模方法ORM的-阶逻辑形式化分析

摘要

对象角色建模方法是一种完全面向交流的面向事实概念建模方法,目前已发展到2.0版,已应用于本体论工程,因此需要对其进行形式化以分析其本体表达能力.Halpin定义了一种知识表达语言KL,并使用KL形式化分析了早期版本的ORM.借鉴Halpin的研究成果,采用经典的一阶逻辑语言L全面地分析了ORM 2.0的形式化语义.%ORM is a fully communication oriented information modeling method.Today, it has been used in ontology engineering to model domain ontologies, current version is 2.0.So, it needed to analyze its ability for ontology modeling.Halpin presented a knowledge representation language named KL, and formally analyzed the semantics of the early version of ORM in KL.Based on Halpin' s work, presented completely formal semantics of ORM 2.0 in classical first order logic language L.