Soumettre un logiciel
  1. Accueil
  2. Windows
  3. Autres
  4. Elly

Elly

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

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.

historique de la version

  • Version Alpha%20Release posté sur 2010-01-10
    Plusieurs correctifs et mises à jour
  • Version N/A posté sur 2010-01-10

Détails du programme

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