瓦达洛语

Vadalog系统:基于数据日志的知识图推理。在过去的几年里,基于数据日志的系统在数据库社区和工业中重新兴起。在这种情况下,人们认识到,为了处理今天遇到的基于知识边界的复杂场景,例如在大型知识图上进行推理,必须使用诸如存在量化之类的特性来扩展数据日志。然而,在存在量化的情况下,基于数据日志的推理通常是不可判定的。人们已经做了很多努力来定义可判定的碎片。wardeddatalog+/-是一个非常有前途的日志,因为它捕获了PTIME的复杂性,同时允许本体论推理。然而到目前为止,还没有Warded Datalog+/-的实现。本文提出的基于数据逻辑的复杂逻辑推理系统。Vadalog系统是牛津大学对VADA研究计划的贡献,这是牛津大学、曼彻斯特大学和爱丁堡大学以及大约20个工业伙伴共同努力的结果。作为本文的主要贡献,我们展示了Warded Datalog+/-系统的首次实现,这是一个使用主动终止控制策略的高性能数据日志+/-系统。我们还提供了一个全面的实验评价。