We consider the setting of ontological database access, where an Abox is
given in form of a relational database D and where a Boolean conjunctive query
q has to be evaluated against D modulo a Tbox T formulated in DL-Lite or Linear
Datalog+/-. It is well-known that (T,q) can be rewritten into an equivalent
nonrecursive Datalog program P that can be directly evaluated over D. However,
for Linear Datalog? or for DL-Lite versions that allow for role inclusion, the
rewriting methods described so far result in a nonrecursive Datalog program P
of size exponential in the joint size of T and q. This gives rise to the
interesting question of whether such a rewriting necessarily needs to be of
exponential size. In this paper we show that it is actually possible to
translate (T,q) into a polynomially sized equivalent nonrecursive Datalog
program P.

本文研究本体数据库访问设置，其中 Abox 以关系数据库 D 的形式给出，而布尔连接查询 q 必须针对在 DL-Lite 或 Linear Datalog+/- 中制定的 Tbox T 模块进行求值。我们展示了如何将（T，q）转换为大小为多项式的等效递推 Datalog 程序 P。