pyhornedowl.model.ObjectPropertyDomain

class pyhornedowl.model.ObjectPropertyDomain(ope: ObjectPropertyExpression, ce: ClassExpression)

The domain of the object property.

This states that if an individual i has an relationship, ope to any other individual, then the individual i is an instances of ce

See also: Domain

Parameters:

• ope (ObjectPropertyExpression)

• ce (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.