@Override public void visit(OWLDifferentIndividualsAxiom axiom) { for (Iterator<OWLIndividual> it = axiom.getIndividuals().iterator(); it.hasNext(); ) { write("\\{"); it.next().accept(this); write("\\}"); if (it.hasNext()) { writeSpace(); write(NOT_EQUIV); writeSpace(); } } }
@Override public void visit(OWLDifferentIndividualsAxiom axiom) { Set<OWLIndividual> inds = duplicateSet(axiom.getIndividuals()); obj = dataFactory.getOWLDifferentIndividualsAxiom(inds, duplicateAxiomAnnotations(axiom)); }
public void visit(OWLDifferentIndividualsAxiom axiom) { for (OWLIndividual ind : axiom.getIndividuals()) { ind.accept(this); } processAxiomAnnotations(axiom); }