StreamDocumentTarget writer2 = new StreamDocumentTarget(out2);
ont2.getOWLOntologyManager().saveOntology(ont2, format, writer2);
OWLOntologyManager man = OWLManager.createOWLOntologyManager();
OWLOntology ont1L = man
.loadOntologyFromOntologyDocument(savedLocation1);
OWLOntology ont2L = man
.loadOntologyFromOntologyDocument(savedLocation2);
// annoProp is in ont1 and in the import closure of ont2
assertTrue(containsConsiderEx(ont1L, axannoPropdecl));
assertFalse(containsConsiderEx(ont2L, axannoPropdecl));
assertTrue(containsConsider(ont2L, axannoPropdecl));