private class OWLAxiomComparator implements Comparator<OWLAxiom> {
public int compare(OWLAxiom o1, OWLAxiom o2) {
AxiomTypeProvider provider = new AxiomTypeProvider();
int index1 = provider.getAxiomType(o1).getIndex();
int index2 = provider.getAxiomType(o2).getIndex();
return index1 - index2;
}