owlapy.util

Classes

LRUCache

NNF

This class contains functions to transform a Class Expression into Negation Normal Form

OrderedOWLObject

Holder of OWL Objects that can be used for Python sorted

TopLevelCNF

This class contains functions to transform a class expression into Top-Level Conjunctive Normal Form

TopLevelDNF

This class contains functions to transform a class expression into Top-Level Disjunctive Normal Form

Functions

as_index

Cast OWL Object to HasIndex

combine_nary_expressions

Shortens an OWLClassExpression or OWLDataRange by combining all nested nary expressions of the same type.

iter_count

Count the number of elements in an iterable

Module attributes

owlapy.util._HasIRI

alias of TypeVar(‘_HasIRI’, bound=owlapy.model.HasIRI)

owlapy.util._HasIndex

alias of TypeVar(‘_HasIndex’, bound=owlapy.model.HasIndex)

owlapy.util._O

alias of TypeVar(‘_O’)