Elly
Licenza: Gratuito Dimensioni del file: N/A
Valutazione utenti: 4.0/5 - 1 Voti
Attendere prego... Il tuo link per il download è in fase di verifica per contenuti dannosi.
Sarai in grado di scaricare in 5 secondi.
Sarai in grado di scaricare in 5 secondi.
Circa Elly
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.