de.tu-dresden.inf.lat.uel:uel-sat (maven): Unifier for the description logic EL.
Keywords: java|owl-api|protege-plugin|tu-dresden|unification|visual-interface