diff --git a/protege-editor-owl/src/main/java/org/protege/editor/owl/ui/tree/OWLModelManagerTree.java b/protege-editor-owl/src/main/java/org/protege/editor/owl/ui/tree/OWLModelManagerTree.java index ac31b018e..e297e6108 100644 --- a/protege-editor-owl/src/main/java/org/protege/editor/owl/ui/tree/OWLModelManagerTree.java +++ b/protege-editor-owl/src/main/java/org/protege/editor/owl/ui/tree/OWLModelManagerTree.java @@ -125,7 +125,12 @@ private void handleRenderingChanged(OWLEntity entity) { try { for (OWLObjectTreeNode node : getNodes(entity)) { DefaultTreeModel model = (DefaultTreeModel) getModel(); - model.nodeStructureChanged(node); + model.nodeChanged(node); + for (N equivalentEntity: node.getEquivalentObjects()) { + for (OWLObjectTreeNode equivalentNode : getNodes(equivalentEntity)) { + model.nodeChanged(equivalentNode); + } + } } } catch (ClassCastException e) {