ontolearn.nero_utils

Classes

`Role`	Represents an OWL object property/role.
`TargetClassExpression`	Represents a target class expression for neural training.
`ClassExpression`	Base class for class expressions.
`AtomicExpression`	Represents an atomic class expression.
`ComplementOfAtomicExpression`	Represents a negated atomic class expression.
`UniversalQuantifierExpression`	Represents a universal quantifier expression (∀).
`ExistentialQuantifierExpression`	Represents an existential quantifier expression (∃).
`IntersectionClassExpression`	Represents an intersection of class expressions.
`UnionClassExpression`	Represents a union of class expressions.
`State`
`SearchTree`	Priority queue for managing search states.

Module Contents

class ontolearn.nero_utils.Role(*, name: str)[source]

Represents an OWL object property/role.

name

__str__()[source]

__repr__()[source]

class ontolearn.nero_utils.TargetClassExpression(*, label_id, name: str, idx_individuals: Set = None, expression_chain: List = None, length: int = None, str_individuals: Set = None, _type=None)[source]

Represents a target class expression for neural training.

label_id

name

idx_individuals = None

str_individuals = None

type = None

expression_chain = None

num_individuals = 0

length = None

quality = None

property size

__lt__(other)[source]

__str__()[source]

__repr__()[source]

class ontolearn.nero_utils.ClassExpression(*, name: str, str_individuals: Set, expression_chain: List, owl_class=None, quality=None, length=None)[source]

Bases: abc.ABC

Base class for class expressions.

name

str_individuals

expression_chain

num_individuals

quality = None

owl_class = None

length = None

type = 'class_expression'

__str__()[source]

__repr__()[source]

property size

__lt__(other)[source]

__mul__(other)[source]: Create intersection of two class expressions (A ⊓ B)

__add__(other)[source]: Create union of two class expressions (A ⊔ B)

class ontolearn.nero_utils.AtomicExpression(*, name: str, str_individuals: Set, expression_chain: List, owl_class=None, quality=None, label_id=None, idx_individuals=None)[source]

Bases: ClassExpression

Represents an atomic class expression.

length = 1

type = 'atomic_expression'

idx_individuals = None

label_id = None

class ontolearn.nero_utils.ComplementOfAtomicExpression(*, name: str, atomic_expression, str_individuals: Set, expression_chain: List, quality=None, owl_class=None, label_id=None, idx_individuals=None)[source]

Bases: ClassExpression

Represents a negated atomic class expression.

atomic_expression

length = 2

type = 'negated_expression'

label_id = None

idx_individuals = None

class ontolearn.nero_utils.UniversalQuantifierExpression(*, name: str, role=None, filler=None, label_id=None, idx_individuals=None, str_individuals: Set, expression_chain: List, quality=None)[source]

Bases: ClassExpression

Represents a universal quantifier expression (∀).

role = None

filler = None

type = 'universal_quantifier_expression'

label_id = None

idx_individuals = None

length = 3

class ontolearn.nero_utils.ExistentialQuantifierExpression(*, name: str, role=None, filler=None, str_individuals: Set, expression_chain: List, quality=None, label_id=None, idx_individuals=None)[source]

Bases: ClassExpression

Represents an existential quantifier expression (∃).

role = None

filler = None

type = 'existantial_quantifier_expression'

label_id = None

idx_individuals = None

length = 3

class ontolearn.nero_utils.IntersectionClassExpression(*, name: str, length: int, str_individuals: Set, expression_chain: List, owl_class=None, quality=None, label_id=None, concepts=None, idx_individuals=None)[source]

Bases: ClassExpression

Represents an intersection of class expressions.

length

type = 'intersection_expression'

label_id = None

idx_individuals = None

concepts = None

class ontolearn.nero_utils.UnionClassExpression(*, name: str, length: int, str_individuals: Set, expression_chain: List, owl_class=None, concepts=None, quality=None, label_id=None, idx_individuals=None)[source]