// We can always obtain the location where an ontology was loaded from;
// for this test, though, since the ontology was loaded from a string,
// this does not return a file
IRI documentIRI = manager.getOntologyDocumentIRI(localPizza);
// Remove the ontology again so we can reload it later
manager.removeOntology(pizzaOntology);
// In cases where a local copy of one of more ontologies is used, an
// ontology IRI mapper can be used to provide a redirection mechanism.
// This means that ontologies can be loaded as if they were located on
// the web. In this example, we simply redirect the loading from
// http://owl.cs.manchester.ac.uk/co-ode-files/ontologies/pizza.owl to