Added docstrings for owl classes + refactoring part 1

owlapy/class_expression/class_expression.py

@@ -1,10 +1,16 @@
 from abc import abstractmethod, ABCMeta
-from ..data_ranges import OWLPropertyRange, OWLDataRange
+from ..data_ranges import OWLPropertyRange
 from ..meta_classes import HasOperands
 
 from typing import Final, Iterable
+
+
 class OWLClassExpression(OWLPropertyRange):
-    """An OWL 2 Class Expression (https://www.w3.org/TR/owl2-syntax/#Class_Expressions) """
+    """OWL Class expressions represent sets of individuals by formally specifying conditions on the individuals' properties;
+     individuals satisfying these conditions are said to be instances of the respective class expressions.
+     In the structural specification of OWL 2, class expressions are represented by ClassExpression.
+     (https://www.w3.org/TR/owl2-syntax/#Class_Expressions)
+     """
     __slots__ = ()
 
     @abstractmethod

owlapy/class_expression/nary_boolean_expression.py

@@ -1,6 +1,8 @@
 from .class_expression import OWLClassExpression, OWLBooleanClassExpression
 from ..meta_classes import HasOperands
 from typing import Final, Sequence, Iterable
+
+
 class OWLNaryBooleanClassExpression(OWLBooleanClassExpression, HasOperands[OWLClassExpression]):
     """OWLNaryBooleanClassExpression."""
     __slots__ = ()
@@ -30,18 +32,22 @@ def __hash__(self):
         return hash(self._operands)
 
 
-
-
 class OWLObjectUnionOf(OWLNaryBooleanClassExpression):
-    """Represents an ObjectUnionOf class expression in the OWL 2 Specification."""
+    """A union class expression ObjectUnionOf( CE1 ... CEn ) contains all individuals that are instances
+       of at least one class expression CEi for 1 ≤ i ≤ n.
+       (https://www.w3.org/TR/owl2-syntax/#Union_of_Class_Expressions)
+    """
     __slots__ = '_operands'
     type_index: Final = 3002
 
     _operands: Sequence[OWLClassExpression]
 
 
 class OWLObjectIntersectionOf(OWLNaryBooleanClassExpression):
-    """Represents an OWLObjectIntersectionOf class expression in the OWL 2 Specification."""
+    """An intersection class expression ObjectIntersectionOf( CE1 ... CEn ) contains all individuals that are instances
+    of all class expressions CEi for 1 ≤ i ≤ n.
+    (https://www.w3.org/TR/owl2-syntax/#Intersection_of_Class_Expressions)
+    """
     __slots__ = '_operands'
     type_index: Final = 3001
 

owlapy/class_expression/owl_class.py

@@ -1,11 +1,12 @@
 from .class_expression import OWLClassExpression, OWLObjectComplementOf
-from ..owlobject import OWLObject, OWLEntity
+from ..owlobject import OWLEntity
 from typing import Final, Union
 from ..iri import IRI
 
 
 class OWLClass(OWLClassExpression, OWLEntity):
-    """An OWL 2 named Class"""
+    """An OWL 2 named Class. Classes can be understood as sets of individuals.
+    (https://www.w3.org/TR/owl2-syntax/#Classes)"""
     __slots__ = '_iri', '_is_nothing', '_is_thing'
     type_index: Final = 1001