ontolearn.base.owl.utils

Module Contents

Classes

OWLClassExpressionLengthMetric

Length calculation of OWLClassExpression

EvaluatedDescriptionSet

Abstract base class for generic types.

ConceptOperandSorter

OperandSetTransform

class ontolearn.base.owl.utils.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)[source]

Length calculation of OWLClassExpression

Parameters:

  • class_length – Class: “C”

  • object_intersection_length – Intersection: A ⨅ B

  • object_union_length – Union: A ⨆ B

  • object_complement_length – Complement: ¬ C

  • object_some_values_length – Obj. Some Values: ∃ r.C

  • object_all_values_length – Obj. All Values: ∀ r.C

  • object_has_value_length – Obj. Has Value: ∃ r.{I}

  • object_cardinality_length – Obj. Cardinality restriction: ≤n r.C

  • object_has_self_length – Obj. Self restriction: ∃ r.Self

  • object_one_of_length – Obj. One of: ∃ r.{X,Y,Z}

  • data_some_values_length – Data Some Values: ∃ p.t

  • data_all_values_length – Data All Values: ∀ p.t

  • data_has_value_length – Data Has Value: ∃ p.{V}

  • data_cardinality_length – Data Cardinality restriction: ≤n r.t

  • object_property_length – Obj. Property: ∃ r.C

  • object_inverse_length – Inverse property: ∃ r⁻.C

  • data_property_length – Data Property: ∃ p.t

  • datatype_length – Datatype: ^^datatype

  • data_one_of_length – Data One of: ∃ p.{U,V,W}

  • data_complement_length – Data Complement: ¬datatype

  • data_intersection_length – Data Intersection: datatype ⨅ datatype

  • data_union_length – Data Union: datatype ⨆ datatype

__slots__ = ('class_length', 'object_intersection_length', 'object_union_length',...
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
static get_default() → OWLClassExpressionLengthMetric[source]
abstract length(o: owlapy.owl_object.OWLObject) → int[source]
class ontolearn.base.owl.utils.EvaluatedDescriptionSet(ordering: Callable[[_N], _O], max_size: int = 10)[source]

Bases: Generic[_N, _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
__slots__ = ('items', '_max_size', '_Ordering')
items: SortedSet[_N]
maybe_add(node: _N)[source]
clean()[source]
worst()[source]
best()[source]
best_quality_value() → float[source]
__iter__() → Iterable[_N][source]
class ontolearn.base.owl.utils.ConceptOperandSorter[source]
abstract sort(o: _O) → _O[source]
class ontolearn.base.owl.utils.OperandSetTransform[source]
simplify(o: owlapy.class_expression.OWLClassExpression) → owlapy.class_expression.OWLClassExpression[source]