【摘 要】
：
为了优化本体推理,提出了一种在EL^＋＋本体中的公理模块提取方法.该方法通过分析符号解释域的边界和公理间的关系计算出给定推理任务的边界模块,对于与推理任务中所有符号相关的
【基金项目】
：
Foundation item： The Ph.D. Programs Foundation of Ministry of Education of China（ No. 20096102120037）.
论文部分内容阅读
为了优化本体推理,提出了一种在EL^＋＋本体中的公理模块提取方法.该方法通过分析符号解释域的边界和公理间的关系计算出给定推理任务的边界模块,对于与推理任务中所有符号相关的公理集合,采用边界分割和交集计算来提取最终的边界模块,并提高模块的紧凑性.模块的正确性通过计算和推理任务中符号直接和间接相关的公理得到保证.给出了边界模块的理论基础和求解算法,并通过符号边界和逻辑蕴涵之间的关系证明了模块的正确性.边界模块提取方法在EL^＋＋描述逻辑语言上进行了实现,现实的本体实验评估表明,基于边界模块的推理比不采用模块的
其他文献
针对尺度不变特征变换(Scale Invariant Feature Transform,SIFT)算法在航拍场景分类中提取特征时,易造成边界模糊和细节丢失且无法描述颜色信息的问题,结合视觉词袋模型,提出了非线性尺度空间下融合颜色特征的新型颜色风式特征检测子(Color-KAZE,C-KAZE).通过KAZE构造非线性尺度空间来检测特征信息;对颜色模型(Hue,Saturation,Value,H
目的观察蛙皮素(bombesin,BBS)对雄激素非依赖型前列腺癌PC-3细胞系的作用;检测PC-3细胞BBS受体及其 mRNA的表达。方法①MTT法检测BBS对PC-3细胞增殖的影响;②检测BBS处理后P
目的研究分析人性化护理管理在骨科患者护理中的应用价值。方法选取本院2014年5月至2015年8月期间骨科收治的患者186例,采用数字标注法随机分为观察、对照两组,观察组93例,给
一项新的研究发现：2型糖尿病可在减肥手术后逆转，尤其是病程不足10年的2型糖尿病。此项研究结果将于周二在休斯敦举行的内分泌协会第94届年会中公布。
目的探讨外源性人抑癌基因PTEN表达对前列腺癌细胞系LNCaP、DU-145细胞增殖和侵袭转移能力的影响.方法利用携带人PTEN基因的可调控性腺病毒(Ad-PTEN),体外转染人前列腺癌细胞
目的：观察中药穴位贴敷配合西医常规治疗稳定期慢性阻塞性肺疾病的长期疗效。方法60例门诊患者随机分为对照组和治疗组各30例，对照组给予沙丁胺醇气雾剂及家庭氧疗等常规治疗，气
目的:探讨毒鼠强中毒患者的抢救及护理方法;方法:采用回顾性研究的方法,对15例毒鼠强中毒患者进行抢救及护理,总结抢救及护理的方法;结果:15例毒鼠强中毒患者经抢救、治疗与
针对数控机床热误差变化复杂而难以用常规方法预测的问题，将温升过程的热误差按不同的误差因素分解为静态基准误差和温升影响误差2个部分，分别建模并叠加生成热误差整体预测模
公路边坡的稳定性是目前研究热点之一.采用现场调查、观测与统计的方法,对贵黄公路边坡的防护形式、坡型、坡高、坡度、地质结构、稳定性以及植被的情况进行了分析.总结了不
通过对9个钢纤维混凝土框架边节点的试验,研究了此类节点的破坏过程与破坏特点,提出了节点核心区抗剪计算的"双剪压"受力机理模式.探讨了节点区域箍筋与钢纤维在抗剪计算中的