pyhornedowl.model.InverseFunctionalObjectProperty

class pyhornedowl.model.InverseFunctionalObjectProperty(first: ObjectPropertyExpression)

The inverse functional characteristic

This states that for each individual i, there can be at most one individual j connected to i via this object property expression.

See also: Inverse Functional

Parameters:

first (ObjectPropertyExpression)

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.