owlapy.class_expression.class_expression

OWL Base Classes Expressions

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.

Module Contents

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]

__eq__(other)[source]

__hash__()[source]