Set<OWLAxiom> axioms1;
Set<OWLAxiom> axioms2;
// This isn't great - we normalise axioms by changing the ids of
// individuals. This relies on the fact that
// 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) {