This project is read-only.
Depending on the reasoner that you want to add, there could be different procedure. The best way to add a new reasoner to the project is to follow a similar procedure to the one proposed in compile hermit and compile pellet.

Last edited Aug 18, 2014 at 11:56 AM by aSeganti, version 1