// case we loaded the pizza ontology from an rdf/xml format, which
// supports prefixes. When we save the ontology in the new format we
// will copy the prefixes over so that we have nicely abbreviated IRIs
// in the new ontology document
if (format.isPrefixOWLOntologyFormat()) {
owlxmlFormat.copyPrefixesFrom(format.asPrefixOWLOntologyFormat());
}
manager.saveOntology(pizzaOntology, owlxmlFormat,
IRI.create(file.toURI()));
// We can also dump an ontology to System.out by specifying a different
// OWLOntologyOutputTarget Note that we can write an ontology to a