pyhornedowl.model.ClassAssertion

class pyhornedowl.model.ClassAssertion(ce: ClassExpression, i: Individual)

A class assertion expression.

States that i is in class ce.

See also: Class Assertions

Parameters:

• ce (ClassExpression)

• i (Individual)

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.