jcel

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

Ce projet est un raisonneur pour les logiques de description EL+ et ELHIfR+. Il calcule la hiérarchie de subsumption du concept. C’est un raisonneur OWL 2 EL.

historique de la version

  • Version plugin posté sur 2011-04-01
    Plusieurs correctifs et mises à jour
  • Version N/A posté sur 2011-04-01

Détails du programme