Elly

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 4.0/5 - ‎1 ‎Voti

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