Sep, 2022

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

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

    提出了一个通用的查询决策框架，基于计数模型的结构简单性，可以确定各种逻辑蕴涵问题（简称查询）的可决性，其中 Blumensath 的分区宽度作为一个特别强大的宽度度量提出，重点介绍存在规则的形式化，其中分区宽度的规则子域覆盖范式为一周围侧子域。

    Apr, 2023

  • 可判定存在规则集的派生图表征

    本文通过建立新的概念来对存在性规则集进行表征探究，特别是在有限制下的集合，在其多项式时间内具有查询蕴含。

    Jul, 2023

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

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

    Apr, 2015

  • 带或存在规则和映射查询重写

    本文研究了使用拼接查询组成的联合响应（UCQs）答案问题，有 “或型存在规则和映射”。本文首先提出了一个完整的查询重写操作符，并使用广度优先查询重写算法来输出最小的 UCQ 重写副本。其次，我们证明，在任何真正的 “分离” 递归规则中，存在一种联合查询，不需要 UCQ 重写。最后，本文研究了通过 “或型映射” 决定 UCQ 是否有 UCQ 重写的问题，结果是不可判定的。

    Jun, 2023

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

    本文探讨了如何使用 chase 算法在存在规则的事实集上回答联合查询，介绍了两种新的不将模型扩展到不可数状态的无环性概念，展示了如何基于这些概念构造 OWl2 本体推理器，从而提供了在实践中如何实现这些系统的基本理论解释。

    Feb, 2014

  • ALC 本体上有限封装的 UCRPQs

    研究了基于本体的查询的有限包含问题，考虑了扩展了联合的连通查询类的表达性查询语言 UCRPQs，并通过介绍确定性有限自动机来决定解释的分层结构，证明了 ALC 下 UCRPQs 的紧 2EXPTIME 上界。

    Apr, 2022

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

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

    Apr, 2020

  • 存在规则的规范化：不是那么无害！

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

    Jun, 2022

  • 有限和无限制查询蕴涵：超越带有传递性角色数字限制的 SQ

    研究了具有数字限制的 SQ 描述逻辑，该逻辑适用于传递性角色，并扩展为名词或反向角色。为 nominals 的正存在查询和为 inverses 的实例查询建立了上界。

    Oct, 2020

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

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

    Aug, 2018