DifferentIndividuals

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

Bases: _IndividualListAssertion

An axiom for 9.6.2 “Individual Inequality”.

Instantiate an individual list axiom.

Methods Summary

to_rdflib_node(graph, converter)

Represent the individual inequality axiom for RDF.

Methods Documentation

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

Represent the individual inequality axiom for RDF.