pyhornedowl.model.ObjectAllValuesFrom

class pyhornedowl.model.ObjectAllValuesFrom(ope: ObjectPropertyExpression, bce: ClassExpression)

A universal relationship

This is the anonymous class of individuals i where all individuals which are related by o are instances of ce. This does not imply that the i necessarily has any relation r.

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.