论文研究-描述逻辑中基于边界的模块提取方法.pdf

【文件属性】：

文件名称：论文研究-描述逻辑中基于边界的模块提取方法.pdf

文件大小：461KB

文件格式：PDF

更新时间：2022-09-30 14:32:36

论文研究

模块化是优化本体推理的一种有效的手段，提出了一种针对推理的模块提取方法，该方法通过分析符号解释域的边界和公理之间的关系计算出基于边界的模块。文中给出该基于边界的模块的理论基础，并证明了其模块的正确性。在评估实验中，通过与最优模块和符号模块进行比较，基于边界的模块和最优模块大小很接近，非常适合对推理进行优化。