owlapy.class_expression.nary_boolean_expression

OWL nary boolean expressions

Classes

OWLNaryBooleanClassExpression	OWLNaryBooleanClassExpression.
OWLObjectUnionOf	A union class expression ObjectUnionOf( CE1 ... CEn ) contains all individuals that are instances
OWLObjectIntersectionOf	An intersection class expression ObjectIntersectionOf( CE1 ... CEn ) contains all individuals that are instances

Module Contents

class owlapy.class_expression.nary_boolean_expression.OWLNaryBooleanClassExpression(operands: Iterable[owlapy.class_expression.class_expression.OWLClassExpression])

Bases: owlapy.class_expression.class_expression.OWLBooleanClassExpression, owlapy.meta_classes.HasOperands[owlapy.class_expression.class_expression.OWLClassExpression]

OWLNaryBooleanClassExpression.

__slots__ = ()

operands() → Iterable[owlapy.class_expression.class_expression.OWLClassExpression]

Gets the operands - e.g., the individuals in a sameAs axiom, or the classes in an equivalent classes axiom.

Returns:

The operands.

__repr__()

__eq__(other)

__hash__()

class owlapy.class_expression.nary_boolean_expression.OWLObjectUnionOf(operands: Iterable[owlapy.class_expression.class_expression.OWLClassExpression])

Bases: OWLNaryBooleanClassExpression

A union class expression ObjectUnionOf( CE1 … CEn ) contains all individuals that are instances of at least one class expression CEi for 1 ≤ i ≤ n. (https://www.w3.org/TR/owl2-syntax/#Union_of_Class_Expressions)

__slots__ = '_operands'

type_index: Final = 3002

class owlapy.class_expression.nary_boolean_expression.OWLObjectIntersectionOf(operands: Iterable[owlapy.class_expression.class_expression.OWLClassExpression])

Bases: OWLNaryBooleanClassExpression

An intersection class expression ObjectIntersectionOf( CE1 … CEn ) contains all individuals that are instances of all class expressions CEi for 1 ≤ i ≤ n. (https://www.w3.org/TR/owl2-syntax/#Intersection_of_Class_Expressions)

__slots__ = '_operands'

type_index: Final = 3001