OWLDifferentIndividuals with two operands should render with one triple

[ignazio1977]

OWLNamedIndividual op1 = factory.getOWLNamedIndividual(baseIRI + A);
OWLNamedIndividual op2 = factory.getOWLNamedIndividual(baseIRI + B);
ont.add(factory.getOWLDifferentIndividualsAxiom(op1, op2));

Should be rendered as

test:A owl:differentFrom test:B

However current implementations always render DifferentIndividualsAxiom using the format for more than two operands.

[ignazio1977]

from https://stackoverflow.com/questions/70443271/how-to-produce-triple-with-differentfrom-vocab-in-owlapi