ren.setShortFormProvider(sfp);
ToStringRenderer.getInstance().setRenderer(ren);
OWLOntologyManager man = OWLManager.createOWLOntologyManager();
// OWLOntology ont = man.loadOntologyFromOntologyDocument(URI.create("http://www.co-ode.org/ontologies/pizza/pizza.owl"));
OWLOntology ont = man.loadOntologyFromOntologyDocument(IRI.create("http://owl.cs.manchester.ac.uk/repository/download?ontology=http://protege.cim3.net/file/pub/ontologies/tambis/tambis-full.owl&format=RDF/XML"));
System.out.println("Loaded ontology");
check(ont, new OWL2Profile());
check(ont, new OWL2DLProfile());
check(ont, new OWL2ELProfile());
check(ont, new OWL2QLProfile());