EL^(++)本体中基于边界的公理模块提取方法

作     者：方俊 郭雷 杨宁 Fang Jun;Guo Lei;Yang Ning

作者机构：西北工业大学自动化学院陕西西安710072 

出 版 物：《西北工业大学学报》 (Journal of Northwestern Polytechnical University)

年 卷 期：2010年第28卷第3期

页      面：353-357页

核心收录：

学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 081104[工学-模式识别与智能系统] 08[工学] 0835[工学-软件工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：教育部新教师基金(20096102120037) 国家自然科学基金(6067501)资助 

主　　题：公理模块 边界方法 本体 推理优化 模块提取 

摘      要：推理时间随着所依赖的本体体积增大而增加,所以模块化是优化推理的一种有效手段。文章提出了一种在EL++本体中使用符号边界计算公理模块的方法,该方法通过分析符号解释域边界和公理之间的关系来计算推理任务的公理模块。文中给出了方法的理论基础并证明了模块相对于推理任务的正确性。在EL++本体上实现了基于边界的公理模块提取算法,通过在现实的本体上进行实验评估,证明文中方法产生的公理模块和最优模块大小非常接近,且提取速度非常快,适合对推理进行优化。