Jul, 2018

Vadalog 系统：基于 Datalog 的知识图谱推理

PDF
TL;DR本文介绍了 Vadalog 系统，这是使用 Datalog 进行复杂逻辑推论任务的系统，采用侵略性终止控制策略实现了 Warded Datalog+/-，并提供了全面的实验评估。
datalogexistential quantificationdecidable fragmentswarded datalog+/-vadalog system
发现论文，激发创造
  • 面向基于流式架构的约束型和保护型 Datalog$+-$ 的本体推理（技术报告）

    利用 Datalog+/- 语言中的 Shy 和 Warded Datalog+/- 以及引入的新型推理技术 'chase variants'，在基于流式处理架构中实现了 Vadalog 引擎，从而在真实环境中高效解决本体推理任务。

    Nov, 2023

  • 基于 Swift Markov 逻辑的知识图谱概率推理

    本篇论文提出了 Soft Vadalog 这一基于概率的 Vadalog 扩展框架，将其用于解决数据管理和工业领域问题，并采用 MCMC Chase 方法进行实用化探索。

    Oct, 2022

  • Warded Datalog+- 中算术的复杂性

    本文定义了一种新的语言，将 Warded Datalog+- 扩展到算术，证明了其 P 完备性，并为一种最近引入的整数算术 Datalog 片段提供了描述性复杂度结果，为高度表达 Datalog+- 语言奠定了理论基础，这些语言结合了先进递归规则和算术的优势，同时保证了现代 AI 系统中应用的高效推理算法，例如知识图谱。

    Feb, 2022

  • 关于 Shy 和 Warded Datalog+/- 之间的关系

    本文研究基于知识图形应用的 Datalog^E 语言，介绍其语法和递归，讨论其存在量词带来的问题，探讨 Shy 和 Warded Datalog+/- 等两种具有可行性的语言，并对实验结果进行了分析。

    Feb, 2022

  • 具存在量词的分离 Datalog：语义、可决定性和复杂性问题

    本文介绍了 Datalog 的扩展形式 Disjunctive Datalog，Datalogex 和 Datalogexor，并提供语法和语义的定义，以及解决了语言可决性问题，这些语言都是知识表示和推理方面的有吸引力的，特别是在需要基于本体论的推理的领域中。

    Oct, 2012

  • 在数据库和逻辑编程系统中尝试递归查询

    本文介绍了一个名为 DLV$^{DB}$ 的新系统，该系统旨在解决推理海量数据时存在的主存限制，外部数据库管理系统的互动不易等问题，并在比较逻辑推理和数据库的几个先前的系统（LDL ++，XSB，Smodels 和三个顶级商业 DBMS）的实验分析中获得了显着的效能优势。

    Apr, 2007

  • 大数据推理和高级分析的扩展

    BigDatalog 是 Datalog 的扩展，旨在实现在 Apache Spark 和多核系统上的性能和可扩展性，其图分析性能优于 GraphX，通过实现技术（例如半朴素极限和魔术集）解决了在递归中使用数量、总和和极值等问题。

    Jul, 2018

  • Prolog 中高效的描述逻辑推理：DLog 系统

    本文描述了 DLog—— 一种基于分辨率的描述逻辑推理系统。DLog 将描述逻辑公理转换为 Prolog 程序，并使用标准的 Prolog 执行有效地回答实例检索查询，是全 SHIQ 语言的 ABox 推理引擎。DLog 的方法使得个体能够储存在数据库中而不必放在内存中，这提高了可扩展性并有助于在现有信息源的基础上直接使用描述逻辑本体。

    Apr, 2009

  • 知识表示和推理的 DLV 系统

    该论文介绍了 DLV 系统，这是一种被广泛认为是分离逻辑编程的最先进实现的系统，并从多个方面进行了阐述，如 DLV 系统的核心语言定义，弱约束，计算复杂性分析，以及其在知识表示和推理，应用开发以及实验测试中的应用。

    Nov, 2002

  • 使用极限 Datalog 程序的声明性数据分析基础

    研究了正 Datalog 上添加整数算术函数的扩展语言 Datalog_Z，并提出了两个限制子语言 limit Datalog_Z 和 stable Datalog_Z 以解决其不可判定性，并证明了相应的 NP 完全性和 ExpTime 完全性，最终表明稳定的 Datalog_Z 能够表达许多有用的数据分析任务，为先进信息系统的发展提供了一个坚实的基础。

    May, 2017