Peter Hansen

Department of Mathematics and Computer Science, University of Bremen

User Tools

Site Tools


“Gracefully Rewriting Into Non-recursive Datalog.”



Grind is a software tool to check for FO-rewritability of concept and conjunctive queries in EL ontologies, and to produce non-recursive datalog rewritings, if possible.

Grind is developed at the Theory of Artificial Intelligence group of University of Bremen.

Key Publications

Peter Hansen, and Carsten Lutz. Computing FO-Rewritings in EL in Practice: from Atomic to Conjunctive Queries. In Proceedings of the 16th International Semantic Web Conference (ISWC 2017), 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

The picture on top is a derivative of "A skateboarder performing a nosegrind" by MattLaws, used under CC BY 2.0.

grind.txt · Last modified: 2017/10/05 09:17 by peter

Page Tools