@Override public Void visit(final ElkDifferentIndividualsAxiom axiom) { final List<? extends ElkIndividual> individuals = axiom .getIndividuals(); final List<ElkClassExpression> nominals = new ArrayList<ElkClassExpression>( individuals.size()); for (final ElkIndividual individual : individuals) { nominals.add(elkFactory_.getObjectOneOf(individual)); } elkFactory_.getDisjointClassesAxiom(nominals).accept(this); inferenceFactory_.getElkDifferentIndividualsOfDisjointClasses( individuals); return null; }
@Override public Void visit(final ElkDifferentIndividualsAxiom axiom) { final List<? extends ElkIndividual> individuals = axiom .getIndividuals(); final List<ElkClassExpression> nominals = new ArrayList<ElkClassExpression>( individuals.size()); for (final ElkIndividual individual : individuals) { nominals.add(elkFactory_.getObjectOneOf(individual)); } elkFactory_.getDisjointClassesAxiom(nominals).accept(this); inferenceFactory_.getElkDifferentIndividualsOfDisjointClasses( individuals); return null; }
@Override public Void visit(final ElkDifferentIndividualsAxiom axiom) { final List<? extends ElkIndividual> individuals = axiom .getIndividuals(); final List<ElkClassExpression> nominals = new ArrayList<ElkClassExpression>( individuals.size()); for (final ElkIndividual individual : individuals) { nominals.add(elkFactory_.getObjectOneOf(individual)); } elkFactory_.getDisjointClassesAxiom(nominals).accept(this); inferenceFactory_.getElkDifferentIndividualsOfDisjointClasses( individuals); return null; }