面向流式架构的Shy与Warded Datalog$+/-$本体推理（技术报告）
数据库
2023-11-22 v1 人工智能
计算机科学中的逻辑
摘要
近年来，学术界和工业界对基于Datalog的本体推理系统的兴趣不断上升。这些系统采用通常在Datalog这一统称下的语言，其在Datalog基础上扩展了存在量化的基本特性，同时引入语法限制以维持推理可判定性并实现表达力与计算复杂度之间的良好权衡。从实现角度看，现代推理引擎借鉴数据库界在开发基于流式的数据处理系统（如火山迭代器架构）方面的丰富经验，以维持有限的内存占用和良好的可扩展性。本文关注两种极具前景、表达力强且可处理的语言，即Shy和Warded Datalog。我们利用其理论基础引入新颖的推理技术，具体为特别适合基于流式架构中高效推理的“chase变体”。随后我们在参考流式引擎Vadalog中实现它们，以在真实场景中高效求解本体推理任务。
引用
@article{arxiv.2311.12236,
title = {Ontological Reasoning over Shy and Warded Datalog$+/-$ for Streaming-based Architectures (technical report)},
author = {Teodoro Baldazzi and Luigi Bellomarini and Marco Favorito and Emanuel Sallinger},
journal= {arXiv preprint arXiv:2311.12236},
year = {2023}
}
备注
Accepted at PADL 2024