arXiv ID:
2606.24279
arXiv 提交日期: 2026-06-23
面向理性闭包下的可废止DL-Lite的易处理推理与合取查询回答 / Tractable Reasoning and Conjunctive Query Answering for Defeasible DL-Lite under Rational Closure
1️⃣ 一句话总结
本文提出了一种能在已有经典推理器上直接使用的插件方案,使得在理性闭包这种非单调逻辑下,对轻量级描述逻辑DL-Lite进行实例检测和合取查询回答时,计算效率依然高效,且几乎不增加额外代价。