%0 Journal Article
%T Formal analysis of ORM in first order logic<br>面向事实建模方法ORM的一阶逻辑形式化分析
%A PAN Wen-lin
%A LIU Da-xinb
%A <br>潘文林
%A 刘大昕b
%J 计算机应用研究
%D 2011
%I 
%X 对象角色建模方法ORM是一种完全面向交流的面向事实概念建模方法，目前已发展到2.0版，已应用于本体论工程，因此需要对其进行形式化以分析其本体表达能力。Halpin定义了一种知识表达语言KL，并使用KL形式化分析了早期版本的ORM。本文借鉴Halpin的研究成果，采用经典的一阶逻辑语言L 全面地分析了ORM 2.0的形式化语义。
%K object role modeling
%K ORM
%K fact-oriented modeling
%K formal analysis in first order logic<br>对象角色建模
%K ORM
%K 面向事实建模
%K 一阶逻辑形式化
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=1F93B516C4735EFDCAD42733CC16185C&yid=9377ED8094509821&vid=D3E34374A0D77D7F&iid=E158A972A605785F&sid=E645E14F118D0796&eid=656BC79BFC7F0F4B&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=8