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
.