本文介绍了一种新的技术，通过利用查询绑定的传播并扩展魔法集（MS）优化技术来优化（部分）绑定查询，从而对分层否定性的分离 Datalog 程序进行优化，通过对具体应用进行实验，可以得到该方法带来了显著的计算收益。

Apr, 2012

本文介绍了一种用于优化带约束的析取推论数据库上的有界查询的技术。所提出的方法基于 Magic-Set 技术的扩展，适用于被整合在当前的自下而上（稳定）模型推理引擎中。它基于利用绑定传播技术的思想，该技术减小了回答查询相关数据的大小，从而减少了计算单个模型和考虑的模型数的复杂性。

Jun, 2004

本论文提出了一种基于分布句式的逻辑推理方法，并结合前向推理和重要性抽样技术，采用魔法集和后向推理技术来实现高效的概率推理。

Jul, 2011

本文研究本体数据库访问设置，其中 Abox 以关系数据库 D 的形式给出，而布尔连接查询 q 必须针对在 DL-Lite 或 Linear Datalog+/- 中制定的 Tbox T 模块进行求值。我们展示了如何将（T，q）转换为大小为多项式的等效递推 Datalog 程序 P。

Jun, 2011

BigDatalog 是 Datalog 的扩展，旨在实现在 Apache Spark 和多核系统上的性能和可扩展性，其图分析性能优于 GraphX，通过实现技术（例如半朴素极限和魔术集）解决了在递归中使用数量、总和和极值等问题。

Jul, 2018

研究了将一个分离的 Datalog 程序重写为普通的 Datalog 的问题，并提出了一种新的基于规则的知识表示语言（KR language）—— 弱线性分离 Datalog，以及在本文的框架下对本体推理问题的应用，结果表明许多非 Horn 本体可以被简化为弱线性程序，并可以用 Datalog 引擎在实践中进行查询回答。

Apr, 2014

本篇论文研究了基于 OWL 2 QL 和 Metamodeling Semantic Entailment Regime (MSER) 的 Metamodeling 语义，并使用不同的逻辑编程工具实验确定它们对 MSER 查询的适用性。

Feb, 2024

本文提出了一种用于计算非非分离逻辑程序的基于条件事实和基本程序转换的自下而上算法框架，并展示了该方法的优势。

Nov, 2000

本文研究了本体查询中的查询重写和查询优化问题，其中查询重写包括将本体查询编译为与底层关系型数据库等效的查询，查询优化旨在改善此过程以生成成本效益高的 UCQ 重写，提出了一种有效的新方法以支持基于线性 Datalog+/- 的规则。

Dec, 2011

本文研究了非 Horn 本体的查询方法，使用 datalog 重写来回答 OWL 2 DL 本体查询的可能性等问题，并提出了一种基于分辨率的过程来解决 SHI 本体问题。

Apr, 2013