`owlapy.class_expression.owl_class`

OWL Class

Module Contents

Classes

An OWL 2 named Class. Classes can be understood as sets of individuals.

class owlapy.class_expression.owl_class.OWLClass(iri: owlapy.iri.IRI | str)[source]

Bases: owlapy.class_expression.class_expression.OWLClassExpression, owlapy.owl_object.OWLEntity

An OWL 2 named Class. Classes can be understood as sets of individuals. (https://www.w3.org/TR/owl2-syntax/#Classes)

property iri: owlapy.iri.IRI

Gets the IRI of this object.

Returns:: The IRI of this object.

property str

Gets the string representation of this object

Returns:: The IRI as string

property reminder: str: The reminder of the IRI

__slots__ = ('_iri', '_is_nothing', '_is_thing')

type_index: Final = 1001

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:: Thing.
Return type:: True if this expression is owl

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.

get_object_complement_of() → owlapy.class_expression.class_expression.OWLObjectComplementOf[source]

Gets the object complement of this class expression.

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

get_nnf() → OWLClass[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.