【摘 要】
：
模拟和互模拟是分析模态逻辑的表达能力的一个强有力的工具.巴德尔（Baader）率先提出,可以运用描述图之间的模拟关系来分析描述逻辑的包含推理,并证明了在概念定义式循环术语集
【基金项目】
：
基金项目：贵州省2013年度贵州省科技厅、毕节市科技局、毕节学院科技联合基金计划项目“轻量级描述逻辑的保守扩充”研究成果之一,项目编号：黔科合J字LKB[2013]23号.
论文部分内容阅读
模拟和互模拟是分析模态逻辑的表达能力的一个强有力的工具.巴德尔（Baader）率先提出,可以运用描述图之间的模拟关系来分析描述逻辑的包含推理,并证明了在概念定义式循环术语集限制下,描述逻辑EL的包含推理是多项式时间复杂的.本文分析了描述逻辑模拟关系的研究现状和存在的问题,给出一般情形描述逻辑EVL下的模拟关系及其性质.
其他文献
矿山资源作为我国当前社会发展的重要资源，其需求量随着我国经济的发展正在壮年增加，矿山资源需求的增加必然会增加矿山开采工作的任务。在矿山开采过程中，电气设备有着至关重要
彝语有丰富的拟声词。以《彝汉大词典》收录的拟声词为语料，分析了彝语拟声词的基本形式和扩展形式、拟声词的语义及其发展，对拟声词的造词能力进行了描写，并进一步对彝语拟声词
<正> 1998年以来,我省手扶变型运输机发展的势头极为迅猛。以萧山市为例,1999年1月至11月份,累计核发小型拖拉机牌照747副,其中手扶变型运输机就有626辆,占发牌总数的83.8％。
对于承受四面来压荷载、服务年限较长的巷道工程,获取岩石的物理力学性质具有十分重要的理论及现实意义。通过对南山煤矿现场取样,随后将岩样加工成标准试件进行单轴压缩试验
摘 要：目的 观察研究子宫压迫缝合术在产后出血治疗中的效果。方法 选取产后出血患者进行随机对照分组分为研究组和对照组。采用子宫压迫缝合术进行止血治疗的为研究组，采用其他方式进行止血治疗的为对照组。对两组患者总出血量、处理时出血量、处理时间等进行分析比较。结果 研究组患者行子宫压迫缝合手术在处理时出血量、处理时间、住院天数等都少于对照组，P<0.05统计学有明显差异。术后六个月内回访，研究组术后并发
摘要：随着社会的发展，人们的生活水平越来越高，在此基础上，建筑行业、房地产行业等有了显著的发展，与此同时，建材市场的产品也越来越多。当今，人们对环保意识正在不断加深，并且要求将节能环保理念引入到建筑领域当中。建筑模网混凝土是当前社会中一种新型的节能环保墙体材料，但是由于其仍具有一定的局限性，在其施工过程中劳动强度相对比较大。并且，在采用这种材料施工的过程中也会使墙体结构与屋面板之间出现热桥问题，影
高效课堂是学生主动学习、积极思考的课堂，是学生充分自主学习的课堂，是师生互动、生生互动的课堂，是学生对所学内容主动实现意义建构的课堂。什么样的数学课堂是高效的？在实践中
<正> 三相鼠笼异步电动机在农村的应用非常广泛,由于使用不当而引起绕组线圈烧损也常发生。在修理时,就要知道绕组的排布规律和嵌线工艺。本期先介绍排布规律。 一、绕组的有
<正> 电动机在运转中,由于摩擦、振动、绝缘老化等原因,难免会发生故障,也就会出现异常的声音,根据声音来辨别故障并及时排除,不仅能够保证生产任务的完成,还可防止事故的发
随着社会的发展进步，档案资源的巨大社会价值日益为公众所认知，这就涉及档案保密管理与利用工作的重要性，这项工作做得好与坏，将直接影响国家及单位的安全和利益。本文就档案在保