@Override protected Collection<? extends EntailmentInference> getEntailmentInference() { return Collections.singleton( new EntailedDisjointClassesEntailsDifferentIndividualsAxiomImpl( getQuery(), getPremises().get(0).getQuery())); }
@Override public DifferentIndividualsEntailmentQuery 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)); } final DisjointClassesEntailmentQuery disjointness = visit( elkFactory_.getDisjointClassesAxiom(nominals)); return new DifferentIndividualsEntailmentQuery( new DifferentIndividualsAxiomEntailmentImpl(axiom), disjointness); }
@Override public DifferentIndividualsEntailmentQuery 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)); } final DisjointClassesEntailmentQuery disjointness = visit( elkFactory_.getDisjointClassesAxiom(nominals)); return new DifferentIndividualsEntailmentQuery( new DifferentIndividualsAxiomEntailmentImpl(axiom), disjointness); }
@Override protected Collection<? extends EntailmentInference> getEntailmentInference() { return Collections.singleton( new EntailedDisjointClassesEntailsDifferentIndividualsAxiomImpl( getQuery(), getPremises().get(0).getQuery())); }
@Override public DifferentIndividualsEntailmentQuery 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)); } final DisjointClassesEntailmentQuery disjointness = visit( elkFactory_.getDisjointClassesAxiom(nominals)); return new DifferentIndividualsEntailmentQuery( new DifferentIndividualsAxiomEntailmentImpl(axiom), disjointness); }
@Override protected Collection<? extends EntailmentInference> getEntailmentInference() { return Collections.singleton( new EntailedDisjointClassesEntailsDifferentIndividualsAxiomImpl( getQuery(), getPremises().get(0).getQuery())); }