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

Formal analysis of ORM in first order logic

作　　者：潘文林 刘大昕 

机构地区：[1]哈尔滨工程大学机电工程学院,哈尔滨150001 [2]黑龙江省现代制造工程技术研究中心,哈尔滨150001 [3]哈尔滨工程大学计算机科学与技术学院,哈尔滨150001

出　　处：《计算机应用研究》2011年第4期1413-1417,共5页Application Research of Computers

摘　　要：对象角色建模方法是一种完全面向交流的面向事实概念建模方法,目前已发展到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.

关 键 词：对象角色建模 面向事实建模 一阶逻辑形式化分析 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]