fixed complement issue

`assert A.get_object_complement_of().get_object_complement_of() == A` holds now
dice-group · Nov 20, 2024 · 7bc6445 · 7bc6445
1 parent a82f76f
commit 7bc6445
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/owlapy/class_expression/class_expression.py b/owlapy/class_expression/class_expression.py
@@ -63,6 +63,8 @@ def is_owl_thing(self) -> bool:
 
     def get_object_complement_of(self) -> 'OWLObjectComplementOf':
         # documented in parent
+        if isinstance(self, OWLObjectComplementOf):
+            return self.get_operand()
         return OWLObjectComplementOf(self)
 
     def get_nnf(self) -> 'OWLClassExpression':