基于OCL的本体模型校验方法

来源 :计算机应用与软件 | 被引量 : 0次 | 上传用户：caesarm4

【摘要】

：

将集合关系理论与本体模型相结合,同时引入并扩展面向对象中的OCL(Object Constraint Language)语言,提出一种基于OCL的本体校验方法。该方法从大量本体模型中抽象出一个本体定义元模型ODM(Ontology Constraint Meta-model),该元模型基于集合关系理论,将本体模型划分为"实体相关元素"和"约束规则相关元素",并通过一系列OCL扩展函数来完成上述两种

【作者】

：

钱鹏飞王英林张申生

【机构】

：

上海宝信软件股份有限公司,上海交通大学电子信息与电气工程学院

【出处】

：

计算机应用与软件

【发表日期】

：

2015年05期

【关键词】

：

本体校验集合论 OCL 本体定义元模型冲突消解 Ontology verification Set theory OCL Ontology definiti

【基金项目】

：

国家自然科学基金项目（60773088）.

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

其他文献

聚酯切片用高岭土填料研究

研究了用于聚酯切片高岭土的矿源选择，选矿加工技术，表面改性方法以及用高岭土作聚酯添加剂的聚酯纤维性能变化。本课题是国家科委“九五”攻关项目之一。

期刊

高岭土改性聚酯表面活性剂加工性能聚酯切片

不同方法检测大米蛋白质含量比较

为准确了解大米蛋白质的含量，本文采用GB5009．5—2010的3种不同方法测定大米蛋白质并进行对比，其结果：蛋白质含量检测结果皆为8．2％左右，但在正常范围内有波动。因此，在客户送检样品指

期刊

蛋白质含量方法比较大米

以明矾石为原料合成4A沸石的研究

以非活性的安徽庐江明矾石矿为原料，湿法合成４Ａ沸石，只要在其成胶之前，控制ｐＨ值和温度，即可除铁，产品符合工业要求。

期刊

明矾石沸石洗涤助剂原料

总公司领导春节期间慰问一线职工

2月6日上午，总公司党委书记、总经理巴振东及副总经理赵青海、副总经理宋霖、副总经理王长旗、总经济师芦红卫分别来到上街公交公司和航空港区公交公司，看望慰问节日期间仍在工

期刊

春节期间职工副总经理公交公司节日期间党委书记工作岗位经济师

济南市领导来济南公交调研

为了大力倡导市民绿色出行,发展公共交通,9月22日,济南市委副书记、市长王忠林一行来济南市公共交通总公司调研公共交通运营和场站建设情况,看望慰问公交一线职工,体验了公共

期刊

王忠林公交事业公交场站济南市公交车

对企业管理人员的综合定量考核方法探究

本文着重论述了对企业管理人员的综合定量考核方法，指出由于反映管理人员素质和绩效的大部分指标属于非数量性的定性指标，且属于由多因素组成的模糊概念，在对其综合考核中应处理

期刊

企业管理人员定量考核定性考核综合评价

TJ电动工具有限公司汇率风险管理研究

改革开放以来,随着我国在全球的国际地位不断提升、世界经济一体化的影响,人民币在国际上得到了快速的发展。但由于经济危机后,世界各主要经济体国家为推进经济复苏进程,纷纷采取了宣布逐步退出QE、缩减购债规模等政策,加大了汇率的不确定性。同时由于一些国家的政治危机,促使了汇率波动的风险不断加强,对各国经济活动所产生影响越来越大。中国作为世界第一大贸易进出口国,近几年对进出口外贸企业采取各类的优惠政策,贸易

学位

中小型外贸企业汇率汇率风险人民币TJ公司

最佳机票购买时机的研究

随着中国经济和航空工业的发展,越来越多的人选择飞机作为长途旅行的交通工具。航空公司作为一个企业,在销售机票时,为了使利润最大化,会采用动态定价策略来确定机票的价格。

学位

机票最佳购买时机决策树强化学习Q学习

总公司“魅力公交”职工综艺协会第三届曲艺大赛成功举办

近日，总公司“魅力公交”职工综艺协会第三届曲艺大赛在公交发展中心举行，共24个节目，70名演员参赛。郑州市总工会文艺指导陈红松、郑州市群艺官文艺部主任刘园和音乐家协会常务

期刊

协会公交曲艺职工常务理事副总经理郑州市音乐家

集结鼓劲争创全国殊荣——无锡公交争创全国“敬老文明号”活动启动

近日,无锡公交在52路所在调度站举行现场启动仪式,向全公司173条公交线路发出号召和倡议,学习52路,赶超52路,通过三年努力,实现争创全国＂敬老文明号＂的奋斗目标。启动仪式上,全

期刊

公交线路文明无锡驾驶员

基于OCL的本体模型校验方法

与本文相关的学术论文