// we iterate over objects in the same order for the same set of axioms!
axioms1 = new AnonymousIndividualsNormaliser(df)
.getNormalisedAxioms(ont1.getAxioms());
axioms2 = new AnonymousIndividualsNormaliser(df)
.getNormalisedAxioms(ont2.getAxioms());
OWLDocumentFormat ontologyFormat = ont2.getOWLOntologyManager()
.getOntologyFormat(ont2);
applyEquivalentsRoundtrip(axioms1, axioms2, ontologyFormat);
if (ontologyFormat instanceof ManchesterSyntaxDocumentFormat) {
// drop GCIs from the expected axioms, they won't be there
Iterator<OWLAxiom> it = axioms1.iterator();