//
// Build the asserted subclass hierarchy tabs
//
//////////////////////////////////////////////////////////////////////
OWLVizGraphPanel assertedPanel = new OWLVizGraphPanel(this,
new OWLKBAssertedGraphModel(model),
new AssertedClsHierarchyDisplayPanel(model));
assertedGraphComponent = assertedPanel.getGraphComponent();
tabbedPane.add("Asserted model", assertedPanel);
graphComponents.add(assertedGraphComponent);