304305306307308309310311
} protected void setupExportFormats() { ExportFormatManager.addExportFormat(new PNGExportFormat()); ExportFormatManager.addExportFormat(new JPEGExportFormat()); ExportFormatManager.addExportFormat(new SVGExportFormat()); ExportFormatManager.addExportFormat(new DotExportFormat((OWLModel) getKnowledgeBase())); }