:py:mod:`ontolearn.base.owl.utils`
==================================

.. py:module:: ontolearn.base.owl.utils


Module Contents
---------------

Classes
~~~~~~~

.. autoapisummary::

   ontolearn.base.owl.utils.OWLClassExpressionLengthMetric
   ontolearn.base.owl.utils.EvaluatedDescriptionSet
   ontolearn.base.owl.utils.ConceptOperandSorter
   ontolearn.base.owl.utils.OperandSetTransform




.. py:class:: OWLClassExpressionLengthMetric(*, class_length: int, object_intersection_length: int, object_union_length: int, object_complement_length: int, object_some_values_length: int, object_all_values_length: int, object_has_value_length: int, object_cardinality_length: int, object_has_self_length: int, object_one_of_length: int, data_some_values_length: int, data_all_values_length: int, data_has_value_length: int, data_cardinality_length: int, object_property_length: int, object_inverse_length: int, data_property_length: int, datatype_length: int, data_one_of_length: int, data_complement_length: int, data_intersection_length: int, data_union_length: int)


   Length calculation of OWLClassExpression

   :param class_length: Class: "C"
   :param object_intersection_length: Intersection: A ⨅ B
   :param object_union_length: Union: A ⨆ B
   :param object_complement_length: Complement: ¬ C
   :param object_some_values_length: Obj. Some Values: ∃ r.C
   :param object_all_values_length: Obj. All Values: ∀ r.C
   :param object_has_value_length: Obj. Has Value: ∃ r.{I}
   :param object_cardinality_length: Obj. Cardinality restriction: ≤n r.C
   :param object_has_self_length: Obj. Self restriction: ∃ r.Self
   :param object_one_of_length: Obj. One of: ∃ r.{X,Y,Z}
   :param data_some_values_length: Data Some Values: ∃ p.t
   :param data_all_values_length: Data All Values: ∀ p.t
   :param data_has_value_length: Data Has Value: ∃ p.{V}
   :param data_cardinality_length: Data Cardinality restriction: ≤n r.t
   :param object_property_length: Obj. Property: ∃ r.C
   :param object_inverse_length: Inverse property: ∃ r⁻.C
   :param data_property_length: Data Property: ∃ p.t
   :param datatype_length: Datatype: ^^datatype
   :param data_one_of_length: Data One of: ∃ p.{U,V,W}
   :param data_complement_length: Data Complement: ¬datatype
   :param data_intersection_length: Data Intersection: datatype ⨅ datatype
   :param data_union_length: Data Union: datatype ⨆ datatype

   .. py:attribute:: __slots__
      :value: ('class_length', 'object_intersection_length', 'object_union_length',...

      

   .. py:attribute:: class_length
      :type: int

      

   .. py:attribute:: object_intersection_length
      :type: int

      

   .. py:attribute:: object_union_length
      :type: int

      

   .. py:attribute:: object_complement_length
      :type: int

      

   .. py:attribute:: object_some_values_length
      :type: int

      

   .. py:attribute:: object_all_values_length
      :type: int

      

   .. py:attribute:: object_has_value_length
      :type: int

      

   .. py:attribute:: object_cardinality_length
      :type: int

      

   .. py:attribute:: object_has_self_length
      :type: int

      

   .. py:attribute:: object_one_of_length
      :type: int

      

   .. py:attribute:: data_some_values_length
      :type: int

      

   .. py:attribute:: data_all_values_length
      :type: int

      

   .. py:attribute:: data_has_value_length
      :type: int

      

   .. py:attribute:: data_cardinality_length
      :type: int

      

   .. py:attribute:: object_property_length
      :type: int

      

   .. py:attribute:: object_inverse_length
      :type: int

      

   .. py:attribute:: data_property_length
      :type: int

      

   .. py:attribute:: datatype_length
      :type: int

      

   .. py:attribute:: data_one_of_length
      :type: int

      

   .. py:attribute:: data_complement_length
      :type: int

      

   .. py:attribute:: data_intersection_length
      :type: int

      

   .. py:attribute:: data_union_length
      :type: int

      

   .. py:method:: get_default() -> OWLClassExpressionLengthMetric
      :staticmethod:


   .. py:method:: length(o: owlapy.owl_object.OWLObject) -> int
      :abstractmethod:



.. py:class:: EvaluatedDescriptionSet(ordering: Callable[[_N], _O], max_size: int = 10)


   Bases: :py:obj:`Generic`\ [\ :py:obj:`_N`\ , :py:obj:`_O`\ ]

   Abstract base class for generic types.

   A generic type is typically declared by inheriting from
   this class parameterized with one or more type variables.
   For example, a generic mapping type might be defined as::

     class Mapping(Generic[KT, VT]):
         def __getitem__(self, key: KT) -> VT:
             ...
         # Etc.

   This class can then be used as follows::

     def lookup_name(mapping: Mapping[KT, VT], key: KT, default: VT) -> VT:
         try:
             return mapping[key]
         except KeyError:
             return default

   .. py:attribute:: __slots__
      :value: ('items', '_max_size', '_Ordering')

      

   .. py:attribute:: items
      :type: SortedSet[_N]

      

   .. py:method:: maybe_add(node: _N)


   .. py:method:: clean()


   .. py:method:: worst()


   .. py:method:: best()


   .. py:method:: best_quality_value() -> float


   .. py:method:: __iter__() -> Iterable[_N]



.. py:class:: ConceptOperandSorter


   .. py:method:: sort(o: _O) -> _O
      :abstractmethod:



.. py:class:: OperandSetTransform


   .. py:method:: simplify(o: owlapy.class_expression.OWLClassExpression) -> owlapy.class_expression.OWLClassExpression