owlapy.providers

OWL Datatype restriction constructors.

Attributes

Restriction_Literals

Functions

owl_datatype_max_exclusive_restriction(...)	Create a max exclusive restriction.
owl_datatype_min_exclusive_restriction(...)	Create a min exclusive restriction.
owl_datatype_max_inclusive_restriction(...)	Create a max inclusive restriction.
owl_datatype_min_inclusive_restriction(...)	Create a min inclusive restriction.
owl_datatype_min_max_exclusive_restriction(...)	Create a min-max exclusive restriction.
owl_datatype_min_max_inclusive_restriction(...)	Create a min-max inclusive restriction.

Module Contents

owlapy.providers.Restriction_Literals

owlapy.providers.owl_datatype_max_exclusive_restriction(max_: Restriction_Literals) → owlapy.class_expression.OWLDatatypeRestriction

Create a max exclusive restriction.

owlapy.providers.owl_datatype_min_exclusive_restriction(min_: Restriction_Literals) → owlapy.class_expression.OWLDatatypeRestriction

Create a min exclusive restriction.

owlapy.providers.owl_datatype_max_inclusive_restriction(max_: Restriction_Literals) → owlapy.class_expression.OWLDatatypeRestriction

Create a max inclusive restriction.

owlapy.providers.owl_datatype_min_inclusive_restriction(min_: Restriction_Literals) → owlapy.class_expression.OWLDatatypeRestriction

Create a min inclusive restriction.

owlapy.providers.owl_datatype_min_max_exclusive_restriction(min_: Restriction_Literals, max_: Restriction_Literals) → owlapy.class_expression.OWLDatatypeRestriction

Create a min-max exclusive restriction.

owlapy.providers.owl_datatype_min_max_inclusive_restriction(min_: Restriction_Literals, max_: Restriction_Literals) → owlapy.class_expression.OWLDatatypeRestriction

Create a min-max inclusive restriction.