this.treePanel = subsumptionTreePanel;
OWLModel model = (OWLModel) tab.getKnowledgeBase();
graphComponent = new GraphComponent();
graphComponent.setGraphModel(graphModel);
graphComponent.setNodeLabelRenderer(new OWLClsNodeLabelRenderer());
graphComponent.setNodeRenderer(new OWLClsNodeRenderer(graphComponent.getController(),
graphComponent.getVisualisedObjectManager(),
new OWLClsNodeLabelRenderer(), model));
graphComponent.setEdgeRenderer(new OWLClsEdgeRenderer(graphComponent.getController()));
JPanel panel = new JPanel(new BorderLayout());