owlapy.class_expression

OWL Class Expressions https://www.w3.org/TR/owl2-syntax/#Class_Expressions ClassExpression :=

owl_class.py: Class nary_boolean_expression.py: ObjectIntersectionOf, ObjectUnionOf class_expression.py: ObjectComplementOf

restriction.py: ObjectOneOf, ObjectSomeValuesFrom, ObjectAllValuesFrom, ObjectHasValue,ObjectHasSelf, ObjectMinCardinality, ObjectMaxCardinality, ObjectExactCardinality, DataSomeValuesFrom, DataAllValuesFrom, DataHasValue, DataMinCardinality, DataMaxCardinality, DataExactCardinality

Submodules

Classes

`OWLAnonymousClassExpression`	A Class Expression which is not a named Class.
`OWLBooleanClassExpression`	Represent an anonymous boolean class expression.
`OWLClassExpression`	OWL Class expressions represent sets of individuals by formally specifying conditions on the individuals' properties;
`OWLObjectComplementOf`	A complement class expression ObjectComplementOf( CE ) contains all individuals that are not instances of the
`OWLNaryBooleanClassExpression`	OWLNaryBooleanClassExpression.
`OWLObjectIntersectionOf`	An intersection class expression ObjectIntersectionOf( CE1 ... CEn ) contains all individuals that are instances
`OWLObjectUnionOf`	A union class expression ObjectUnionOf( CE1 ... CEn ) contains all individuals that are instances
`OWLClass`	An OWL 2 named Class. Classes can be understood as sets of individuals.
`OWLCardinalityRestriction`	Base interface for owl min and max cardinality restriction.
`OWLDataAllValuesFrom`	A universal class expression DataAllValuesFrom( DPE1 ... DPEn DR ) consists of n data property expressions DPEi,
`OWLDataCardinalityRestriction`	Represents Data Property Cardinality Restrictions.
`OWLDataExactCardinality`	An exact cardinality expression ObjectExactCardinality( n OPE CE ) consists of a nonnegative integer n, an
`OWLDataHasValue`	A has-value class expression DataHasValue( DPE lt ) consists of a data property expression DPE and a literal lt,
`OWLDataMaxCardinality`	A maximum cardinality expression ObjectMaxCardinality( n OPE CE ) consists of a nonnegative integer n, an object
`OWLDataMinCardinality`	A minimum cardinality expression DataMinCardinality( n DPE DR ) consists of a nonnegative integer n, a data
`OWLDataOneOf`	An enumeration of literals DataOneOf( lt1 ... ltn ) contains exactly the explicitly specified literals lti with
`OWLDataRestriction`	Represents a Data Property Restriction.
`OWLDataSomeValuesFrom`	An existential class expression DataSomeValuesFrom( DPE1 ... DPEn DR ) consists of n data property expressions
`OWLDatatypeRestriction`	A datatype restriction DatatypeRestriction( DT F1 lt1 ... Fn ltn ) consists of a unary datatype DT and n pairs
`OWLFacet`	Enumerations for OWL facets.
`OWLFacetRestriction`	A facet restriction is used to restrict a particular datatype.
`OWLHasValueRestriction`	Represent a HasValue restriction in the OWL 2
`OWLObjectAllValuesFrom`	A universal class expression ObjectAllValuesFrom( OPE CE ) consists of an object property expression OPE and a
`OWLObjectCardinalityRestriction`	Represents Object Property Cardinality Restrictions in the OWL 2 specification.
`OWLObjectExactCardinality`	An exact cardinality expression ObjectExactCardinality( n OPE CE ) consists of a nonnegative integer n, an object
`OWLObjectHasSelf`	A self-restriction ObjectHasSelf( OPE ) consists of an object property expression OPE,
`OWLObjectHasValue`	A has-value class expression ObjectHasValue( OPE a ) consists of an object property expression OPE and an
`OWLObjectMaxCardinality`	A maximum cardinality expression ObjectMaxCardinality( n OPE CE ) consists of a nonnegative integer n, an object
`OWLObjectMinCardinality`	A minimum cardinality expression ObjectMinCardinality( n OPE CE ) consists of a nonnegative integer n, an object
`OWLObjectOneOf`	An enumeration of individuals ObjectOneOf( a1 ... an ) contains exactly the individuals ai with 1 ≤ i ≤ n.
`OWLObjectRestriction`	Represents an Object Property Restriction in the OWL 2 specification.
`OWLObjectSomeValuesFrom`	An existential class expression ObjectSomeValuesFrom( OPE CE ) consists of an object property expression OPE and
`OWLQuantifiedDataRestriction`	Represents a quantified data restriction.
`OWLQuantifiedObjectRestriction`	Represents a quantified object restriction.
`OWLQuantifiedRestriction`	Represents a quantified restriction.
`OWLRestriction`	Represents an Object Property Restriction or Data Property Restriction in the OWL 2 specification.

Package Contents

class owlapy.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.OWLBooleanClassExpression[source]

Bases: OWLAnonymousClassExpression

Represent an anonymous boolean class expression.

__slots__ = ()

class owlapy.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__ = ()

abstractmethod 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

abstractmethod 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.

abstractmethod 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.

abstractmethod 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.OWLObjectComplementOf(op: OWLClassExpression)[source]

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

A complement class expression ObjectComplementOf( CE ) contains all individuals that are not instances of the class expression CE. (https://www.w3.org/TR/owl2-syntax/#Complement_of_Class_Expressions)

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

class owlapy.class_expression.OWLNaryBooleanClassExpression(operands: Iterable[owlapy.class_expression.class_expression.OWLClassExpression])[source]

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

OWLNaryBooleanClassExpression.

__slots__ = ()

operands() → Iterable[owlapy.class_expression.class_expression.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]

class owlapy.class_expression.OWLObjectIntersectionOf(operands: Iterable[owlapy.class_expression.class_expression.OWLClassExpression])[source]

Bases: OWLNaryBooleanClassExpression

An intersection class expression ObjectIntersectionOf( CE1 … CEn ) contains all individuals that are instances of all class expressions CEi for 1 ≤ i ≤ n. (https://www.w3.org/TR/owl2-syntax/#Intersection_of_Class_Expressions)

__slots__ = '_operands'

type_index: Final = 3001

class owlapy.class_expression.OWLObjectUnionOf(operands: Iterable[owlapy.class_expression.class_expression.OWLClassExpression])[source]

Bases: OWLNaryBooleanClassExpression

A union class expression ObjectUnionOf( CE1 … CEn ) contains all individuals that are instances of at least one class expression CEi for 1 ≤ i ≤ n. (https://www.w3.org/TR/owl2-syntax/#Union_of_Class_Expressions)

__slots__ = '_operands'

type_index: Final = 3002

class owlapy.class_expression.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 remainder: str: The remainder 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.

class owlapy.class_expression.OWLCardinalityRestriction(cardinality: int, filler: _F)[source]

Bases: Generic[_F], OWLQuantifiedRestriction[_F], owlapy.meta_classes.HasCardinality

Base interface for owl min and max cardinality restriction.

Parameters:: _F – Type of filler.

__slots__ = ()

get_cardinality() → int[source]

Gets the cardinality of a restriction.

Returns:: The cardinality. A non-negative integer.

get_filler() → _F[source]

Gets the filler for this restriction. In the case of an object restriction this will be an individual, in the case of a data restriction this will be a constant (data value). For quantified restriction this will be a class expression or a data range.

Returns:: the value

class owlapy.class_expression.OWLDataAllValuesFrom(property: owlapy.owl_property.OWLDataPropertyExpression, filler: owlapy.owl_data_ranges.OWLDataRange)[source]

Bases: OWLQuantifiedDataRestriction

A universal class expression DataAllValuesFrom( DPE1 … DPEn DR ) consists of n data property expressions DPEi, 1 ≤ i ≤ n, and a data range DR whose arity must be n. Such a class expression contains all those individuals that

are connected by DPEi only to literals lti, 1 ≤ i ≤ n, such that each tuple ( lt1 , …, ltn ) is in DR. A class
expression of the form DataAllValuesFrom( DPE DR ) can be seen as a syntactic shortcut for the class expression DataMaxCardinality( 0 DPE DataComplementOf( DR ) ). (https://www.w3.org/TR/owl2-syntax/#Universal_Quantification_2)

__slots__ = '_property'

type_index: Final = 3013

__repr__()[source]

__eq__(other)[source]

__hash__()[source]

get_property() → owlapy.owl_property.OWLDataPropertyExpression[source]

Returns:: Property being restricted.

class owlapy.class_expression.OWLDataCardinalityRestriction(cardinality: int, property: owlapy.owl_property.OWLDataPropertyExpression, filler: owlapy.owl_data_ranges.OWLDataRange)[source]

Bases: OWLCardinalityRestriction[owlapy.owl_data_ranges.OWLDataRange], OWLQuantifiedDataRestriction, OWLDataRestriction

Represents Data Property Cardinality Restrictions.

__slots__ = ()

__hash__()[source]

__repr__()[source]

__eq__(other)[source]

get_property() → owlapy.owl_property.OWLDataPropertyExpression[source]

Returns:: Property being restricted.

class owlapy.class_expression.OWLDataExactCardinality(cardinality: int, property: owlapy.owl_property.OWLDataPropertyExpression, filler: owlapy.owl_data_ranges.OWLDataRange)[source]

Bases: OWLDataCardinalityRestriction

An exact cardinality expression ObjectExactCardinality( n OPE CE ) consists of a nonnegative integer n, an object property expression OPE, and a class expression CE, and it contains all those individuals that are connected

by OPE to exactly n different individuals that are instances of CE (https://www.w3.org/TR/owl2-syntax/#Exact_Cardinality)

__slots__ = ('_cardinality', '_filler', '_property')

type_index: Final = 3016

as_intersection_of_min_max() → owlapy.class_expression.nary_boolean_expression.OWLObjectIntersectionOf[source]

Obtains an equivalent form that is a conjunction of a min cardinality and max cardinality restriction.

Returns:: The semantically equivalent but structurally simpler form (= 1 R D) = >= 1 R D and <= 1 R D.

class owlapy.class_expression.OWLDataHasValue(property: owlapy.owl_property.OWLDataPropertyExpression, value: owlapy.owl_literal.OWLLiteral)[source]

Bases: OWLHasValueRestriction[owlapy.owl_literal.OWLLiteral], OWLDataRestriction

A has-value class expression DataHasValue( DPE lt ) consists of a data property expression DPE and a literal lt, and it contains all those individuals that are connected by DPE to lt. Each such class expression can be seen as a syntactic shortcut for the class expression DataSomeValuesFrom( DPE DataOneOf( lt ) ). (https://www.w3.org/TR/owl2-syntax/#Literal_Value_Restriction)

__slots__ = '_property'

type_index: Final = 3014

__repr__()[source]

__eq__(other)[source]

__hash__()[source]

as_some_values_from() → owlapy.class_expression.class_expression.OWLClassExpression[source]

A convenience method that obtains this restriction as an existential restriction with a nominal filler.

Returns:: The existential equivalent of this value restriction. simp(HasValue(p a)) = some(p {a}).

get_property() → owlapy.owl_property.OWLDataPropertyExpression[source]

Returns:: Property being restricted.

class owlapy.class_expression.OWLDataMaxCardinality(cardinality: int, property: owlapy.owl_property.OWLDataPropertyExpression, filler: owlapy.owl_data_ranges.OWLDataRange)[source]

Bases: OWLDataCardinalityRestriction

A maximum cardinality expression ObjectMaxCardinality( n OPE CE ) consists of a nonnegative integer n, an object property expression OPE, and a class expression CE, and it contains all those individuals that are connected by OPE to at most n different individuals that are instances of CE. (https://www.w3.org/TR/owl2-syntax/#Maximum_Cardinality)

__slots__ = ('_cardinality', '_filler', '_property')

type_index: Final = 3017

class owlapy.class_expression.OWLDataMinCardinality(cardinality: int, property: owlapy.owl_property.OWLDataPropertyExpression, filler: owlapy.owl_data_ranges.OWLDataRange)[source]

Bases: OWLDataCardinalityRestriction

A minimum cardinality expression DataMinCardinality( n DPE DR ) consists of a nonnegative integer n, a data property expression DPE, and a unary data range DR, and it contains all those individuals that are connected by DPE to at least n different literals in DR. (https://www.w3.org/TR/owl2-syntax/#Minimum_Cardinality)

__slots__ = ('_cardinality', '_filler', '_property')

type_index: Final = 3015

class owlapy.class_expression.OWLDataOneOf(values: owlapy.owl_literal.OWLLiteral | Iterable[owlapy.owl_literal.OWLLiteral])[source]

Bases: owlapy.owl_data_ranges.OWLDataRange, owlapy.meta_classes.HasOperands[owlapy.owl_literal.OWLLiteral]

An enumeration of literals DataOneOf( lt1 … ltn ) contains exactly the explicitly specified literals lti with 1 ≤ i ≤ n. The resulting data range has arity one. (https://www.w3.org/TR/owl2-syntax/#Enumeration_of_Literals)

type_index: Final = 4003

__repr__()[source]

__hash__()[source]

__eq__(other)[source]

values() → Iterable[owlapy.owl_literal.OWLLiteral][source]

Gets the values that are in the oneOf.

Returns:: The values of this {@code DataOneOf} class expression.

operands() → Iterable[owlapy.owl_literal.OWLLiteral][source]

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

Returns:: The operands.

class owlapy.class_expression.OWLDataRestriction[source]

Bases: OWLRestriction

Represents a Data Property Restriction.

__slots__ = ()

is_data_restriction() → bool[source]

Determines if this is a data restriction.

Returns:: True if this is a data restriction.

class owlapy.class_expression.OWLDataSomeValuesFrom(property: owlapy.owl_property.OWLDataPropertyExpression, filler: owlapy.owl_data_ranges.OWLDataRange)[source]

Bases: OWLQuantifiedDataRestriction

An existential class expression DataSomeValuesFrom( DPE1 … DPEn DR ) consists of n data property expressions DPEi, 1 ≤ i ≤ n, and a data range DR whose arity must be n. Such a class expression contains all those individuals that are connected by DPEi to literals lti, 1 ≤ i ≤ n, such that the tuple ( lt1 , …, ltn ) is in DR. A class expression of the form DataSomeValuesFrom( DPE DR ) can be seen as a syntactic shortcut for the class expression DataMinCardinality( 1 DPE DR ). (https://www.w3.org/TR/owl2-syntax/#Existential_Quantification_2)

__slots__ = '_property'

type_index: Final = 3012

__repr__()[source]

__eq__(other)[source]

__hash__()[source]

get_property() → owlapy.owl_property.OWLDataPropertyExpression[source]

Returns:: Property being restricted.

class owlapy.class_expression.OWLDatatypeRestriction(type_: owlapy.owl_datatype.OWLDatatype, facet_restrictions: OWLFacetRestriction | Iterable[OWLFacetRestriction])[source]

Bases: owlapy.owl_data_ranges.OWLDataRange

A datatype restriction DatatypeRestriction( DT F1 lt1 … Fn ltn ) consists of a unary datatype DT and n pairs ( Fi , lti ). The resulting data range is unary and is obtained by restricting the value space of DT according to the semantics of all ( Fi , vi ) (multiple pairs are interpreted conjunctively), where vi are the data values of the literals lti. (https://www.w3.org/TR/owl2-syntax/#Datatype_Restrictions)

__slots__ = ('_type', '_facet_restrictions')

type_index: Final = 4006

get_datatype() → owlapy.owl_datatype.OWLDatatype[source]

get_facet_restrictions() → Sequence[OWLFacetRestriction][source]

__eq__(other)[source]

__hash__()[source]

__repr__()[source]

class owlapy.class_expression.OWLFacet(remainder: str, symbolic_form: str, operator: Callable[[_X, _X], bool])[source]

Bases: _Vocabulary, enum.Enum

Enumerations for OWL facets.

property symbolic_form

property operator

static from_str(name: str) → OWLFacet[source]

MIN_INCLUSIVE: Final

MIN_EXCLUSIVE: Final

MAX_INCLUSIVE: Final

MAX_EXCLUSIVE: Final

LENGTH: Final

MIN_LENGTH: Final

MAX_LENGTH: Final

PATTERN: Final

TOTAL_DIGITS: Final

FRACTION_DIGITS: Final

class owlapy.class_expression.OWLFacetRestriction(facet: owlapy.vocab.OWLFacet, literal: Literals)[source]

Bases: owlapy.owl_object.OWLObject

A facet restriction is used to restrict a particular datatype.

__slots__ = ('_facet', '_literal')

type_index: Final = 4007

get_facet() → owlapy.vocab.OWLFacet[source]

get_facet_value() → owlapy.owl_literal.OWLLiteral[source]

__eq__(other)[source]

__hash__()[source]

__repr__()[source]

class owlapy.class_expression.OWLHasValueRestriction(value: _T)[source]

Bases: Generic[_T], OWLRestriction, owlapy.meta_classes.HasFiller[_T]

Represent a HasValue restriction in the OWL 2

Parameters:: value – The value type _T.

__slots__ = ()

__eq__(other)[source]

__hash__()[source]

get_filler() → _T[source]

Gets the filler for this restriction. In the case of an object restriction this will be an individual, in the case of a data restriction this will be a constant (data value). For quantified restriction this will be a class expression or a data range.

Returns:: the value

class owlapy.class_expression.OWLObjectAllValuesFrom(property: owlapy.owl_property.OWLObjectPropertyExpression, filler: owlapy.class_expression.class_expression.OWLClassExpression)[source]

Bases: OWLQuantifiedObjectRestriction

A universal class expression ObjectAllValuesFrom( OPE CE ) consists of an object property expression OPE and a class expression CE, and it contains all those individuals that are connected by OPE only to individuals that are instances of CE. (https://www.w3.org/TR/owl2-syntax/#Universal_Quantification)

__slots__ = ('_property', '_filler')

type_index: Final = 3006

__repr__()[source]

__eq__(other)[source]

__hash__()[source]

get_property() → owlapy.owl_property.OWLObjectPropertyExpression[source]

Returns:: Property being restricted.

class owlapy.class_expression.OWLObjectCardinalityRestriction(cardinality: int, property: owlapy.owl_property.OWLObjectPropertyExpression, filler: owlapy.class_expression.class_expression.OWLClassExpression)[source]

Bases: OWLCardinalityRestriction[owlapy.class_expression.class_expression.OWLClassExpression], OWLQuantifiedObjectRestriction

Represents Object Property Cardinality Restrictions in the OWL 2 specification.

__slots__ = ()

get_property() → owlapy.owl_property.OWLObjectPropertyExpression[source]

Returns:: Property being restricted.

__repr__()[source]

__eq__(other)[source]

__hash__()[source]

class owlapy.class_expression.OWLObjectExactCardinality(cardinality: int, property: owlapy.owl_property.OWLObjectPropertyExpression, filler: owlapy.class_expression.class_expression.OWLClassExpression)[source]

Bases: OWLObjectCardinalityRestriction

An exact cardinality expression ObjectExactCardinality( n OPE CE ) consists of a nonnegative integer n, an object: property expression OPE, and a class expression CE, and it contains all those individuals that are connected by to exactly n different individuals that are instances of CE.

(https://www.w3.org/TR/owl2-syntax/#Exact_Cardinality)

__slots__ = ('_cardinality', '_filler', '_property')

type_index: Final = 3009

as_intersection_of_min_max() → owlapy.class_expression.nary_boolean_expression.OWLObjectIntersectionOf[source]

Obtains an equivalent form that is a conjunction of a min cardinality and max cardinality restriction.

Returns:: The semantically equivalent but structurally simpler form (= 1 R C) = >= 1 R C and <= 1 R C.

class owlapy.class_expression.OWLObjectHasSelf(property: owlapy.owl_property.OWLObjectPropertyExpression)[source]

Bases: OWLObjectRestriction

A self-restriction ObjectHasSelf( OPE ) consists of an object property expression OPE, and it contains all those individuals that are connected by OPE to themselves. (https://www.w3.org/TR/owl2-syntax/#Self-Restriction)

__slots__ = '_property'

type_index: Final = 3011

get_property() → owlapy.owl_property.OWLObjectPropertyExpression[source]

Returns:: Property being restricted.

__eq__(other)[source]

__hash__()[source]

__repr__()[source]

class owlapy.class_expression.OWLObjectHasValue(property: owlapy.owl_property.OWLObjectPropertyExpression, individual: owlapy.owl_individual.OWLIndividual)[source]

Bases: OWLHasValueRestriction[owlapy.owl_individual.OWLIndividual], OWLObjectRestriction

A has-value class expression ObjectHasValue( OPE a ) consists of an object property expression OPE and an individual a, and it contains all those individuals that are connected by OPE to a. Each such class expression can be seen as a syntactic shortcut for the class expression ObjectSomeValuesFrom( OPE ObjectOneOf( a ) ). (https://www.w3.org/TR/owl2-syntax/#Individual_Value_Restriction)

__slots__ = ('_property', '_v')

type_index: Final = 3007

get_property() → owlapy.owl_property.OWLObjectPropertyExpression[source]

Returns:: Property being restricted.

as_some_values_from() → owlapy.class_expression.class_expression.OWLClassExpression[source]

A convenience method that obtains this restriction as an existential restriction with a nominal filler.

Returns:: The existential equivalent of this value restriction. simp(HasValue(p a)) = some(p {a}).

__eq__(other)[source]

__repr__()[source]

__hash__()[source]

class owlapy.class_expression.OWLObjectMaxCardinality(cardinality: int, property: owlapy.owl_property.OWLObjectPropertyExpression, filler: owlapy.class_expression.class_expression.OWLClassExpression)[source]

Bases: OWLObjectCardinalityRestriction

A maximum cardinality expression ObjectMaxCardinality( n OPE CE ) consists of a nonnegative integer n, an object property expression OPE, and a class expression CE, and it contains all those individuals that are connected by OPE

to at most n different individuals that are instances of CE. (https://www.w3.org/TR/owl2-syntax/#Maximum_Cardinality)

__slots__ = ('_cardinality', '_filler', '_property')

type_index: Final = 3010

class owlapy.class_expression.OWLObjectMinCardinality(cardinality: int, property: owlapy.owl_property.OWLObjectPropertyExpression, filler: owlapy.class_expression.class_expression.OWLClassExpression)[source]

Bases: OWLObjectCardinalityRestriction

A minimum cardinality expression ObjectMinCardinality( n OPE CE ) consists of a nonnegative integer n, an object property expression OPE, and a class expression CE, and it contains all those individuals that are connected by OPE to at least n different individuals that are instances of CE. (https://www.w3.org/TR/owl2-syntax/#Minimum_Cardinality)

__slots__ = ('_cardinality', '_filler', '_property')

type_index: Final = 3008

class owlapy.class_expression.OWLObjectOneOf(values: owlapy.owl_individual.OWLIndividual | Iterable[owlapy.owl_individual.OWLIndividual])[source]

Bases: owlapy.class_expression.class_expression.OWLAnonymousClassExpression, owlapy.meta_classes.HasOperands[owlapy.owl_individual.OWLIndividual]

An enumeration of individuals ObjectOneOf( a1 … an ) contains exactly the individuals ai with 1 ≤ i ≤ n. (https://www.w3.org/TR/owl2-syntax/#Enumeration_of_Individuals)

__slots__ = '_values'

type_index: Final = 3004

individuals() → Iterable[owlapy.owl_individual.OWLIndividual][source]

Gets the individuals that are in the oneOf. These individuals represent the exact instances (extension) of this class expression.

Returns:: The individuals that are the values of this {@code ObjectOneOf} class expression.

operands() → Iterable[owlapy.owl_individual.OWLIndividual][source]

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

Returns:: The operands.

as_object_union_of() → owlapy.class_expression.class_expression.OWLClassExpression[source]

Simplifies this enumeration to a union of singleton nominals.

Returns:: This enumeration in a more standard DL form. simp({a}) = {a} simp({a0, … , {an}) = unionOf({a0}, … , {an})

__hash__()[source]

__eq__(other)[source]

__repr__()[source]

class owlapy.class_expression.OWLObjectRestriction[source]

Bases: OWLRestriction

Represents an Object Property Restriction in the OWL 2 specification.

__slots__ = ()

is_object_restriction() → bool[source]

Determines if this is an object restriction.

Returns:: True if this is an object restriction.

abstractmethod get_property() → owlapy.owl_property.OWLObjectPropertyExpression[source]

Returns:: Property being restricted.

class owlapy.class_expression.OWLObjectSomeValuesFrom(property: owlapy.owl_property.OWLObjectPropertyExpression, filler: owlapy.class_expression.class_expression.OWLClassExpression)[source]

Bases: OWLQuantifiedObjectRestriction

An existential class expression ObjectSomeValuesFrom( OPE CE ) consists of an object property expression OPE and a class expression CE, and it contains all those individuals that are connected by OPE to an individual that is an instance of CE.

__slots__ = ('_property', '_filler')

type_index: Final = 3005

__repr__()[source]

__eq__(other)[source]

__hash__()[source]

get_property() → owlapy.owl_property.OWLObjectPropertyExpression[source]

Returns:: Property being restricted.

class owlapy.class_expression.OWLQuantifiedDataRestriction(filler: owlapy.owl_data_ranges.OWLDataRange)[source]

Bases: OWLQuantifiedRestriction[owlapy.owl_data_ranges.OWLDataRange], OWLDataRestriction

Represents a quantified data restriction.

__slots__ = ()

get_filler() → owlapy.owl_data_ranges.OWLDataRange[source]

Gets the filler for this restriction. In the case of an object restriction this will be an individual, in the case of a data restriction this will be a constant (data value). For quantified restriction this will be a class expression or a data range.

Returns:: the value

class owlapy.class_expression.OWLQuantifiedObjectRestriction(filler: owlapy.class_expression.class_expression.OWLClassExpression)[source]

Bases: OWLQuantifiedRestriction[owlapy.class_expression.class_expression.OWLClassExpression], OWLObjectRestriction

Represents a quantified object restriction.

__slots__ = ()

get_filler() → owlapy.class_expression.class_expression.OWLClassExpression[source]

Gets the filler for this restriction. In the case of an object restriction this will be an individual, in the case of a data restriction this will be a constant (data value). For quantified restriction this will be a class expression or a data range.

Returns:: the value

class owlapy.class_expression.OWLQuantifiedRestriction[source]

Bases: Generic[_T], OWLRestriction, owlapy.meta_classes.HasFiller[_T]

Represents a quantified restriction.

Parameters:: _T – value type

__slots__ = ()

class owlapy.class_expression.OWLRestriction[source]

Bases: owlapy.class_expression.class_expression.OWLAnonymousClassExpression

Represents an Object Property Restriction or Data Property Restriction in the OWL 2 specification.

__slots__ = ()

abstractmethod get_property() → owlapy.owl_property.OWLPropertyExpression[source]

Returns:: Property being restricted.

is_data_restriction() → bool[source]

Determines if this is a data restriction.

Returns:: True if this is a data restriction.

is_object_restriction() → bool[source]

Determines if this is an object restriction.

Returns:: True if this is an object restriction.