【摘 要】
：
在本体合并和映射过程中,经常会产生新的本体模型,为了保证这些本体模型在逻辑上的正确性,需对其进行形式化校验.目前,有关本体模型的形式化校验大都是围绕单个概念或关系来
【机 构】
：
上海宝信软件股份有限公司,上海 201900
论文部分内容阅读
在本体合并和映射过程中,经常会产生新的本体模型,为了保证这些本体模型在逻辑上的正确性,需对其进行形式化校验.目前,有关本体模型的形式化校验大都是围绕单个概念或关系来进行,而多个概念和关系之间的结构及约束信息却未得到充分利用.为此,本文引入面向对象中的OCL(Object Constraint Language)语言,并针对本体应用环境进行了相应语言约束扩展,进而完成了对本体定义元模型ODM(Ontology Definition Model)约束和描述,从而实现了本体模型结构及约束逻辑描述的形式化表示.最终,提出了采用本体定义元模型来辅助进行本体模型形式化校验的方法.
其他文献
彩电中的大电感一般不易损坏,但是一旦损坏,又不容易配置,虽然可以自己绕制,但是比较麻烦。下文是我用黑白机线圈应急代换彩电电感的实例,供参考。例1:一台 KV—1430CH 彩电
在广西区靖西市烤烟收购过程中,收购点、烤房群和互助组等三个不同的集中定点专业化分级方式,烟叶收购等级纯度有较大差异,直接影响了烟叶质量.该文查找分析不同定点专业化分
韶钢宽厚板连铸机于2008年10月9日一次热试成功投产，投产3年来没有发生漏钢事故，而在2012年5月，却连续发生2次就结漏钢事故。本文分析韶钢宽厚板连铸机粘结漏钢的原因,并提出相
结合东北特钢大连基地连铸机的实际生产状况,对不同结晶器电磁搅拌强度对SUS416易切不锈钢铸坯质量的影响进行了试验分析.试验结果表明:结晶器电磁搅拌强度为200A/5Hz时,能够
对装有水的容器施加垂直振动, 水中的气泡可能出现下沉的现象. 针对球形气泡构建了基于理想气体方程的气泡运动学模型, 该模型考虑了Basset力对气泡运动的影响. 观察到气泡的
宝钢新日铁汽车板有限公司酸再生溶解槽是用于溶解废切边,以减少废酸中的游离盐酸、流酸.溶解槽槽底呈圆锥形,在槽的顶部有一个开放的锥形顶盖,顶盖上设有一个中心供料口,用
高层建筑火灾具有火灾蔓延迅速、火势较难控制、人员疏散困难等特点,一旦发生火灾,容易导致大量的人员伤亡和财产损失,并产生不良的社会影响,为有效预防高层建筑火灾,本文从
宝钢不锈钢公司的产销系统是在2002 年随不锈钢工程同步建设的信息化系统.产销系统是一个面向销售、以财务为中心、高效优质服务的先进钢铁企业生产管理信息系统.主要完成各
文章结合我厂设备配置情况,根据生产过程中的异常数据,经过长期的数据累积、汇总分析、研究,发现结晶器保护渣性能恶化与漏钢预报系统热电偶温度波动之间的相互对应关系;并且
休闲渔业是现代渔业的重要组成部分,发展好休闲渔业是渔业供给侧结构性改革的重要方向,是实施乡村振兴战略的重要举措.通过总结国内休闲渔业发展状况和国外经验,分析影响发展