Se pueden descargar razonadores listos para usar desde la siguiente URL: http://crowd.fi.uncoma.edu.ar/reasoners/

• Racer : Versión de Racer compilada para arquitecturas x86.
• Konclude : Una versión compilada para x86_64 de Konclude desde esta página.
• SPARQL-DL with Hermit : Una versión Java compilada en un archivo Jar desde un fork (o desde este fork) del repositorio sparql-dl-api.