pyhornedowl.model.DisjointUnion

class pyhornedowl.model.DisjointUnion(first: Class, second: List[ClassExpression])

A disjoint union expression between one ClassExpression and a set of others.

See also: :code:`Disjoint Unison <https://www.w3.org/TR/owl2-syntax/#Disjoint_Union_of_Class_Expressions>`_

Parameters:

• first (Class)

• second (List[ClassExpression])

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.