有限格的Birkhoff完成
本文定义基于Lehmann和Magidor在[23]中引入的合理闭包概念的SHIQ逻辑的合理闭包概念,提供了一种基于优先语义的SHIQ合理闭包的语义表征,并在最小模型的有限级别特征下表现出来。我们表明可以使用SHIQ包含在EXPTIME中计算TBox的合理闭包。
Jun, 2014
在这篇论文中,我们研究了域递推推理规则,它被认为是冗余的。我们发现,这个规则比预期的更强大,并且实际上显著扩展了模型的范围,其中一些模型的抬升推理时间多项式增长。我们还确定了新的域可抬升理论类别,其中一些理论的使用域递推可以实现指数加速。
Oct, 2016
我们提出了一种新的线性代数方法来计算逻辑中的Tarskian语义。通过将M的实体映射到N维独热向量和k元关系映射到k阶邻接张量,我们在具有N个实体的N维欧几里得空间R ^ N中嵌入了一个有限模型M。在此框架基础上,我们还提出了一种在线性空间中计算Datalog程序定义的最小模型的前所未有的方法,并通过矩阵方程表明其与现有方法相比的有效性。
Mar, 2017
通过引入新的代数结构-分类体,综合了有向无环图和三元条件独立结构,从而定义了一个新的方法来表示条件独立性,并使用函子和单子来抽象地描述条件独立性的图形和非图形表示的忠诚度。
Aug, 2022
该研究通过引入“有限团宽集合”(FCS)来寻求可决定本体论查询的一般性标准,FCS是一种模型理论定义的规则集类,受到图论中团宽的启发,这一类规则集确保了一类子句共有查询(DaMSOQs)的蕴涵可决定性,它们吸收了合取查询(CQs)并且限制于元数为2的符号。
Sep, 2022
该论文主要探讨了一些逻辑系统及其特性,包括一种基于度量(解析结构)的谓词逻辑系统,其定义了一种新型满足性,是描述具有勒贝格积分和满足紧致性,基本链条件和弱否定的解析结构的逻辑系统中的极大系统。
Feb, 2023
提出了一个通用的查询决策框架,基于计数模型的结构简单性,可以确定各种逻辑蕴涵问题(简称查询)的可决性,其中Blumensath的分区宽度作为一个特别强大的宽度度量提出,重点介绍存在规则的形式化,其中分区宽度的规则子域覆盖范式为一周围侧子域。
Apr, 2023
据我们展开的C²的领域扩展,任何C²句子在其关系受限于表示有向无环图、连通图、树(或有向树)、森林(或有向森林)时仍保持领域可提升,这提供了一个计算组合结构的通用框架。
Aug, 2023
通过基于SAT的框架,我们对具有禁止子结构的符号映射的完整问题进行了首次的彻底研究,并对数千种NP完全问题的结构进行了分类,包括内部三元组系统和推广到更高维度的结构。
Feb, 2024