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).