Elly
Vous pourrez télécharger en 5 secondes.
Vous pouvez également cliquer sur le lien de téléchargement externe suivant pour commencer le téléchargement :
http://sourceforge.net/projects/elly/files/Alpha%20Release/elly-0.10.zip/download
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.
Programmes connexes
-
Stakeout Gratuit
Un simple jeu de stratégie de base de tour écrit en Java destiné à être utilisé comme aide à l’enseignement pour un cours d’introduction à l’informatique. Le jeu intègre le concept de jalonnement et de tenir son territoire da
-
Gamoos Arabic English Dict Essai gratuit
Vous êtes aussi à la recherche d’un dictionnaire arabe-anglais ? Vous voulez vérifier les mots et ne pas prendre le flux? Vous vous inquiétez de ne pas faire autorité contenu dictionnaire? À tout moment pour vérifier
-
Trade System Development Platform Gratuit
TSDP est un cadre pour la conception et la recherche de systèmes commerciaux FOREX.
-
guidata Gratuit
Basé sur le module de liaison Qt Python PyQt4, guidata est une bibliothèque Python générant des interfaces utilisateur graphiques pour faciliter l’édition et l’affichage des jeux de données. Il fournit également des aides et
-
panFMP Gratuit
panFMP est un cadre générique adapté aux métadonnées XML récoltées qui est consultable via Apache Lucene sans RDBMS supplémentaire. Les champs peuvent être définis par XPath permettant des requêtes en texte intégral sur tous
-
Moon Phase Calendar Essai gratuit
Le calendrier de phase de lune OpenFermenter qui montre un mois entier à un coup d’œil de la phase de la lune. N’importe quel mois entre janvier 1800 et décembre 2100.Les calculs et équations utilisés pour générer ce cale
-
How to draw face Gratuit
Apprenez à dessiner Face. Devenez artiste en apprenant à dessiner. Dessinez les chiffres en apprenant à dessiner par étapes en franchissant chaque étape du dessin de l’art que vous voulez apprendre. Apprenez étape par étape s
-
mouseglove Gratuit
Mouse-Glove est un projet open source complet de la prochaine génération de souris.Joignez-vous au projet pour aider à développer un gant de souris.
-
Talisman Gratuit
Talisman est un interprète pour un langage de balisage logique. Ce langage contient le contenu et la logique d’une interface utilisateur basée sur le Web (ou, à l’avenir, Java Swing), y compris des types de données arbitraire
-
Owlie Boo Animals Essai gratuit
VERSION ANGLAISELes créateurs de owlieboo.com, un site web avec des jeux éducatifs pour les bébés, les tout-petits et les jeunes enfants, sont heureux de vous présenter ANIMALS. C’est un jeu amusant et simple pour les plu