String ontologyLocation = manager.getOntologyDocumentIRI(ontology) != null ? manager.getOntologyDocumentIRI(ontology).toString(): "ontology";
String ontologyBaseURI = ontology.getOntologyID().getOntologyIRI() != null? ontology.getOntologyID().getOntologyIRI().toQuotedString() : "";
output("Information about "+ontologyLocation+" ("+ontologyBaseURI+")");
if(verbose)
printOntologyHeader(ontology);
DLExpressivityChecker expressivityChecker = new DLExpressivityChecker(Collections.singleton(ontology));
output("OWL Profile = "+getProfile(ontology));
output("DL Expressivity = "+expressivityChecker.getDescriptionLogicName());
output("Axioms = "+ontology.getAxiomCount());
output("Logical Axioms = "+ontology.getLogicalAxiomCount());
output("GCI Axioms = "+ontology.getGeneralClassAxioms().size());
output("Individuals = "+ontology.getIndividualsInSignature().size());
output("Classes = "+ontology.getClassesInSignature().size());