流浪汉 swMATH ID: 33095 软件作者： Luigi Bellomarini、Georg Gottlob、Emanuel Sallinger 描述： Vadalog系统：基于数据日志的知识图推理。在过去的几年里，数据库社区和行业中都出现了基于数据日志的系统的复兴。在这种情况下，人们已经认识到，为了处理当今遇到的复杂的基于知识边缘的场景，例如在大型知识图上进行推理，必须用存在量化等特征来扩展Datalog。然而，在存在量化的情况下，基于数据日志的推理通常是不可确定的。已经做出了许多努力来定义可判定碎片。Warded Datalog+/-是一个非常有前途的工具，因为它在允许本体推理的同时捕获了PTIME复杂性。然而，到目前为止，还没有实现Warded Datalog+/-。本文介绍了Vadalog系统，这是一个基于数据日志的系统，用于执行复杂的逻辑推理任务，例如高级知识图中所需的任务。Vadalog系统是牛津大学对VADA研究项目的贡献，该项目由牛津大学、曼彻斯特大学和爱丁堡大学以及大约20个行业合作伙伴共同努力。作为本文的主要贡献，我们展示了Warded Datalog+/-的第一个实现，这是一个使用主动终止控制策略的高性能Datalog+/-系统。我们还提供了一个全面的实验评估。 主页： https://arxiv.org/abs/1807.08709 关键词： 数据库；arXiv_cs。数据库；人工智能；arXiv_cs。人工智能；知识图；数据日志；VADA研究 相关软件： 数据日志；RDFox公司；LUBM公司；戴纳；SPARQL公司；DB足；DLV公司；网络PIE；swrl公司；粘合剂；利克斯托；高阶逻辑；大数据日志；奈亚德；阿帕奇火花；MapReduce；SociaLite公司；Flix公司；普雷格尔；国家标准-3 引用于： 4文件 标准条款 1出版物描述软件 年份 Vadalog系统：基于数据日志的知识图推理arXiv公司Luigi Bellomarini、Georg Gottlob、Emanuel Sallinger 2020 全部的 前5名13位作者引用 1 斯特凡妮娅·科斯坦蒂尼 1 安德烈亚·德·多梅尼科 1 阿里·法贾米 1 安德烈亚·福米萨诺 1 伊恩·霍洛克斯 1 胡、潘 1 巴斯·凯茨曼 1 Koutris，Paraschos公司 1 克里希纳·B·马诺卡尔。 1 鲍里斯·莫提克 1 亚历山德拉·帕尔米吉亚诺 1 玛蒂亚·帕内蒂尔 1 王晓龙 3篇连载文章中引用 1 人工智能 1 计算机基础理论 1 数据库的基础和趋势 在2个字段中引用 三 计算机科学（68至XX） 1 数理逻辑与基础（03-XX） 按年份列出的引文