DisjointUnion

class DisjointUnion(parent: URIRef | Reference | Referenced | str | IdentifierBox, class_expressions: Sequence[ClassExpression | URIRef | Reference | Referenced | str | IdentifierBox], *, annotations: list[Annotation] | None = None)[source]

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

to_rdflib_node(graph: Graph, converter: Converter) → IdentifiedNode[source]

Represent the disjoint union of class expressions axiom as RDF.