You can download a ready-to-use reasoners from this URL: http://crowd.fi.uncoma.edu.ar/reasoners/

• Racer : An x86 compiled Racer version.
• Konclude : An x86_64 compiled Konclude from here.
• SPARQL-DL with Hermit : A Java compiler Jar file from a fork (or this fork) of the sparql-dl-api repository.