【摘 要】
：
高效地执行结构完整性检测是基于元对象设施(meta object facility,MOF)的存储库系统一致性领域的研究热点之一.借助逻辑学手段,提出了一种高效、自动地检测结构完整性的方法
【机 构】
：
天津工业大学计算机科学与技术学院,江苏省计算机信息处理技术重点实验室（苏州大学）,中国科学院计算技术研究所智能信息处理重点实验室
【基金项目】
：
国家自然科学基金项目(61035003,61972456),江苏省计算机信息处理技术重点实验室开放基金项目(KJS1737)
论文部分内容阅读
高效地执行结构完整性检测是基于元对象设施(meta object facility,MOF)的存储库系统一致性领域的研究热点之一.借助逻辑学手段,提出了一种高效、自动地检测结构完整性的方法.首先针对MOF存储库框架的特点研究了如何将元数据的不同层次转换进描述逻辑SROIQ(D)知识库,在此基础上研究了如何对元数据进行抽取以提高检测过程的效率.提出了元数据逻辑无关片断的概念,通过分别抽取属性演绎片断和类属演绎片断,给出了生成最小逻辑无关片断的方法.由于该种片断是给定的元数据元素逻辑蕴含的闭包,因此完整地保留
其他文献
玉带海雕为隼形目鹰科海雕属的鸟类，又称黑鹰、腰玉，无亚种分化，是国家一级重点保护动物。
武汉高德公司采用伺服控制及实时数字图像处理电路．结合国外多晶硅非制冷焦平面探测器(UF—PA)生产的枪瞄式红外热像仪．具有体积小、重量轻、320×240像素高分辨率非制冷焦
近年来,随着我国高职院校招生人数的不断增长,学籍信息量的日益增加,在办理流程和手续上也有了更为复杂、繁琐的要求。基于以上现状,不仅需要在思想观念上加强对学籍管理智能
“中国古典文献数据库”,现在叫“中国古典数字工程”。从1984年钱锺书布置这个任务,35年过去,栾贵明和稍后加入的田奕只干了这一件事,一直到今天。忘年交1964年9月一个周二
台湾和内地具有相似的文化以及历史背景,其农业金融体系也为我们提供了一个值得学习的模板,本文先通过对台湾农业金融体系框架结构的介绍,分析研究其具体的结构框架,并得出其
在多数聚类计算的实际应用中,样本数据通常来自于不同的用户,聚类算法往往需要在用户的联合数据集上进行计算.而出于隐私保护的目的,用户并不希望与其他参与方共享其私有数据
与一般超外差收信机相比较,本文论述这种直接变频接收机的特点是寄生响应要少得多,而且适合于作成单块集成电路.本文从需要一个准确的双相可调本机振盪器出发,导出设计的主要
11月19日，三台县林业局党委书记、局长率班子成员来到潼川镇胜丰村，落实精准扶贫项目。针对畦丰村基础设施差、灌溉用水困难、产业发展滞后等情况，林业局为胜丰村落实了两百亩核
四川省成都木材综合工厂已走过60个春秋。经过40年由计划经济到20年市场经济的洗礼，而今又站在了新的历史起点上。最近两年，我们提出了“强市兴业，民生至善”的企业发展战略，以踏
泥螺为太平洋沿岸半咸水习见种类,我国黄渤海常见,东南海也有分布。介绍了泥螺的外部形态、生活习性、摄食和生长以及繁殖方式和药物对孵化的影响。
Bullacta for the Pacif