DisjointUnion

class DisjointUnion(parent, class_expressions, *, annotations=None)

Bases: ClassAxiom

A class axiom defined in 9.1.4 “Disjoint Union of Class Expressions”.

Initialize a disjoint union of class expressions axiom.

Methods Summary

to_rdflib_node(graph, converter)

Represent the disjoint union of class expressions axiom as RDF.

Methods Documentation

Parameters:

• parent (SimpleClassExpression)

• class_expressions (Sequence[ClassExpression | IdentifierBoxOrHint])

• annotations (list[Annotation])

to_rdflib_node(graph, converter)

Represent the disjoint union of class expressions axiom as RDF.

Parameters:

• graph (Graph)

• converter (Converter)

Return type:

IdentifiedNode