存在规则上的有限模型推理
计算机科学中的逻辑
2017-07-07 v1
摘要
基于本体的查询应答（OBQA）询问一个布尔合取查询是否被由关系数据库与本体配对组成的逻辑理论的所有模型所满足。引入存在规则（即规则头带有存在量词扩展的Datalog规则）作为指定本体的手段，催生了Datalog+/-框架，该框架在过去十年受到越来越多的关注，重点亦放在可判定性与有限可控性以支持有效推理。已挑出五个基本可判定片段：线性、弱非循环、守护、黏性、以及shy。此外，除shy外，所有这些片段都证明了有限可控性的重要性质，确保查询被理论的所有模型满足当且仅当被其所有有限模型满足。在本文中，我们通过证明OBQA的有限可控性也适用于shy本体，从而补全了图景，因此该性质适用于所有基本可判定的Datalog+/-类。为做出证明，我们设计了一种通用技术以促进任意本体片段有限可控性的（反）证过程。本文正在考虑被TPLP接受。
引用
@article{arxiv.1707.01870,
title = {Finite model reasoning over existential rules},
author = {Giovanni Amendola and Nicola Leone and Marco Manna},
journal= {arXiv preprint arXiv:1707.01870},
year = {2017}
}
备注
Paper presented at the 33nd International Conference on Logic Programming (ICLP 2017), Melbourne, Australia, August 28 to September 1, 2017 16 pages, LaTeX, 3 PDF figures