计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2011年
4期
1413-1417
,共5页
对象角色建模%面向事实建模%一阶逻辑形式化分析
對象角色建模%麵嚮事實建模%一階邏輯形式化分析
대상각색건모%면향사실건모%일계라집형식화분석
对象角色建模方法是一种完全面向交流的面向事实概念建模方法,目前已发展到2.0版,已应用于本体论工程,因此需要对其进行形式化以分析其本体表达能力.Halpin定义了一种知识表达语言KL,并使用KL形式化分析了早期版本的ORM.借鉴Halpin的研究成果,采用经典的一阶逻辑语言L全面地分析了ORM 2.0的形式化语义.
對象角色建模方法是一種完全麵嚮交流的麵嚮事實概唸建模方法,目前已髮展到2.0版,已應用于本體論工程,因此需要對其進行形式化以分析其本體錶達能力.Halpin定義瞭一種知識錶達語言KL,併使用KL形式化分析瞭早期版本的ORM.藉鑒Halpin的研究成果,採用經典的一階邏輯語言L全麵地分析瞭ORM 2.0的形式化語義.
대상각색건모방법시일충완전면향교류적면향사실개념건모방법,목전이발전도2.0판,이응용우본체론공정,인차수요대기진행형식화이분석기본체표체능력.Halpin정의료일충지식표체어언KL,병사용KL형식화분석료조기판본적ORM.차감Halpin적연구성과,채용경전적일계라집어언L전면지분석료ORM 2.0적형식화어의.