Catriel Beeri, Alon Y. Levy, Marie-Christine Rousset
In this paper we consider the problem of rewriting queries using views, when the queries are concepts, and the views are conjunctive queries over a description logic, i.e., conjunctions that allow both concept and role atoms and existential variables. In particular, we show that when the queries and views denote concepts, it is possible to find a rewriting of the query using the views whenever the description logic is decidable and has the conjunction operator. When the views are conjunctive queries, we show that the rewriting of the query using the views may result in a recursive set of rules.