论文部分内容阅读
针对目前OWL推理机无法在非一致本体上进行推理的问题,提出了一种基于回答集程序的非一致本体推理方式,将OWL本体翻译为一类逻辑程序：HEX回答集程序,把本体推理问题规约为回答集程序求解问题。并通过在非一致本体上的推理实验,验证了该类方法的有效性。
非一致OWL本体的推理方法研究
【摘 要】
：
针对目前OWL推理机无法在非一致本体上进行推理的问题,提出了一种基于回答集程序的非一致本体推理方式,将OWL本体翻译为一类逻辑程序：HEX回答集程序,把本体推理问题规约为回答
【机 构】
：
武汉大学软件工程国家重点实验室
【出 处】
：
计算机工程与应用
【发表日期】
：
2011年9期
【基金项目】
：
国家重点基础研究发展规划（973）（the National Grand Fundamental Research 973 Program of China under Grant No.2007CB310800）：武汉市科技局科研发展基金项目（No.200810321167）.
其他文献
当前,技校计算机实训课的教学效率亟待提高,传统的评价方式已经很难适应课堂教学管理的要求。本文通过改进CorelDRAW实训课堂的组织和评价方式,以＂评＂导＂学＂,引导学生形成良好的
基于图描述的骨架图匹配大多考虑骨架图的拓扑结构,使得匹配精度受到影响。先通过骨架构造以骨架中心为根节点的骨架树,使用骨架中心到骨架端点测地路径等信息来描述骨架树的叶子节点,利用改进的最优子序列双射时序匹配算法来确定两幅骨架树叶子节点的匹配关系,该算法不考虑骨架树的拓扑结构,只匹配骨架树的叶子节点。通过匹配实验结果和检索实验结果,表明该方法有效地提高了匹配精度。
在劳动力相对过剩的今天，职场面临着前所未有的竞争与压力。如何找到一份好工作，又如何顺行职场，是许多年轻人面临的难题。笔者认为，习惯的途径难以见效，不妨换种模式，打破常规定律，来个逆向思维，出奇制胜，说不定会迎来一个柳暗花明的新境界。 低头进门 时下，高学历的人才如过江之鲫，比比皆是。而不少怀揣博士、硕士文凭的人也遇到了难以找到合适工作的尴尬。一方面，由于高学历的人往往眼光高，不愿进那些不出名的
为使上近似蕴含的近似信息得到延伸,特将近似空间进行了扩充,从而得到树型近似空间,在其中经上近似与树的融合,引出了不同于其他方式的近似推理。通过分析研究,描述了近似推
应用锥上不动点定理，研究具有P—Laplaclan算子的时滞微分方程边值问题正解的存在性，利用新的分析技巧建立了其至少存在一个正解的充分条件。所研究的具有P—Laplaclan算子的微
针对一类非线性l-1模极小化问题目标函数非光滑的特点给求解带来的困难，利用差分进化算法并结合极大熵函数法给出了解决此类问题的一种有效算法。利用极大熵函数将l-1模极小化