Merge pull request #113 from dice-group/complement_of_complement_fix

Complement of complement fix
dice-group · Nov 22, 2024 · 82b5ae9 · 82b5ae9
2 parents 9a613ab + dc39fd5
commit 82b5ae9
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/owlapy/class_expression/class_expression.py b/owlapy/class_expression/class_expression.py
@@ -84,6 +84,15 @@ class OWLObjectComplementOf(OWLBooleanClassExpression, HasOperands[OWLClassExpre
 
     _operand: OWLClassExpression
 
+    def __new__(cls, op: OWLClassExpression):
+        """
+        Creates a new instance or returns the operand if op is already a complement.
+        """
+        if isinstance(op, OWLObjectComplementOf):
+            return op.get_operand()
+        else:
+            return super(OWLObjectComplementOf, cls).__new__(cls)
+
     def __init__(self, op: OWLClassExpression):
         """
         Args: