}
}
public static void main(String[] args) {
try {
ToStringRenderer.getInstance().setRenderer(new DLSyntaxObjectRenderer());
OWLOntologyManager man = OWLManager.createOWLOntologyManager();
man.setSilentMissingImportsHandling(true);
// OWLOntology ont = man.loadOntology(URI.create("http://www.co-ode.org/ontologies/pizza/pizza.owl"));
OWLOntology ont = man.loadOntology(URI.create("http://rpc295.cs.man.ac.uk:8080/ontologyrepository/download?ontology=http://sweet.jpl.nasa.gov/ontology/earthrealm.owl&version=0&format=RDF/XML"));
ELPlusPlusProfile profile = new ELPlusPlusProfile();