将本体查询重写为小型非递归 Datalog 程序
人工智能
2011-07-26 v3 数据库
计算机科学中的逻辑
摘要
我们考虑本体数据库访问的设置，其中 Abox 以关系数据库 D 的形式给出，布尔合取查询 q 需依据以 DL-Lite 或 Linear Datalog+/- 表述的 Tbox T 对 D 进行求值。众所周知，(T,q) 可被重写为一个等价的非递归 Datalog 程序 P，该程序可直接在 D 上求值。然而，对于 Linear Datalog? 或允许角色包含的 DL-Lite 版本，迄今描述的重写方法会产生一个规模在 T 和 q 的联合规模上呈指数级的非递归 Datalog 程序 P。这引出了一个有趣的问题：这样的重写是否必然需要具有指数规模。在本文中，我们证明实际上可以将 (T,q) 转化为一个多项式规模的等价非递归 Datalog 程序 P。
引用
@article{arxiv.1106.3767,
title = {Rewriting Ontological Queries into Small Nonrecursive Datalog Programs},
author = {Georg Gottlob and Thomas Schwentick},
journal= {arXiv preprint arXiv:1106.3767},
year = {2011}
}
备注
A shorter version is presented at the 24th International Workshop on Description Logics, DL 2011, Barcelona, Spain, July 13-16, 2011. The present version mainly extends the proof of Theorem 1 in Section 3. We plan to post further extended versions of this paper in the near future