@Override protected Collection<? extends EntailmentInference> getEntailmentInference() { final List<SubClassOfAxiomEntailment> premises = new ArrayList<SubClassOfAxiomEntailment>(); for (final SubClassOfEntailmentQuery subsumption : getPremises()) { premises.add(subsumption.getQuery()); } return Collections.singleton( new EntailedClassInclusionCycleEntailsEquivalentClassesAxiomImpl( getQuery(), premises)); }
@Override protected Collection<? extends EntailmentInference> getEntailmentInference() { final List<SubClassOfAxiomEntailment> premises = new ArrayList<SubClassOfAxiomEntailment>(); for (final SubClassOfEntailmentQuery subsumption : getPremises()) { premises.add(subsumption.getQuery()); } return Collections.singleton( new EntailedClassInclusionCycleEntailsEquivalentClassesAxiomImpl( getQuery(), premises)); }
@Override protected Collection<? extends EntailmentInference> getEntailmentInference() { final List<SubClassOfAxiomEntailment> premises = new ArrayList<SubClassOfAxiomEntailment>(); for (final SubClassOfEntailmentQuery subsumption : getPremises()) { premises.add(subsumption.getQuery()); } return Collections.singleton( new EntailedClassInclusionCycleEntailsEquivalentClassesAxiomImpl( getQuery(), premises)); }
@Override protected Collection<? extends EntailmentInference> getEntailmentInference() { return Collections.singleton( new EntailedEquivalentClassesEntailsSameIndividualAxiomImpl( getQuery(), getPremises().get(0).getQuery())); }
@Override protected Collection<? extends EntailmentInference> getEntailmentInference() { return Collections.singleton( new EntailedEquivalentClassesEntailsSameIndividualAxiomImpl( getQuery(), getPremises().get(0).getQuery())); }
@Override protected Collection<? extends EntailmentInference> getEntailmentInference() { return Collections.singleton( new EntailedEquivalentClassesEntailsSameIndividualAxiomImpl( getQuery(), getPremises().get(0).getQuery())); }