jcel

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

Sur jcel

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.