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

来源 :计算机应用研究 | 被引量 : 0次 | 上传用户：xing5

【摘要】

：

对象角色建模方法是一种完全面向交流的面向事实概念建模方法,目前已发展到2.0版,已应用于本体论工程,因此需要对其进行形式化以分析其本体表达能力.Halpin定义了一种知识表

【作者】

：

潘文林刘大昕

【机构】

：

哈尔滨工程大学机电工程学院,哈尔滨,150001黑龙江省现代制造工程技术研究中心,哈尔滨,150001;哈尔滨工程大学机电工程学院,哈尔滨,150001;哈尔滨工程大学计算机科学与技术学院,哈尔滨,1

【出处】

：

计算机应用研究

【发表日期】

：

2011年4期

【关键词】

：

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

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

深耕细作喜获信息化硕果

为消除城乡“数字鸿沟”,缩小城乡“数字落差”,让农村紧跟城市的步伐,直至与城市同步.近年来,中国移动江苏公司以“三网惠三农”为指导原则,利用信息通信手段拓宽农村发展领

期刊

深耕农村经济发展农村信息化中国移动指导原则通信手段数字鸿沟农村发展城乡城市同步三农江苏加速公司

大型环类零件调质处理胀缩变形浅析

减少大型环类零件调质热处理前各部余量,是降低生产成本、提高产品质量的有效途径之一.减少余量不但能够缩短后续加工周期,而且可以保留更多的调质后性能优异的组织;因此,在

期刊

不断提高党内民主建设的质量和水平

在中国共产党成立88周年前夕,中共中央政治局就积极推进党内民主建设问题进行第十四次集体学习,胡锦涛总书记强调,必须高度重视和积极推进党内民主建设,不断提高党内民主建设

期刊

党内民主胡锦涛党内选举制度人民民主十七大报告中共中央民主集中制党员权利讨论环境党员权利保障

陈英艺术作品

请下载后查看，本文暂不支持在线获取查看简介。 Please download to view, this article does not support online access to view profile.

期刊

艺术作品

重点实施分步推进农村信息化

江苏联通围绕建设社会主义新农村的目标,建设农村信息基础网络设施,打造农村信息化平台,完善多用途的营销宣传渠道,构建有效的农村信息传播机制,繁荣和扩大农村服务市场,致力

期刊

分步推进农村信息化全面发展江苏联通分步实施运营投入思路市县人力开花财力

领导干部要有点文学素养

文学素养是一个人听、说、读、写等能力的综合体现。在历史发展中,中华民族创造了极其丰厚的文学艺术资源,并以言简意赅、脍炙人口的方式千古传诵,世代流芳。一个人的心灵若

期刊

文学素养领导干部唐宋诗词《诗经》清代诗人德育教育人文精神文学作品登幽州台歌立德

PA44-180型飞机起落架收放系统常见故障分析

本文通过对荣华二采区10

期刊

颚式破碎机飞轮裂纹处理方案

中钢集团山东矿业有限公司有2台颚式破碎机,1台是PE1200×1500复摆颚式破碎机,其飞轮和皮带轮采用的是辐板结构;另1台是ASJE54-42型颚式破碎机,其飞轮和皮带轮采用的是轮辐结

期刊

绘就蓝图阡陌间——中国电信江苏公司农村信息化建设走笔

几年来,在中国电信江苏公司的不懈努力下,信息通信技术惠及江苏广袤的农村。拿起手机看天气,打个电话问专家,坐在家里谈生意,手握鼠标卖特产……信息通信技术在改变着农民传

期刊

中国电信江苏公司农村信息化建设最后一公里信息接收通信企业社会责任起点公平农村人口公平程度农村用问题

俄罗斯及世界各国煤资源分析

根据公开的世界上及俄罗斯已探明和预测煤储量以及在目前和未来煤进口国和出口国的情况,进行了分析.依照煤的自然资源,俄罗斯在世界上占据第一位.在俄国内市场焦煤的表观缺乏

期刊

煤种类煤储量煤粉燃料煤需求出口进口运输费用价格干熄焦无料钟上料

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

与本文相关的学术论文