@Override public void visit(OWLDifferentIndividualsAxiom axiom) { v(axiom.operands()); }
@Override public void visit(OWLDifferentIndividualsAxiom axiom) { v(axiom.operands()); }
@Override public void visit(OWLDifferentIndividualsAxiom axiom) { v(axiom.operands()); }
@Override public void visit(OWLDifferentIndividualsAxiom axiom) { v(axiom.operands()); }