Questa è l'app Linux chiamata LillyTab, eseguibile online su Linux. La sua ultima versione può essere scaricata come LillyTab-1.11-SNAPSHOT-jar-with-dependencies.jar. Può essere eseguita online sul provider di hosting gratuito OnWorks per workstation.
Scarica ed esegui online questa app chiamata LillyTab per eseguirla gratuitamente online su Linux con OnWorks.
Segui queste istruzioni per eseguire questa app:
- 1. Scaricata questa applicazione sul tuo PC.
- 2. Entra nel nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 3. Carica questa applicazione in tale file manager.
- 4. Avviare l'emulatore online OnWorks Linux o Windows online o l'emulatore online MACOS da questo sito Web.
- 5. Dal sistema operativo OnWorks Linux che hai appena avviato, vai al nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 6. Scarica l'applicazione, installala ed eseguila.
LillyTab funzionerà online su Linux
Ad
DESCRIZIONE
LillyTab è un controllore di coerenza della logica descrittiva modulare (reasoner) con supporto per un sottoinsieme di OWL/DL.Caratteristiche
- Integrazione OWLAPI
- Architettura modulare
- supporto per il DL SHOF(D) (che è OWL/DL meno restrizioni sui numeri qualificati e ruoli inversi)
- varie ottimizzazioni (lazy unfolding, riscrittura dei termini di input, backtracking diretto alle dipendenze)
- accesso documentato agli interni di rappresentanza di ABox
- tracciamento e registrazione
Pubblico
Sviluppatori, Informatica
Interfaccia utente
Console/Terminale
Linguaggio di programmazione
Java
Questa è un'applicazione che può anche essere scaricata da https://sourceforge.net/projects/lillytab/. È stato ospitato in OnWorks per essere eseguito online in modo più semplice da uno dei nostri sistemi operativi gratuiti.
