【摘 要】
：
针对RBox表达能力受限于简单角色的问题,研究了在角色包含公式中允许出现一类由合取和析取构造子连接的复杂角色,并且TBox和ABox均为空集的情况下ALC概念的可满足性问题,设计
【机 构】
：
河南工程学院计算机科学与技术学院,河南财政税务高等专科学校信息工程系
论文部分内容阅读
针对RBox表达能力受限于简单角色的问题,研究了在角色包含公式中允许出现一类由合取和析取构造子连接的复杂角色,并且TBox和ABox均为空集的情况下ALC概念的可满足性问题,设计了可满足性检测表算法,分析了算法的终止性,证明了可靠性和完备性,最后讨论了复杂度.理论分析表明,此时ALC概念的可满足性问题是可判定的,并且复杂度为ExpTime.
其他文献
用超临界CO2做物理发泡剂，在10～25MPa，40～100℃下经降压法分别发泡了平均粒径约6μm的交联的以及非交联的聚苯乙烯（PS）微球，并研究了其发泡行为．结果表明：经超临界CO2处理后．非交联PS微
互联网及其所承载业务的快速发展对传统的业务流识别管理技术带来了极大的挑战,如何对大量涌现的P2P业务及加密类业务进行高效感知与灵活管理成为构建新一代高可信网络亟待解
本课题首先介绍了上海焦化有限公司原有的1-4#空分装置工艺流程,并对多年来设备运行情况进行简要地分析、比较。结合上海焦化有限公司原有1-4#空分产能及醋酸配套CO联产甲醇
采用二次阳极氧化法制备了阳极氧化铝（AAO）模板．以Pb（CH3COO））2·3H2O和Ti（C4H9O）4为反应物。采用溶胶一凝胶模板法在AAO模板的纳米孔洞中合成出了高度有序的PbTiO3纳米线．首先，将
RAR编码具有较高的压缩率,其在信息存储、信息管理、通信及保密方面得到广泛应用。在实际应用中,由于工作环境的复杂多变,数据中往往含有误码,因此快速准确的恢复RAR编码数据
电子政务门户网站是各级政府沟通公众与社会的窗口，公众满意度是体现电子政务门户网站建设水平及其影响力的一项重要指标．该文描述了电子政务门户网站公众满意度评价的现实背景
篮球运动有其特殊的规则,主要是需要运动员进行跑步及跳跃的一种集体运动。篮球其竞争有一定的趣味性,还有健身性都是极为明显的,因此也广受青少年的热爱。如果能够在篮球运
伴随我国教育教学不断改革,给高校体育教学提出更高的要求,传统的高校体育教学模式已经很难适应当今社会发展,所以需要广大体育教育工作者积极改变和创新。结合多年教学实践
针对现有无线Mesh网络信道分配方案中的冲突模型不能反映真实网络干扰,提出一种基于信号干扰比（SIR）冲突图和最大独立集的信道分配方案.首先,由于射频信号的反射干扰远高于噪声
移动Ad Hoc网络(MANET)的动态拓扑结构使网络可靠性评估较为困难,为此提出一种基于连接矩阵的MANET可靠性评估方案.首先,确定网络中的源-终节点对和中继节点.然后,根据节点间欧式距离和通信范围来检测中继链路状态,并构建连接矩阵.最后,根据连接矩阵判断网络连接性,以多轮连接性的均值作为网络的最终可靠性.仿真实验中,评估了节点移动模型、网络大小、节点数量和通信范围对网络可靠性的影响,能够为网