Using C

1. Import C.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 C with the following mandatory arguments in this order:

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.