DifferentIndividuals

class DifferentIndividuals(individuals, *, annotations=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

Parameters:
to_rdflib_node(graph, converter)[source]

Represent the individual inequality axiom for RDF.

Parameters:

  • graph (Graph)

  • converter (Converter)

Return type:

IdentifiedNode