Fixes #9

protegeproject · May 27, 2014 · 55d9731 · 55d9731
1 parent 74f61d3
commit 55d9731
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.../protege/editor/owl/model/hierarchy/property/InferredObjectPropertyHierarchyProvider.java b/.../protege/editor/owl/model/hierarchy/property/InferredObjectPropertyHierarchyProvider.java
@@ -36,6 +36,7 @@ protected OWLReasoner getReasoner() {
     public Set<OWLObjectProperty> getChildren(OWLObjectProperty objectProperty) {
         Set<OWLObjectPropertyExpression> subs = getReasoner().getSubObjectProperties(objectProperty, true).getFlattened();
         subs.remove(objectProperty);
+        subs.remove(mngr.getOWLDataFactory().getOWLBottomObjectProperty());
         Set<OWLObjectProperty> children = new HashSet<OWLObjectProperty>();
         for (OWLObjectPropertyExpression p : subs) {
             if (p instanceof OWLObjectProperty) {