@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) {
type = AXIOM_TYPE_INDEX_BASE + axiom.getAxiomType().getIndex();
}
public void visit(OWLDifferentIndividualsAxiom axiom) {
for (OWLIndividual ind : axiom.getIndividuals()) {
ind.accept(this);
}
processAxiomAnnotations(axiom);
}
