Vadalog系统：基于数据日志的知识图推理

@文章{Bellomarini2018TheVS，title={The Vadalog System：基于数据日志的知识图推理}，author={Luigi Bellomarini和Emanuel Sallinger以及Georg Gottlob}，期刊＝{ArXiv}，年份={2018年}，体积={abs/1807.08709}，网址={https://api.semanticscholar.org/CorpusID:49300741}}
本文介绍了Vadalog系统，它是一个基于数据日志的系统，用于执行复杂的逻辑推理任务，如高级知识图中所需的任务，并说明了Warded Datalogs+/-的第一个实现，这是一个使用主动终止控制策略的高性能Datalog+/-系统。
[PDF]语义阅读器
121引文
极具影响力的引文
4
背景引文
54
方法引文
38
结果引文
4

本文中的数字

询问这篇论文
贝塔
AI供电

我们的系统试图限制本文中找到的信息。结果质量可能有所不同。了解更多信息关于我们如何产生这些答案。

121引文

基于数据日志的知识图推理

介绍了Vadalog系统，这是一个基于数据日志的系统，用于执行复杂的逻辑推理任务，如高级知识图中所需的任务；这是牛津大学对VADA研究项目的贡献，是牛津大学、曼彻斯特大学和爱丁堡大学以及大约20个行业合作伙伴的共同努力。

Vadalog：使用大型知识图进行自动推理的现代架构

Vadalog：大型知识图推理系统综述

从体系结构的角度描述了Vadalog，重点介绍了执行模型、图遍历策略和连接算法，并对系统进行了实验评估。

知识图的基础：Vadalog中算法的复杂性

本文研究了Vadalog中算法的潜在候选对象，并证明了用算法扩展KG推理语言是一个非平凡的问题，并且证明了该语言的P-完备性，即Warded Bound Datalog Z，一种可判定的支持算法的语言。

iWarded：基准数据日志+/-推理系统（技术报告）

引入了iWarded系统，该系统可以生成非常大、复杂、现实的推理设置，用于采用Datalog+/-的基于逻辑的推理系统的基准测试，Datalog+/-Datalog是最近几年兴起的一系列数据日志扩展。

MeTeoR：使用度量时态运算符在数据日志中进行实用推理

提出了一种在DatalogMTL中进行实用推理的新方法，该方法将物化（也称为前向链）与基于自动机的技术相结合，能够对复杂的时态规则和涉及数千万个时态事实的数据集进行推理。

带有害连接的Warded Datalog+/-中的推理

为了支持推理决策性和语言的全部表达能力，开发了有害连接消除算法，这是一种在保持任务正确性的同时删除“有害”连接的算法，并将其集成到Vadalog系统中。

基于流的体系结构的Shy和Warded Datalog+/-上的本体推理（技术报告）

本文重点介绍了两种非常有前途、表现力强且易于处理的语言，即Shy和Warded Datalog，并利用它们的理论基础介绍了新的推理技术，即技术上的“追赶变体”，这些技术特别适合于基于流的体系结构中的高效推理。

受保护的数据日志+/-在具有有害连接的金融环境中进行推理

这项工作提供了一种算法来删除受存在量化影响的变量上的“有害”连接，支持推理可判定性和语言的全部表达能力，同时保持任务的正确性。

Vadalog的空间效率核心

结果表明，如果不考虑导向条件，仅使用分段线性递归是不够的，因为它会导致推理的不确定性，并研究了基于TGD（分段线性）导向集的查询语言的相对表达性。
...

58参考文献

大数据和知识图的快速逻辑-需求、语言和系统概述

介绍了vadalog系统，该系统利用了相关Datalog语言的理论基础，并将其与数据库和人工智能实践中的现有和新技术相结合，并将这些快速逻辑付诸实施。

一种通用的基于数据日志的本体易处理查询应答框架

特别是，Datalog+/-概括了DL-Lite系列可处理描述逻辑，这是语义Web和数据库上下文中最常见的可处理本体语言。

一种通用的基于数据日志的本体易处理查询应答框架

用于知识表示和推理的DLV系统

实验结果证实了DLV的可靠性，突出了其在知识管理和信息集成等新兴应用领域的潜力，并描述了研究该系统用于工业开发潜力的主要国际项目。

面向更具表现力的本体语言：查询应答问题

Datalog+/-：一系列用于新应用程序的逻辑知识表示和查询语言

本文讨论了确保可判定性的三种范式：追逐终止、警戒和粘性，并通过存在量化规则头等特征对普通数据日志进行了扩展，并对规则语法进行了限制，以实现可判定性和可处理性。

修理检查和一致性查询应答的组合复杂性

这项工作的目标是针对广泛的完整性约束，对RC和CQA问题的复杂性进行彻底分析，从而更好地理解复杂性的真正来源。

可扩展数据交换中释放的功能依赖

基于源到目标元组生成依赖关系（tgds）和目标fds之间的相互作用，提出了一种新的基于chase的算法，可以有效地处理目标上的任意fds。

DeALS中使用单调聚合优化递归查询

本文描述了DeALS如何扩展其定义并修改其语法，以实现应用程序的简明表达，如果没有它们，这些应用程序就无法以性能传导的方式表达，或者根本无法表达，并介绍了优于传统方法的新的实现和优化技术，包括Semi-naive评估。

这是所有人！LLUNATIC走向开源

这项工作介绍了L LUNATIC映射和清理系统，这是第一个以统一方式处理模式映射和数据修复的全面建议，并将独特的功能纳入系统中，例如可配置的用户交互以及解决方案的效率和质量之间的可调权衡。
...