The Grind query rewriting system (2014-2017)
“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.
Please contact the authors here.
(The following is contained in the file README.txt distributed with Grind.)
Grind -- Gracefully Rewriting Into Non-recursive Datalog Version 2.0 2017-05-08. Copyright 2014, 2015 Peter Hansen and İnanç Seylan, 2016, 2017 Peter Hansen. This software is released under GPL 3. Welcome to version 2.0 of Grind! SHORT INTRO: ------------ Download grind2.tar.bz2 and extract it. Then $ cd grind2 $ java -jar Grind.jar Rewrite all 50 CQs (minus aborts), log details stdout: $ java -jar Grind.jar LONG VERSION: ------------- In this folder, you find a Java archive Grind.jar, and accompanying libraries in the lib folder. Please download also the test ontologies, and expand them to a suitable place. The file Grind.jar contains the source code, which can be extracted by calling $ unzip Grind.jar This distribution of Grind 2.0 implements 50 hand-coded CQs crafted for five of the test ontologies (ENVO, FBbi, MOHSE, not-galen, and SO). The queries are to be found in the file src/de/unibremen/informatik/tdki/grind2/runnables/RunHandcodedCQs.java Run them by invoking: $ java -jar Grind.jar Grind will output non-recursive datalog rewritings, if they exist. Homepage: http://www.informatik.uni-bremen.de/~hansen/grind This software is released under GPL 3 licence.