toolBar.add(new RefreshDisplayCommand(this, inferredClsesPanel.getClsesTree()));
return toolBar;
}
protected void setupExportFormats() {
ExportFormatManager.addExportFormat(new PNGExportFormat());
ExportFormatManager.addExportFormat(new JPEGExportFormat());
ExportFormatManager.addExportFormat(new SVGExportFormat());
ExportFormatManager.addExportFormat(new DotExportFormat((OWLModel) getKnowledgeBase()));
}