IJCAIOct, 2020

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

PDF
TL;DR研究了具有数字限制的 SQ 描述逻辑，该逻辑适用于传递性角色，并扩展为名词或反向角色。为 nominals 的正存在查询和为 inverses 的实例查询建立了上界。
发现论文，激发创造
  • 在 SQ 本体上回答正则路径查询

    研究描述逻辑中支持具有限制的传递和非传递角色的查询回答，提出了一种基于树模型和自动机算法的解决方案。

    Nov, 2020

  • ALC 本体上有限封装的 UCRPQs

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

    Apr, 2022

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

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

    Aug, 2018

  • 具有传递性的一元否定片段的有限可满足性

    研究发现：在包含任意数量的传递关系的一元否定分段中，有限可满足性问题是可判定和 2-ExpTime 完全问题。此外，我们探讨了我们的基本逻辑的各种扩展的有限可满足性，特别是描述逻辑中已知的名称和角色层次概念的表达。

    Sep, 2018

  • 名词、逆并、计数和连接查询，或：为什么无限是你的朋友！

    本篇研究针对 OWL 1 和 OWL 2 DL 中的名词、反向角色和数字限制问题，提出了在 DL ALCHOIQb 中的联合查询包含了所有三个构造的可决定性结果。

    Jan, 2014

  • 使用传递性和线性排序数据进行查询回答

    本研究研究了涉及强约束语言的蕴涵问题，如前沿守卫存在规则，并对一组特殊的关系施加额外的语义限制。我们考虑将关系限制为传递性、将一个关系的传递闭包限制为另一个关系、将关系限制为线性顺序。我们提出了一些自然的守卫性变体，以使推理在每种情况下具有可决定性，并确定了相应决策问题的复杂度。最后，我们证明了这些条件的轻微变化会导致不可决定性问题。

    Feb, 2022

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

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

    Apr, 2015

  • 判定肯定存在查询的答案计数：一个复杂度分类

    本文研究了有限结构中存在性正公式的答案数量计数问题，并在有界性条件下给出了关于查询类的三分定理，统一和泛化了关于合取查询和合取查询并的复杂性的已知结果。

    Jan, 2016

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

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

    Sep, 2022

  • 时间实例查询的唯一可特征化性和可学习性

    通过分析命题线性时间逻辑 LTL 与 EL 或 ELI 描述逻辑中的概念结合的 2D 语言所查询的时间知识图中的路径形查询，研究了一些查询操作可以通过（多项式大小的）正 / 负时间数据示例的集合来唯一地描述的可能性，探讨了这些查询的多项式特性，并将其应用于活性学习框架中对时间实例查询的学习。

    May, 2022