Elly è un ragionatore per il controllo dell'implicazione e della soddisfacibilità delle basi di conoscenza ELP. È scritto in java e si basa sul reasoner IRIS Datalog (https://sourceforge.net/projects/iris-reasoner) per la sua implementazione.
cronologia delle versioni
- Versione Alpha%20Release pubblicato il 2010-01-10
Diverse correzioni e aggiornamenti - Versione N/A pubblicato il 2010-01-10
Dettagli del programma
- Categoria: Istruzione > Altro
- Editore: elly.sf.net
- Licenza: Gratuito
- Prezzo: N/A
- Versione: Array
- Piattaforma: windows