“Gracefully Rewriting Into Non-recursive Datalog.”
Peter Hansen, and Carsten Lutz. Computing FO-Rewritings in EL in Practice: from Atomic to Conjunctive Queries. (Submitted to ISWC 2017).
Paper (PDF) – BibTex entry
Peter Hansen, Carsten Lutz, İnanç Seylan, and Frank Wolter. Efficient Query Rewriting in the Description Logic EL and Beyond. In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015.
Paper (PDF) – BibTex entry – The Grind query rewriting system