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