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
- Catégorie: Développement > Autres
- Éditeur: jcel.sf.net
- Licence: Gratuit
- Prix: N/A
- Version: Array
- Plate-forme: windows