pyhornedowl.model.ObjectExactCardinality

class pyhornedowl.model.ObjectExactCardinality(n: int, ope: ObjectPropertyExpression, bce: ClassExpression)

An exact cardinality relationship between individuals

Given an object property o and a class ce, this describes the class of individuals which have the o relationship to exactly n other individuals.

Parameters:

• n (int)

• ope (ObjectPropertyExpression)

• bce (ClassExpression)

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.