Diferencias

Muestra las diferencias entre dos versiones de la página.

--- reasoners [2025/06/13 00:01] – christian
+++ reasoners [2025/06/13 00:03] (actual) – christian
@@ Línea 1: / Línea 1: @@
 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]].

crowd Wiki