【摘 要】
：
基于描述逻辑的本体的保守扩充理论、模块抽取理论、通用模块构建理论及其相关算法是本体工程中本体构建、本体融合及重构的核心理论与工具.国际上该领域已有Lutz等人使用形
【机 构】
：
广西可信软件重点实验室（桂林电子科技大学）,黔南民族师范学院数学系
论文部分内容阅读
基于描述逻辑的本体的保守扩充理论、模块抽取理论、通用模块构建理论及其相关算法是本体工程中本体构建、本体融合及重构的核心理论与工具.国际上该领域已有Lutz等人使用形式构模方法证明了ALC的保守扩充判定算法复杂度是二阶时间指数的,而轻量级的系统？L的算法复杂度是一阶时间指数的.但当前文献中的形式构模方法思路复杂,难以把握,几乎不能在实用的工程层面上实现.提出一种面向轻量级的描述逻辑系统家族（DL-Lite family）的统一的二阶线性推理机制,并给出该推理机制的完备性证明.该方法直观,思路清晰,从而在工程
其他文献
兽医李民是从东北长白山一个旮旯里考入解放军农牧大学的.在大学里,李民学的是兽医专业,毕业时不知是那个环节出了问题,他竟然被阴差阳错地分到了我们部队.我们部队是野战部
未央区人民法院在区委的坚强领导，区人大的有效监督，区政府、区政协的大力支持和上级法院的精心指导下，紧紧围绕“让人民群众在每一个司法案件中都感受到公平正义”的目标，以司法为民、公正司法为主线，着力加强审判管理，全面提高案件质量和效率，各项工作取得了新进展，为未央建设国际化大都市中心区提供了有力的司法保障。 全力抓好审判和执行工作，积极 服务未央区经济社会发展大局 上半年，全院共受理各类案件64
黄陵县道路运输管理所在黄陵县交通运输局和延安市运管处的领导下，以科学发展观为指导，以“规范秩序，解决矛盾，稳定市场，调整结构，优化环境，统筹发展”为总体要求．以建立高效、便捷、
指纹图像增强,是自动指纹识别系统中的重要环节.为弥补传统指纹图像增强算法的缺陷,提出一种指纹图像增强算法.在指纹块质量分级机制和复合窗口策略下,指纹图像首先在频域被具有方向选择性的方向高斯带通滤波器滤波增强;随后,二值增强指纹中的误增强区域在空域被具有方向选择性的深度玻尔兹曼机(DBM)重构.提出的方法结合了传统指纹增强算法与深度学习算法的优点,拥有很强的容错能力,能够完成对低质量指纹图像的有效增
2006年10月19日，家住四川省西昌市的刘建琼生下一名健康的男婴，取名周子礴。儿子的出生，给刘建琼及家人带来了无穷的欢乐。结束产假时，刘建琼和丈夫将谨慎细心的母亲请到家带儿子，才放心回到单位去上班。 可谁也没想到，这样的喜气和欢乐在两年后，却被一场恶梦取代了。 儿子长湿疹求医“田婆婆” 2009年8月22日早上，刘建琼刚到单位上班，母亲就打来电话，称小子礴脖子上长了三四个小红点，让
审美需要是人类精神的基本需要之一。审美活动是指人所进行的一切审美创造和审美欣赏,这是一种综合着人的感知、理解、想象和情感等诸多心理功能的精神活动。其中,作为主体的
医学伦理学，是用伦理学理论和原则来探讨和解决医疗卫生工作中人类行为的是非善恶问题。这是一门既古老又新颖的学科，它对推动医学科学的发展，提高医疗卫生工作者的道德水准，规范
当爱国的口号漫天喊响的时候，往往是一个国家多事的时候。2012年的秋天，似乎就是这么个多事之秋。因为保钓5f发的爱国热潮中，有人呐喊，有人捐款，有人到美国打广告，有人在中国打耳光
我的家在武汉江滩附近的老城区，这一带矗立着一栋栋老建筑，它们见证了百年历史的沧桑变幻。