Elly

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 4.0/5 - ‎1 ‎Votes

Sur Elly

Elly est un raisonneur pour la vérification de l’entailce et de la satisfaction des bases de connaissances du PEL. Il est écrit en java et s’appuie sur le raisonneur IRIS Datalog (https://sourceforge.net/projects/iris-reasoner) pour sa mise en œuvre.