owlapy.class_expression.class_expression

OWL Base Classes Expressions

Module Contents

Classes

OWLClassExpression

OWL Class expressions represent sets of individuals by formally specifying conditions on the individuals' properties;

OWLAnonymousClassExpression

A Class Expression which is not a named Class.

OWLBooleanClassExpression

Represent an anonymous boolean class expression.

OWLObjectComplementOf

Represents an ObjectComplementOf class expression in the OWL 2 Specification.
class owlapy.class_expression.class_expression.OWLClassExpression[source]

Bases: owlapy.owl_data_ranges.OWLPropertyRange

OWL Class expressions represent sets of individuals by formally specifying conditions on the individuals’ properties; individuals satisfying these conditions are said to be instances of the respective class expressions. In the structural specification of OWL 2, class expressions are represented by ClassExpression. (https://www.w3.org/TR/owl2-syntax/#Class_Expressions)

__slots__ = ()
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.

Returns:

Thing.

Return type:

True if this expression is owl

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 get_object_complement_of() → OWLObjectComplementOf[source]

Gets the object complement of this class expression.

Returns:

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

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

class owlapy.class_expression.class_expression.OWLAnonymousClassExpression[source]

Bases: OWLClassExpression

A Class Expression which is not a named Class.

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:

Thing.

Return type:

True if this expression is owl

get_object_complement_of() → OWLObjectComplementOf[source]

Gets the object complement of this class expression.

Returns:

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

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

class owlapy.class_expression.class_expression.OWLBooleanClassExpression[source]

Bases: OWLAnonymousClassExpression

Represent an anonymous boolean class expression.

__slots__ = ()
class owlapy.class_expression.class_expression.OWLObjectComplementOf(op: OWLClassExpression)[source]

Bases: OWLBooleanClassExpression, owlapy.meta_classes.HasOperands[OWLClassExpression]

Represents an ObjectComplementOf class expression in the OWL 2 Specification.

__slots__ = '_operand'
type_index: Final = 3003
get_operand() → OWLClassExpression[source]
Returns:

The wrapped expression.

operands() → Iterable[OWLClassExpression][source]

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

Returns:

The operands.

__repr__()[source]

Return repr(self).

__eq__(other)[source]

Return self==value.

__hash__()[source]

Return hash(self).