Diferencias
Muestra las diferencias entre dos versiones de la página.
| Próxima revisión | Revisión previa |
| reasoners [2018/04/11 18:13] – created christian | reasoners [2025/06/13 00:03] (actual) – christian |
|---|
| You can download a ready-to-use reasoners from this URL: http://crowd.fi.uncoma.edu.ar/reasoners/ | Se pueden descargar razonadores listos para usar desde la siguiente URL: http://crowd.fi.uncoma.edu.ar/reasoners/ |
| |
| * Racer : An x86 compiled Racer version. | * Racer : Versión de Racer compilada para arquitecturas x86. |
| * Konclude : An x86_64 compiled Konclude from [[http://derivo.de/en/products/konclude/|here]]. | * Konclude : Una versión compilada para x86_64 de Konclude desde [[http://derivo.de/en/products/konclude/|esta página]]. |
| * 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]]. | * SPARQL-DL with Hermit : Una versión Java compilada en un archivo Jar desde un [[https://github.com/cnngimenez/sparql-dl-api|fork]] (o desde este [[https://github.com/germanbraun/sparql-dl-api|fork]]) del [[https://github.com/protegeproject/sparql-dl-api|repositorio sparql-dl-api]]. |
| |
| |
