public ManchesterOWLSyntaxFrameRenderer(OWLOntologyManager owlOntologyManager, OWLOntology ontology,
Writer writer) {
super(writer);
this.ontology = ontology;
nsm = new OWLOntologyNamespaceManager(owlOntologyManager, ontology);
setShortFormProvider(new ShortFormProvider() {
public String getShortForm(OWLEntity entity) {
return nsm.getQName(entity.getURI().toString());
}