Programma's van jcel.sf.net

Dit project is een reden voor de beschrijvingslogica's EL+ en ELHIfR+. Het berekent de conceptsubsumptiehiërarchie. Het is een OWL 2 EL reasoner.