公理模块相关硕士博士期刊学术论文

推理时间随着所依赖的本体体积增大而增加，所以模块化是优化推理的一种有效手段。文章提出了一种在EL^＋＋本体中使用符号边界计算公理......