owlapy.model.OWLObjectOneOf¶

class owlapy.model.OWLObjectOneOf(values: Union[owlapy.model.OWLIndividual, Iterable[owlapy.model.OWLIndividual]])[source]¶

Represents an ObjectOneOf class expression in the OWL 2 Specification.

Methods

`as_object_union_of`	Simplifies this enumeration to a union of singleton nominals.
`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
`individuals`	Gets the individuals that are in the oneOf.
`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

Simplifies this enumeration to a union of singleton nominals.

Returns:: This enumeration in a more standard DL form. simp({a}) = {a} simp({a0, … , {an}) = unionOf({a0}, … , {an})

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

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

Gets the object complement of this class expression

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

Gets the individuals that are in the oneOf. These individuals represent the exact instances (extension) of this class expression.

Returns:: The individuals that are the values of this {@code ObjectOneOf} class expression.

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.

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