轻量级描述逻辑DL-Lite在理性闭包下的高效推理与查询应答

在描述逻辑领域，理性闭包是一种处理可废止知识的经典非单调推理形式。最新研究聚焦于将理性闭包应用于轻量级描述逻辑家族DL-Lite的核心与霍恩变体。论文系统分析了理性闭包下的实例检查与联合查询应答问题，核心贡献在于设计了一种创新的插件架构。该架构能够直接复用现有标准经典推理器，无需大幅修改底层系统，即实现了DL-Lite在理性闭包下的高效推理与查询功能。实验表明，该方法能以最小计算开销完成复杂推理任务，为知识表示与推理系统的实际应用提供了新的技术路径。研究成果对构建更智能、更高效的知识图谱系统具有重要参考价值。