【摘 要】
：
为判定描述逻辑SHIQ的ABox一致性，提出一种Tableau算法。给定TBox几ABoxA和角色层次H，通过预处理将A转换成标准的ABox A’，按照特定的完整策略将一套Tableau规则应用于A，从而不断
论文部分内容阅读
为判定描述逻辑SHIQ的ABox一致性，提出一种Tableau算法。给定TBox几ABoxA和角色层次H，通过预处理将A转换成标准的ABox A’，按照特定的完整策略将一套Tableau规则应用于A，从而不断地对A’进行扩展，直到将其扩展成完整的ABoxA”为止。A、T和H一致，当且仅当算法能产生一个完整且无冲突的ABox A”。该算法采用的阻塞机制能防止Tableau规则被无限次执行，避免多余的规则应用。通过证明Tableau规则的执行次数为有限次，确认算法的可终止性。通过证明由A”能构造一个同时满足A
其他文献
传统DV-Hop定位算法只考虑最近一个锚节点估计的平均跳距值,而单个锚节点估计的平均跳离值无法准确地反映网络的实际平均跳距。为此,提出一种基于加权处理的平均跳距估计算法
“应对气候变化问题？是在全球经济寻求可持续发展的背景下提出来的。然而？可悲的是。人类在处理经济发展与保护环境这对问题时——只要经济上出现任何风吹草动？人类都会以牺牲环
詈语是一种特殊的语言文化现象。明末清初成书的长篇白话小说《醒世姻缘传》,詈语的使用堪称一时之冠,形成了自己的鲜明特色。文章对《醒》书詈语中比喻、夸张辞格的运用和整
分形理论是定量研究非线性问题的一种新的有效的理论方法。文章通过对个旧矿区东区断裂构造系统的分形研究，认为该区断裂构造系统在二维平面上服从分形分布，整个矿区分维值D=1．4
美联社一篇文章说，自1997年从通过抑制全球气候变暖的《京都议定书》后，气候变暖恶化和加剧了，其程度超过了当时最严厉的部分警告。这期间，曾经冰封的北极夏季海冰区域开出了新航
财政部、国家税务总局于2009年12月7日联合发布《关于以农林剩余物为原料的综合利用产品增值税政策的通知》（财税[2009]148号），对现行农林三剩物增值税政策进行了调整和完善，主要
对于我国的大多数城市来说,五月下旬的天气可能相对舒适。新疆维吾尔自治区吐鲁番市的五月,最高温度已经超过40℃。在植被稀少的戈壁上,则可超过50℃。而在7-9月,地表温度更
在孵企业处于企业孵化器中，接受企业孵化器的孵化和培育。孵化器经理及管理团队与在孵企业人员的接触可以促进在孵企业成长绩效的提升。这种接触可以用接触强度来反映。本文采
制等方面,并通过建立经济模型,收集有关数据,旨在通过量化分析金融创新与经济增长之间的关系,金融创新对经济增长的贡献,找出影响金融创新作用的要素,进而提出政策建议,使其
在异类多传感器信息融合目标识别中,不同传感器对系统提供的证据等级不同。为此,提出一种模糊信息融合目标识别方法。将各证据按证据权进行转化,用Dempster Shafer(D S)证据理论进行合成,利用模糊数学模型对传感器测量值和数据库中的数据进行建模,根据证据距离得到各证据的相互支持度,进而获得传感器对系统提供信息量的权重。分析结果表明,该方法具有较高的精度和可靠性。