code: static ClassifiedTBox classify(OntologyImpl.UnclassifiedOntologyTBox onto) {
  
  		DefaultDirectedGraph<ObjectPropertyExpression, DefaultEdge> objectPropertyGraph =
  				getObjectPropertyGraph(onto);
  		EquivalencesDAGImpl<ObjectPropertyExpression> objectPropertyDAG =
  				EquivalencesDAGImpl.getEquivalencesDAG(objectPropertyGraph);
  
  		DefaultDirectedGraph<DataPropertyExpression, DefaultEdge> dataPropertyGraph =
  				getDataPropertyGraph(onto);
  		EquivalencesDAGImpl<DataPropertyExpression> dataPropertyDAG =
  				EquivalencesDAGImpl.getEquivalencesDAG(dataPropertyGraph);
  
  		EquivalencesDAGImpl<ClassExpression> classDAG =
  				EquivalencesDAGImpl.getEquivalencesDAG(getClassGraph(onto, objectPropertyGraph, dataPropertyGraph));
  
  		EquivalencesDAGImpl<DataRangeExpression> dataRangeDAG =
  				EquivalencesDAGImpl.getEquivalencesDAG(getDataRangeGraph(onto, dataPropertyGraph));
  
  		chooseObjectPropertyRepresentatives(objectPropertyDAG);
  		chooseDataPropertyRepresentatives(dataPropertyDAG);
  		chooseClassRepresentatives(classDAG, objectPropertyDAG, dataPropertyDAG);
  		chooseDataRangeRepresentatives(dataRangeDAG, dataPropertyDAG);
  
  		ClassifiedTBoxImpl r = new ClassifiedTBoxImpl(
                  onto.classes(),
                  onto.objectProperties(),
                  onto.dataProperties(),
                  onto.annotationProperties(),
                  classDAG,
                  objectPropertyDAG,
                  dataPropertyDAG,
                  dataRangeDAG,
                  onto.getDisjointClassesAxioms(),
                  onto.getDisjointObjectPropertiesAxioms(),
                  onto.getDisjointDataPropertiesAxioms(),
                  onto.getReflexiveObjectPropertyAxioms(),
                  onto.getIrreflexiveObjectPropertyAxioms(),
                  onto.getFunctionalObjectProperties(),
                  onto.getFunctionalDataProperties());
  //		if (equivalenceReduced) {
  //			r = getEquivalenceSimplifiedReasoner(r);
  //		}
  		return r;
  	}
docs: constructs a TBox reasoner from an ontology
  @param onto: ontology