具有不一致存在规则的稳定模型语义下的查询回答
本文研究了本体基础数据查询的各种类别,包括关系数据库查询与本体、描述逻辑或其他相关一阶逻辑和联结查询。研究结果包括三个方面,首先用不相交的Datalog片段来表达了本体中介查询的表达能力。其次,本体中介查询与约束满足问题(CSP)及其逻辑泛化MMSNP公式有密切联系。最后,利用这些联系得出了有关本体中介查询的新结果,如i)本体中介查询的一阶重写和Datalog重写,ii)本体中介查询的P / NP二分法,以及iii)本体中介查询的查询包容性问题。
Jan, 2013
研究了将一个分离的Datalog程序重写为普通的Datalog的问题,并提出了一种新的基于规则的知识表示语言(KR language)—— 弱线性分离Datalog,以及在本文的框架下对本体推理问题的应用,结果表明许多非Horn本体可以被简化为弱线性程序,并可以用Datalog引擎在实践中进行查询回答。
Apr, 2014
本文探讨了如何使用chase算法在存在规则的事实集上回答联合查询,介绍了两种新的不将模型扩展到不可数状态的无环性概念,展示了如何基于这些概念构造OWl2本体推理器,从而提供了在实践中如何实现这些系统的基本理论解释。
Feb, 2014
本文证明了分离嵌入式依赖可以精确捕捉基于本体的连词查询应答中的可递归枚举本体类,而关于“元组生成依赖”的复杂性类和嵌入式依赖的复杂性类都不能完全表达可递归枚举的“基于本体的连词查询应答”本体。
Apr, 2016
本文研究了存在规则语言家族在本体-媒介查询应答中的作用,特别是它们对领域知识表达的程序表达能力的影响,并提出了基于自然模型和自动机的特征值,从而为这些语言中领域知识的可定义性提供了强有力的工具。
Dec, 2021
该研究探讨了一种能容忍不一致性的查询回答算法,依据逻辑理论、事实集和冲突事实间的优先关系构建知识库,并提出了一种新的基于SAT求解器的编码模式,能够应用在不同推理模式下实现查询回答。
Feb, 2022
研究如何通过对临时流数据进行查询应答来研究与存在性规则推理的推理方法,提出了基于LARS的方法,该方法支持存在性规则,同时通过引入合适的时间无环性概念来保证规则的可决定性。
May, 2022
该研究通过引入“有限团宽集合”(FCS)来寻求可决定本体论查询的一般性标准,FCS是一种模型理论定义的规则集类,受到图论中团宽的启发,这一类规则集确保了一类子句共有查询(DaMSOQs)的蕴涵可决定性,它们吸收了合取查询(CQs)并且限制于元数为2的符号。
Sep, 2022
研究使用存在规则表示的知识库中的一致查询回答。具体地,建立了一般类别的消解存在规则和多个子类(无环、线性、全面、守卫、粘滞)下的一致查询回答和修复检查的数据复杂性(元组删除语义)。特别是,鉴定了几种情况下问题可处理或甚至是一阶可重写的,并提出了新的查询重写技术,可作为实际的容忍不一致查询回答系统的基础。
Jan, 2024