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