de.tudresden.inf.lat.jcel.ontology.axiom.extension
Interfaces
IntegerOntologyObjectFactory
Classes
ComplexAxiomExpressivityDetector
IntegerOntologyObjectFactoryImpl