Programmes par jcel.sf.net

jcel Gratuit

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.