owlapy.model.OWLAnonymousClassExpression

class owlapy.model.OWLAnonymousClassExpression[source]

Bases: owlapy.model.OWLClassExpression

A Class Expression which is not a named Class

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.

get_nnf()owlapy.model.OWLClassExpression[source]

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[source]

Gets the object complement of this class expression

Returns:

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

is_anonymous()bool
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.

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.

Returns:

True if this expression is owl:Thing