search

owlcs / owlapi

OWL API main repository
822 stars 315 forks source link

OWLDifferentIndividuals with two operands should render with one triple #1031

Closed ignazio1977 closed 2 years ago

ignazio1977 commented 2 years ago 
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 commented 2 years ago

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