de.tudresden.inf.lat.jcel.coreontology.expressivity
Classes
ExpressivityName
NormalizedAxiomExpressivityDetector