【摘 要】
：
本体的保守扩充是本体构建、本体重构的核心理论与工具。本体把领域知识形式化,实现人机之间的知识共享及知识重用。基于描述逻辑的本体保守扩充是目前研究者们所关注的焦点
【机 构】
：
贵州工程应用技术学院理学院,江西师范高等专科学校数学学院
【基金项目】
：
2017年贵州省教育厅普通高校学校青年科技人才成长项目“轻量级描述逻辑循环术语集的保守扩充研究”,项目编号:黔教合KY字[2017]293
论文部分内容阅读
本体的保守扩充是本体构建、本体重构的核心理论与工具。本体把领域知识形式化,实现人机之间的知识共享及知识重用。基于描述逻辑的本体保守扩充是目前研究者们所关注的焦点。卢茨(Lutz)等提出的典范模型(CanonicalModel)方法解决了非循环描述逻辑EL的保守扩充问题。研究了描述逻辑FL0的术语集的保守扩充问题,给出描述逻辑FL0循环术语集在最大不动点模型下的保守扩充算法。
其他文献
酒文化是当今国际文化交流的重要渠道之一。本文首先对中日两国酒文化的渊源进行分析,之后进一步从地域、文化、历史、宗教的角度进行研究。研究发现,第一,中日两国酒文化受
2006年仙居县享受大中型农业机械政府补贴共购置大中型联合收割机5台，购机金额为24．27万元，补贴资金总额7．69万元，其中省补5．39万元，县补2．3万元，仅是省县财政补贴资金控制指标的13．46％
摘 要：随着互联网技术的发展和各地水情监测系统的不断建立，使得监测系统的数据的异构性变得越来越突出，所以如何在防汛指挥系统中将异构数据集成是当前需要解决的迫切问题。本文在分析现存问题的基础上，探讨了集中解决异构数据集成技术的方法。 关键词：防汛 异构 集成 1. 前言 防汛指挥系统就是国家按照防汛的需求，在国家防洪指挥系统的基础上应用了信息通信、信号采集以及计算机等多种技术，形成了洪汛监测预
强化督导评估的激励作用张国华国家教委《普通中小学校督导评估工作指导纲要》的颁布试行，标志着对普通中小学督导评估工作已在全国范围内启动，标志着近几年来，开展的对普通中小
2009中国（浙江）农业机械展示会于3月24日至3月25日在浙江路桥·台州市国际会展中心举行，本届展示会由浙江省农业厅主办，浙江省农业机械管理局和台州市路桥区人民政府承办。茅
语文教学的目的不仅是为了传授语文知识，更主要是为了训练学生的听说读写的能力，而其中思维能力又是极重要的。“语言是思维的直接现实”。语文课应当紧密结合字、词、句、章以
语文教学中应重视系统论整体原理的运用张加余特级教师魏书生在语文教学实践中探索出一套崭新的、行之有效的教学方法。他在教学中先让学生读总体语文书（一至六册），再读一册语文
工会是党和政府联系职工群众的桥梁和纽带,工会经费主要用于为职工服务和组织工会活动,加强对工会经费的审计监督,有助于提高工会经费使用效益,充分发挥基层工会为广大职工群
摘 要：对建筑的管理是建筑项目中的必备的工作内容，尤其是在项目实施的过程中，更不能离开项目管理。尽管项目管理与施工的内容不同，但是二者是有一定联系的。如果在项目施工的时候，没有对其管理，那么项目的质量就失去了保证。部分建筑项目出现问题，很大程度上都是因为在施工的时候，没有对建筑进行管理，本篇文章主要是探讨了在施工的管理的漏洞，以及具体的措施。 关键词：建筑；管理；重要；问题；措施 在建筑行业的
摘 要：长期以来，很多企事业单位在合同管理，包括合同的登记、审批、备案、归档中仍然采用手工作业，这就带来一系列问题，如因合同流程不明确规范造成各部门之间合同审批流转时间长、效率低并且容易出错等问题。企业合同管理系统就是针对当前企业单位合同管理业务特点所定制开发。这套管理系统可以完善企业内部合同管理制度，规范合同管理，更加及时、全面的展现合同信息，辅助企业制定管理决策，降低管理成本，提高内部管理水准