Questa è l'app Linux denominata LillyTab la cui ultima versione può essere scaricata come LillyTab-1.11-SNAPSHOT-jar-with-dependencies.jar. Può essere eseguito online nel provider di hosting gratuito OnWorks per workstation.
Scarica ed esegui online gratuitamente questa app denominata LillyTab 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.
Lilly Tab
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
Categorie
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.
