This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong. 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 [[http://derivo.de/en/products/konclude/|here]]. * SPARQL-DL with Hermit : A Java compiler Jar file from a [[https://github.com/cnngimenez/sparql-dl-api|fork]] (or this [[https://github.com/germanbraun/sparql-dl-api|fork]]) of [[https://github.com/protegeproject/sparql-dl-api|the sparql-dl-api repository]].