非单调推理

研究团队提出一种插件架构，可在现有标准推理器基础上实现DL-Lite家族在理性闭包下的高效推理与联合查询应答，显著降低计算开销。