Download of de.tu-dresden.inf.lat.jcel-0.22.0.jar (de.tu-dresden.inf.lat.jcel-0.22.0.jar ( external link: SF.net): 376,437 octetos) will begin shortly. If not so, click link on the left.
This project is a reasoner for the description logic EL+. It computes the concept subsumption hierarchy. It is an OWL 2 EL reasoner.