本研究研究了涉及强约束语言的蕴涵问题,如前沿守卫存在规则,并对一组特殊的关系施加额外的语义限制。我们考虑将关系限制为传递性、将一个关系的传递闭包限制为另一个关系、将关系限制为线性顺序。我们提出了一些自然的守卫性变体,以使推理在每种情况下具有可决定性,并确定了相应决策问题的复杂度。最后,我们证明了这些条件的轻微变化会导致不可决定性问题。
Feb, 2022
本文证明了分离嵌入式依赖可以精确捕捉基于本体的连词查询应答中的可递归枚举本体类,而关于 “元组生成依赖” 的复杂性类和嵌入式依赖的复杂性类都不能完全表达可递归枚举的 “基于本体的连词查询应答” 本体。
Apr, 2016
本研究旨在模型理论中建立存在规则语言的模型论特性,如嵌入依赖项,元组生成依赖项和线性依赖项,并确定它们的复杂度限制。
Jan, 2020
本文介绍了 Datalog 的扩展形式 Disjunctive Datalog,Datalogex 和 Datalogexor,并提供语法和语义的定义,以及解决了语言可决性问题,这些语言都是知识表示和推理方面的有吸引力的,特别是在需要基于本体论的推理的领域中。
Oct, 2012
研究使用存在规则表示的知识库中的一致查询回答。具体地,建立了一般类别的消解存在规则和多个子类(无环、线性、全面、守卫、粘滞)下的一致查询回答和修复检查的数据复杂性(元组删除语义)。特别是,鉴定了几种情况下问题可处理或甚至是一阶可重写的,并提出了新的查询重写技术,可作为实际的容忍不一致查询回答系统的基础。
Jan, 2024
研究基于元组生成依赖(TGDs)的存在性规则,确定给定的 T1,T2 元素集是否为 T1 的保守扩展,结果表明当 TGDs 是线性的时,对于两种自然的保守扩展概念,问题是不可判定的;对于保护 TGDs,即使 T1 是空的,问题也是不可判定的;对于 frontier-one TGDs,问题是可判定的。
该研究系统研究了存在性规则对于不同的追踪变体以及基于一阶逻辑的重写的 (chase (non-) termination and FO-rewritability) 影响,从而探讨了相关的开放性问题。
Jun, 2022
本文研究了存在规则语言家族在本体 - 媒介查询应答中的作用,特别是它们对领域知识表达的程序表达能力的影响,并提出了基于自然模型和自动机的特征值,从而为这些语言中领域知识的可定义性提供了强有力的工具。
Dec, 2021
该研究通过引入 “有限团宽集合”(FCS)来寻求可决定本体论查询的一般性标准,FCS 是一种模型理论定义的规则集类,受到图论中团宽的启发,这一类规则集确保了一类子句共有查询(DaMSOQs)的蕴涵可决定性,它们吸收了合取查询(CQs)并且限制于元数为 2 的符号。
Sep, 2022
本文探讨了如何使用 chase 算法在存在规则的事实集上回答联合查询,介绍了两种新的不将模型扩展到不可数状态的无环性概念,展示了如何基于这些概念构造 OWl2 本体推理器,从而提供了在实践中如何实现这些系统的基本理论解释。
Feb, 2014