pyhornedowl.model.SubObjectPropertyOf

class pyhornedowl.model.SubObjectPropertyOf(sub: SubObjectPropertyExpression, sup: ObjectPropertyExpression)

A sub property relationship between two object properties.

The existence of the sub property relationship between two individuals also implies the super property relationship also. The super property can also be a property chain. So, if s is a super property of r then a r b implies a s b.

See also: Property Hierarchies Property Chains

Parameters:
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.