【文件属性】：
文件名称：论文研究-描述逻辑中基于边界模块的推理方法.pdf
文件大小：461KB
文件格式：PDF
更新时间：2022-08-11 15:20:59
模块提取,边界,推理,解释,描述逻辑
模块化是优化本体推理的一种有效手段，提出了一种针对推理的模块提取方法，该方法通过分析符号 解释域的边界与公理之间的关系计算出基于边界的模块。给出该基于边界的模块的理论基础，并证明了其模块 的正确性。评估实验表明，基于边界的模块和最优模块大小很接近，并使用边界模块进行推理后，推理性能显著 提高。