Feb, 2014

存在规则的无环概念及其在本体查询回答中的应用

PDF
TL;DR本文探讨了如何使用 chase 算法在存在规则的事实集上回答联合查询，介绍了两种新的不将模型扩展到不可数状态的无环性概念，展示了如何基于这些概念构造 OWl2 本体推理器，从而提供了在实践中如何实现这些系统的基本理论解释。
conjunctive querieschase algorithmacyclicity notionsontology languageowl 2 reasoners
发现论文，激发创造
  • 存在规则的规范化：不是那么无害！

    该研究系统研究了存在性规则对于不同的追踪变体以及基于一阶逻辑的重写的 (chase (non-) termination and FO-rewritability) 影响，从而探讨了相关的开放性问题。

    Jun, 2022

  • 带有有限 Chase 的存在规则语言：复杂度和表达能力

    本文通过对具有有限追赶特性的规则语言分类，提出了一族可决定性规则语言，研究了这些语言的复杂性，证明了具有有限追赶特性的规则语言扩展弱无环语言的表现力与弱无环语言相同，并且综合复杂性更高的规则语言一般比综合复杂性更低的规则语言更简洁。

    Nov, 2014

  • 结合存在规则和传递性：下一步

    本文探讨存在规则作为本体规范的形式化方法，重点研究了如何将传递性与可判定类的存在规则组合，并给出了能够安全添加传递性的情况和相应的查询重写算法。

    Apr, 2015

  • 连接证明理论和知识表示：序列演算和具有存在规则的 Chase

    本文主要探讨了知识表示中重要的可决定性工具 ——Chase 算法与证明理论中的证明搜索算法之间的联系，特别是在一阶逻辑的 Gentzen 序列演算的推广中探究了在存在性规则的情况下 Chase 机制本质上与证明搜索相同，并通过证明搜索生成知识库的通用模型，该特征也与 Chase 算法相同。

    Jun, 2023

  • 存在规则的有限团宽集：朝着决定性、高表达性查询的通用准则迈进

    该研究通过引入 “有限团宽集合”（FCS）来寻求可决定本体论查询的一般性标准，FCS 是一种模型理论定义的规则集类，受到图论中团宽的启发，这一类规则集确保了一类子句共有查询（DaMSOQs）的蕴涵可决定性，它们吸收了合取查询（CQs）并且限制于元数为 2 的符号。

    Sep, 2022

  • 追逐变种中的有界性特征

    研究论文探讨了基于本体的查询应答中的万有模型问题，特别关注存在规则边界问题，提出了一般性质并证明了一些经典的 chase 变体满足该性质，进而解决了这些变体的有限深度问题。

    Apr, 2020

  • 本体基于查询回答的存在规则语言表达完备性

    本文证明了分离嵌入式依赖可以精确捕捉基于本体的连词查询应答中的可递归枚举本体类，而关于 “元组生成依赖” 的复杂性类和嵌入式依赖的复杂性类都不能完全表达可递归枚举的 “基于本体的连词查询应答” 本体。

    Apr, 2016

  • 使用存在性规则追踪流

    研究如何通过对临时流数据进行查询应答来研究与存在性规则推理的推理方法，提出了基于 LARS 的方法，该方法支持存在性规则，同时通过引入合适的时间无环性概念来保证规则的可决定性。

    May, 2022

  • 具有传递角色的表达能力描述逻辑中的有限查询回答

    该研究探讨了有限本体中介查询应答的问题，使用 DLs 描述逻辑中的联合，当仅考虑本体的有限模型时，研究 FOMQA 是相关的，本研究显示了 SOIF 的三个适当片段的 FOMQA 具有可决定性，这是基于模型的特定规律，开发了自动机决策程序。

    Aug, 2018

  • Existential 规则的 k-Boundedness 问题

    该论文研究对于三种追赶算法变种，如何确定给定规则集的有界性问题是可决的。

    Oct, 2018