pyhornedowl.model.DataExactCardinality

class pyhornedowl.model.DataExactCardinality(n: int, dp: DataProperty, dr: DataRange)

An exact cardinality restriction

The class of individuals have exactly n relationships of the kind dp to a given data range dr.

See also Exactly Cardinality

Parameters:

• n (int)

• dp (DataProperty)

• dr (DataRange)

serialize(self, serialization: Literal['ofn', 'omn'] = 'ofn', prefix_mapping: PrefixMapping = None)

Renders this element on its own, in OWL functional ("ofn", the default) or OWL 2 Manchester ("omn") syntax. The per-element counterpart to PyIndexedOntology.save_to_string.