本文汇总多篇研究，聚焦Datalog与本体推理：DaRLing实现OWL 2 RL重写；本体中介查询可用Datalog片段表达，并与CSP、MMSNP关联，得出一阶/Datalog重写、P/NP二分法及查询包容性结果；还涉及索引优化、DatalogMTL推理系统MeTeoR、DL-Lite与EL本体学习、模块抽取、本体引导规划、魔法集优化及Vadalog系统。