【摘 要】
：
演变中的本体常出现不一致性问题,这将导致标准推理失效.针对不一致性问题,最小不可满足保持子集能够提供本体中概念不可满足的解释.计算最小不可满足保持子集是本体工程中的
【机 构】
：
南昌工程学院信息工程学院,东南大学计算机科学与工程学院
【基金项目】
：
国家“八六三”高技术研究发展计划基金项目（No.2015AA015406）, 国家自然科学基金（No.61272378）, 江西省教育厅青年科学基金项目（No.GJJ12643）
论文部分内容阅读
演变中的本体常出现不一致性问题,这将导致标准推理失效.针对不一致性问题,最小不可满足保持子集能够提供本体中概念不可满足的解释.计算最小不可满足保持子集是本体工程中的一项重要的非标准推理任务,但多数计算方法须借助外部的推理机,导致计算的效率不高.为了减少对推理机的依赖,本文提出了一种基于图的最小不可满足保持子集的计算方法.新的方法面向DL-Lite描述逻辑家族,将DL-Lite本体转换成图,将本体中的最小不可满足保持子集转换成图上的最小不可满足保持路径对.对比实验表明,基于图的方法提高了计算的效率和稳定性.
其他文献
清代宫廷艺术是清代艺术史研究的重要组成部分，漆器艺术又是其中特有的一个门类。清代的漆器制作以宫廷养心殿造办处为中心，这里集中了全国各地的能工巧匠，由于不惜成本，制作出的
社交网络节点之间的关系强度建模是研究信息传播、实现推荐服务等社交网络服务的关键.传统关系强度模型主要研究简单二元关系与静态关系,未考虑用户交互影响及其动态衰减.本
张载以太虚为宇宙本体，是宇宙万物的最终本原。诚是太虚的存在性征和根本道德属性，诚因与宇宙论相结合而具有了形而上学的意蕴，成为人伦道德的形上依据。天道之诚下落于现实人生
分析总结了某电厂600MW机组W型火焰锅炉降低燃油消耗的技术和方法，提出了降低机组冷态启动耗油、防止锅炉灭火、采用气化小油枪等三个主要节油方面。采用后大幅度降低了锅炉油
“十五”期间上海郊区建设取得了一系列重大进展。“十一五”期间上海新郊区建设采取“统一规划。分类指导；分期聚焦。分步实施；政策搭桥，协调配套；多方联动，稳妥推进”的战略思路
江苏是期刊大省但非期刊强省。分析江苏杂志产业状况,寻求新时代江苏杂志产业突破的方向,是江苏建设文化强省的重要组成部分。江苏杂志产业的崛起必须依托文化大省资源,发挥
本文对新《安全生产法》实施的背景下，如何提升安全管理水平，进一步落实安全生产主体责任进行了探讨。
超高层建筑核芯筒液压爬模架因设计变更原20层改为结构加强层,在结构标高82.37 m和87.67 m处向核心筒外侧伸出牛腿,影响外架的正常爬升。通过液压爬模架个别机位高空临时拆除