owlapy.model.OWLClassExpression¶

class owlapy.model.OWLClassExpression[source]¶

An OWL 2 Class Expression

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
`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.

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

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

abstract get_object_complement_of() → owlapy.model.OWLObjectComplementOf [source]¶

Gets the object complement of this class expression

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

abstract is_owl_nothing() → bool[source]¶: Determines if this expression is the built in class owl:Nothing. This method does not determine if the class is equivalent to owl:Nothing.

abstract is_owl_thing() → bool[source]¶

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