owlapy.util¶
Classes
This class contains functions to transform a Class Expression into Negation Normal Form |
|
Holder of OWL Objects that can be used for Python sorted |
|
This class contains functions to transform a class expression into Top-Level Conjunctive Normal Form |
|
This class contains functions to transform a class expression into Top-Level Disjunctive Normal Form |
Functions
Cast OWL Object to HasIndex |
|
Shortens an OWLClassExpression or OWLDataRange by combining all nested nary expressions of the same type. |
|
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’)