owlapy.class_expression.owl_class

OWL Class

Classes

OWLClass

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

Module Contents

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)

__slots__ = ('_iri', '_is_nothing', '_is_thing')
type_index: Final = 1001
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

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.