SameIndividual

class SameIndividual(individuals: Sequence[URIRef | Reference | Referenced | str | IdentifierBox], *, annotations: list[Annotation] | None = None)[source]

Bases: _IndividualListAssertion

An axiom for 9.6.1 “Individual Equality”.

Instantiate an individual list axiom.

Methods Summary

to_rdflib_node(graph, converter)

Represent the individual equality axiom for RDF.

Methods Documentation

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

Represent the individual equality axiom for RDF.