研究了正 Datalog 上添加整数算术函数的扩展语言 Datalog_Z,并提出了两个限制子语言 limit Datalog_Z 和 stable Datalog_Z 以解决其不可判定性,并证明了相应的 NP 完全性和 ExpTime 完全性,最终表明稳定的 Datalog_Z 能够表达许多有用的数据分析任务,为先进信息系统的发展提供了一个坚实的基础。
May, 2017
本文介绍了 Datalog 的扩展形式 Disjunctive Datalog,Datalogex 和 Datalogexor,并提供语法和语义的定义,以及解决了语言可决性问题,这些语言都是知识表示和推理方面的有吸引力的,特别是在需要基于本体论的推理的领域中。
Oct, 2012
本文研究本体数据库访问设置,其中 Abox 以关系数据库 D 的形式给出,而布尔连接查询 q 必须针对在 DL-Lite 或 Linear Datalog+/- 中制定的 Tbox T 模块进行求值。我们展示了如何将(T,q)转换为大小为多项式的等效递推 Datalog 程序 P。
Jun, 2011
探讨了在准林中非常表达性描述逻辑 ZOIQ (即 ALCHb Self reg OIQ) 上满足性问题的数据复杂性,并证明了它是 NP 完备的。这完成了对 ZOIQ 可判定片段的数据复杂性全景的研究,并重新证明了关于 OWL2 可判定片段(SR 系列)的已知结果。利用相同的技术,我们证明了在 ZIQ 中带根查询的蕴涵问题在形式复杂度上是 coNEXPTIME 完备的。
Jun, 2024
研究了将一个分离的 Datalog 程序重写为普通的 Datalog 的问题,并提出了一种新的基于规则的知识表示语言(KR language)—— 弱线性分离 Datalog,以及在本文的框架下对本体推理问题的应用,结果表明许多非 Horn 本体可以被简化为弱线性程序,并可以用 Datalog 引擎在实践中进行查询回答。
Apr, 2014
本文提出了一种基于矩阵方程、线性代数的方法,通过解决线性矩阵方程的最小解来计算 Datalog 的最小 Herbrand 模型,并在人工和真实数据上的实验中得到了比现有的 Prolog 和 ASP 系统快 10^1 ~ 10^4 倍的效果。
Jul, 2016
使用具有严格和举止性规则以及规则优先关系的可撤销逻辑的命题形式可以在线性时间内进行推理,这与大多数其他命题非单调逻辑形成了鲜明对比。
May, 2004
本篇研究证明,由 Peñaloza 和 Potyka 定义的统计 EL 本体论的一致性问题是时间指数难问题,结合现有的时间指数上限,得出逻辑的时间指数完备性。我们的证明通过将扩展了原子概念否定的 EL 的一致性问题归纳到统计 EL 本体论的一致性问题。
Nov, 2019
本研究使用合法及完整的插入表技术,证明 DEL 语言中事件模型的模型检查问题是 PSPACE 完全的,并证明了满足性问题是 NEXPTIME-complete 的。
Oct, 2013
该研究论文探讨了 Datalog,有限变量逻辑,存在性骰子游戏和有界高树双性的表达能力,在无限结构上的应用,研究了 omega-categorical 模板的约束满足问题。
Sep, 2008