描述了 DaRLing 系统,它是一个 OWL 2 RL 本体推理的 Datalog 重写器,在 SPARQL 查询下具有实际适用性。
Aug, 2020
本文研究了本体基础数据查询的各种类别,包括关系数据库查询与本体、描述逻辑或其他相关一阶逻辑和联结查询。研究结果包括三个方面,首先用不相交的 Datalog 片段来表达了本体中介查询的表达能力。其次,本体中介查询与约束满足问题(CSP)及其逻辑泛化 MMSNP 公式有密切联系。最后,利用这些联系得出了有关本体中介查询的新结果,如 i)本体中介查询的一阶重写和 Datalog 重写,ii)本体中介查询的 P / NP 二分法,以及 iii)本体中介查询的查询包容性问题。
Jan, 2013
本文介绍一种用于优化 Datalog 查询的索引技术,通过确定最佳索引方案及 Datalog 规则的适当排列来降低内存消耗并优化查询效率,结果表明在不损失效率的情况下,内存使用显著减少。
Jul, 2019
本文提出了一种结合基于自动机的技术与材料化(正向链接)的方法,以实现在 DatalogMTL 中进行实际推理的新方法,并利用基于时间的 Lehigh 大学基准测试的时间扩展和基于实际气象数据的基准测试进行了评估。我们的实验表明,MeTeoR 是一种可扩展的系统,可实现对涉及数千万个时间事实的复杂时间规则和数据集进行推理。
Jan, 2022
该论文研究了使用 Angluin 等人的准确查询学习框架来学习描述逻辑本体的问题,证明了可以用多项式大小的多项式查询来学习用 DL-Lite 描述逻辑和某些和 OWL 2 RL 相关的 EL 片段描述的本体,但即使只允许非循环本体,也不能用多项式大小的查询来学习用 EL 描述逻辑描述的本体。
Sep, 2017
本文介绍了一种新的模块抽取方法,将模块抽取的问题转化为 Datalog 推理问题,该方法不仅可以优雅地概括现有的近似方法,而且可以根据需要保留特定类型的导出结果,从而提取更小的模块。
Nov, 2014
基于本文提出的新方法,规划专家和本体专家可以分别处理规划规范和本体,并通过接口进行关联,从而实现对本体引导的规划问题的优化处理,以支持整个 OWL DL 片段。
Aug, 2023
本文介绍了一种增强的魔法集技术来优化使用数据日志的查询答案,并通过消除子 sumed 规则和有效处理绑定传播丢失的情况进一步优化了重写的程序。
本文介绍了 Vadalog 系统,这是使用 Datalog 进行复杂逻辑推论任务的系统,采用侵略性终止控制策略实现了 Warded Datalog+/-,并提供了全面的实验评估。
Jul, 2018
利用 Datalog+/- 语言中的 Shy 和 Warded Datalog+/- 以及引入的新型推理技术 'chase variants',在基于流式处理架构中实现了 Vadalog 引擎,从而在真实环境中高效解决本体推理任务。
Nov, 2023