//first, test that it wrote SOMETHING to the ontology location
File f = new File(ontologyLocation);
assertTrue(f.exists());
//second, load it up and check that it contains the following classes
MyOwlOntologyManager myOwl = new MyOwlOntologyManager();
OWLOntologyManager manager = myOwl.loadOntologyFromFile(ontologyLocation);
OWLClass foal = myOwl.getClassFromName(manager, "foal"); //note that if any of these 4 fail, we have a problem
OWLClass poni = myOwl.getClassFromName(manager, "poni");
OWLClass hobbi = myOwl.getClassFromName(manager, "hobbi");
OWLClass colt = myOwl.getClassFromName(manager, "colt");
assertNotNull(foal); //these have failed if they are null
assertNotNull(poni);
assertNotNull(hobbi);
assertNotNull(colt);
OWLOntology ontology = manager.getOntology(myOwl.getCurrentOntologyID());
//third, check that the following subclasses are here (or not)
Set<OWLClassExpression> superClasses = foal.getSuperClasses(ontology);
assertTrue(superClasses.contains(hobbi));
assertTrue(superClasses.contains(poni));