Using REQUIEM

1. Import REQUIEM.zip into Eclipse.

2. Add the external JARs antlr-3.1.jar, HermiT.jar, and owlapi-bin.jar to the Java Build Path (these files are contained in the directory "External JARs").

3. Run REQUIEM with the following mandatory arguments:

i. a txt file containing the input query (see example).

ii. an owl file containing the input TBox.

iii. a path specifying where the produced rewriting is to be stored.

iv. the modality in which REQUIEM is to be run: N (Naive: no optimizations), F (Full: forward/query subsumption and dependency graph pruning), or G (Greedy: Full plus greedy unfolding).