Programmi di jcel.sf.net

Questo progetto è un motivo per le logiche di descrizione EL+ ed ELHIfR+. Calcola la gerarchia di sottosumption del concetto. È un ragionatore OWL 2 EL.