"""OWL Datatype"""
from typing import Final, Union
from .iri import IRI
from .meta_classes import HasIRI
from .owl_data_ranges import OWLDataRange
from .owl_object import OWLEntity
[docs]
class OWLDatatype(OWLEntity, OWLDataRange):
"""Datatypes are entities that refer to sets of data values. Thus, datatypes are analogous to classes,
the main difference being that the former contain data values such as strings and numbers, rather than individuals.
Datatypes are a kind of data range, which allows them to be used in restrictions. Each data range is associated
with an arity; for datatypes, the arity is always one. The built-in datatype rdfs:Literal denotes any set of data
values that contains the union of the value spaces of all datatypes.
(https://www.w3.org/TR/owl2-syntax/#Datatypes)
"""
__slots__ = '_iri'
type_index: Final = 4001
_iri: IRI
def __init__(self, iri: Union[IRI, HasIRI, str]):
"""Gets an instance of OWLDatatype that has the specified IRI.
Args:
iri: The IRI.
"""
if isinstance(iri, HasIRI):
self._iri = iri.iri
elif isinstance(iri, IRI):
assert isinstance(iri, IRI)
self._iri = iri
elif isinstance(iri, str):
self._iri = IRI.create(iri)
else:
raise TypeError(f"Expected iri to be an instance of IRI, HasIRI, or str, got {type(iri).__name__} instead.")
@property
def iri(self) -> IRI:
return self._iri
@property
def str(self) -> str:
return self._iri.as_str()