Esta es la aplicación de Linux llamada LillyTab cuya última versión se puede descargar como LillyTab-1.11-SNAPSHOT-jar-with-dependencies.jar. Se puede ejecutar en línea en el proveedor de alojamiento gratuito OnWorks para estaciones de trabajo.
Descargue y ejecute en línea esta aplicación llamada LillyTab con OnWorks de forma gratuita.
Siga estas instrucciones para ejecutar esta aplicación:
- 1. Descargue esta aplicación en su PC.
- 2. Ingrese en nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 3. Cargue esta aplicación en dicho administrador de archivos.
- 4. Inicie el emulador en línea OnWorks Linux o Windows en línea o el emulador en línea MACOS desde este sitio web.
- 5. Desde el SO OnWorks Linux que acaba de iniciar, vaya a nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 6. Descarga la aplicación, instálala y ejecútala.
lillytab
Ad
DESCRIPCIÓN
LillyTab es un verificador de coherencia lógica de descripción modular (razonador) compatible con un subconjunto de OWL / DL.
Caracteristicas
- Integración OWLAPI
- Arquitectura modular
- soporte para DL SHOF (D) (que es OWL / DL menos restricciones de número calificado y roles inversos)
- Varias optimizaciones (desarrollo perezoso, reescritura de términos de entrada, retroceso dirigido por dependencia)
- acceso documentado a los componentes internos de representación ABox
- rastreo y registro
Audiencia
Desarrolladores, Tecnología de la información
Interfaz de usuario
Consola / Terminal
Lenguaje de programación
Java
Categorías
Esta es una aplicación que también se puede obtener de https://sourceforge.net/projects/lillytab/. Se ha alojado en OnWorks para poder ejecutarlo online de la forma más sencilla desde uno de nuestros Sistemas Operativos gratuitos.
