de.tu-dresden.inf.lat.jcel:jcel-core (maven): Reasoner for the description logic EL+.
Keywords: automated-reasoning|description-logics|java|jcel|owl-api|protege-plugin|tu-dresden