}
protected static Hierarchy<AtomicConcept> classifyAtomicConcepts(Tableau tableau,ClassificationProgressMonitor progressMonitor,AtomicConcept topElement,AtomicConcept bottomElement,Set<AtomicConcept> elements,boolean forceQuasiOrder) {
if (tableau.isDeterministic()&&!forceQuasiOrder)
return new DeterministicClassification(tableau,progressMonitor,topElement,bottomElement,elements).classify();
else
return new QuasiOrderClassification(tableau,progressMonitor,topElement,bottomElement,elements).classify();
}