owlapy.model.OWLObjectComplementOf

class owlapy.model.OWLObjectComplementOf(op: owlapy.model.OWLClassExpression)

Bases: owlapy.model.OWLBooleanClassExpression, owlapy.model.HasOperands[owlapy.model.OWLClassExpression]

Represents an ObjectComplementOf class expression in the OWL 2 Specification.

Parameters:

op – class expression to complement

Methods

get_nnf	Gets the negation normal form of the complement of this expression.
get_object_complement_of	Gets the object complement of this class expression
get_operand	returns: the wrapped expression
is_anonymous
is_owl_nothing	Determines if this expression is the built in class owl:Nothing.
is_owl_thing	Determines if this expression is the built in class owl:Thing.
operands	Gets the operands - e.g., the individuals in a sameAs axiom, or the classes in an equivalent classes axiom.

Attributes

type_index

get_nnf() → owlapy.model.OWLClassExpression

Gets the negation normal form of the complement of this expression.

Returns:

A expression that represents the NNF of the complement of this expression.

get_object_complement_of() → owlapy.model.OWLObjectComplementOf

Gets the object complement of this class expression

Returns:

A class expression that is the complement of this class expression.

get_operand() → owlapy.model.OWLClassExpression

Returns:

the wrapped expression

is_anonymous() → bool

is_owl_nothing() → bool

Determines if this expression is the built in class owl:Nothing. This method does not determine if the class is equivalent to owl:Nothing.

is_owl_thing() → bool

Determines if this expression is the built in class owl:Thing. This method does not determine if the class is equivalent to owl:Thing.

Returns:

True if this expression is owl:Thing

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

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

Returns:

The operands.

type_index: Final = 3003