pyhornedowl.model.HasKey

class pyhornedowl.model.HasKey(ce: ClassExpression, vpe: List[PropertyExpression])

A key

An individual i which is of type ce can be uniquely identified by pe. Keys can only be applied to individuals which are explicitly named in the ontology, not those that are inferred.

See also: Keys

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.