OWLOntologyManager manager = OWLManager.createOWLOntologyManager();
/* Set up a mapping, which maps the ontology URI to the physical URI */
SimpleURIMapper mapper = new SimpleURIMapper(ontology.getURI(), tboxPhysicalURI);
manager.addURIMapper(mapper);
try {
manager.saveOntology(ontology, new RDFXMLOntologyFormat(), tboxPhysicalURI);
} catch (UnknownOWLOntologyException e) {
logger.equals("Couldn't save approximated Tbox to file ("+tboxPhysicalURI+")");
logger.equals(e);
} catch (OWLOntologyStorageException e) {
logger.equals("Couldn't save approximated Tbox to file ("+tboxPhysicalURI+")");