owlapy.owl_data_ranges

OWL Data Ranges

https://www.w3.org/TR/owl2-syntax/#Data_Ranges

Classes

`OWLPropertyRange`	OWL Objects that can be the ranges of properties.
`OWLDataRange`	Represents a DataRange in the OWL 2 Specification.
`OWLNaryDataRange`	OWLNaryDataRange.
`OWLDataIntersectionOf`	An intersection data range DataIntersectionOf( DR1 ... DRn ) contains all tuples of literals that are contained
`OWLDataUnionOf`	A union data range DataUnionOf( DR1 ... DRn ) contains all tuples of literals that are contained in the at least
`OWLDataComplementOf`	A complement data range DataComplementOf( DR ) contains all tuples of literals that are not contained in the

Module Contents

class owlapy.owl_data_ranges.OWLPropertyRange[source]

Bases: owlapy.owl_object.OWLObject

OWL Objects that can be the ranges of properties.

class owlapy.owl_data_ranges.OWLDataRange[source]

Bases: OWLPropertyRange

Represents a DataRange in the OWL 2 Specification.

class owlapy.owl_data_ranges.OWLNaryDataRange(operands: Iterable[OWLDataRange])[source]

Bases: OWLDataRange, owlapy.meta_classes.HasOperands[OWLDataRange]

OWLNaryDataRange.

__slots__ = ()

operands() → Iterable[OWLDataRange][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.owl_data_ranges.OWLDataIntersectionOf(operands: Iterable[OWLDataRange])[source]

Bases: OWLNaryDataRange

An intersection data range DataIntersectionOf( DR1 … DRn ) contains all tuples of literals that are contained in each data range DRi for 1 ≤ i ≤ n. All data ranges DRi must be of the same arity, and the resulting data range is of that arity as well.

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

__slots__ = '_operands'

type_index: Final = 4004

class owlapy.owl_data_ranges.OWLDataUnionOf(operands: Iterable[OWLDataRange])[source]

Bases: OWLNaryDataRange

A union data range DataUnionOf( DR1 … DRn ) contains all tuples of literals that are contained in the at least one data range DRi for 1 ≤ i ≤ n. All data ranges DRi must be of the same arity, and the resulting data range is of that arity as well.

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

__slots__ = '_operands'

type_index: Final = 4005

class owlapy.owl_data_ranges.OWLDataComplementOf(data_range: OWLDataRange)[source]

Bases: OWLDataRange

A complement data range DataComplementOf( DR ) contains all tuples of literals that are not contained in the data range DR. The resulting data range has the arity equal to the arity of DR.

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

type_index: Final = 4002

get_data_range() → OWLDataRange[source]

Returns:: The wrapped data range.

__repr__()[source]

__eq__(other)[source]

__hash__()[source]