pyhornedowl.model.DataAllValuesFrom

class pyhornedowl.model.DataAllValuesFrom(dp: DataProperty, dr: DataRange)

A universal relationship.

This is the anonymous class of individuals i which if they have a relationship dp to some data, then that must be of type dr.

See also Universal Quantification

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.