本文介绍了一个名为 DLV$^{DB}$ 的新系统，该系统旨在解决推理海量数据时存在的主存限制，外部数据库管理系统的互动不易等问题，并在比较逻辑推理和数据库的几个先前的系统（LDL ++，XSB，Smodels 和三个顶级商业 DBMS）的实验分析中获得了显着的效能优势。

Apr, 2007

本文介绍了一种新的 Datalog 推理物化方法，将基于列的内存布局与避免运行时冗余推理的新型优化方法相结合，进一步提高了效率，并通过有预测性的缓存某些子查询，实现了在受限资源下甚至可以与最先进的系统的性能相匹配的结果。

Nov, 2015

这篇论文提出了一个通用框架，将优化的存储方案与标准物质化算法集成，针对常见的转换规则和联合规则，通过优化的存储方案显著改进了内存消耗，有时候提升几个数量级，同时在查询响应时间方面保持竞争力。

Dec, 2023

本文提出了一种基于 MapReduce 框架的并行化方法，探讨了基于良基的语义如何处理海量数据，并指出实验结果表明其可扩展性好，具有应用于数十亿条事实的潜力。此外，这是第一篇涉及任意元谓词的大规模非单调推理的研究。

May, 2014

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

Jul, 2018

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

Feb, 2024

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

Jun, 2004

本文研究在一个规范上执行广泛的推断任务的可行性，通过将 IDP3 扩展到与动态规范相关的领域中使用的多种推断技术。

May, 2014

本文提出了一种基于矩阵方程、线性代数的方法，通过解决线性矩阵方程的最小解来计算 Datalog 的最小 Herbrand 模型，并在人工和真实数据上的实验中得到了比现有的 Prolog 和 ASP 系统快 10^1 ~ 10^4 倍的效果。

Jul, 2016

本文描述了 DLog—— 一种基于分辨率的描述逻辑推理系统。DLog 将描述逻辑公理转换为 Prolog 程序，并使用标准的 Prolog 执行有效地回答实例检索查询，是全 SHIQ 语言的 ABox 推理引擎。DLog 的方法使得个体能够储存在数据库中而不必放在内存中，这提高了可扩展性并有助于在现有信息源的基础上直接使用描述逻辑本体。

Apr, 2009