@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 EntailedIntersectionInconsistencyEntailsDisjointClassesAxiomImpl( 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 EntailedIntersectionInconsistencyEntailsDisjointClassesAxiomImpl( 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 EntailedIntersectionInconsistencyEntailsDisjointClassesAxiomImpl( getQuery(), premises)); }
@Override protected Collection<? extends EntailmentInference> getEntailmentInference() { return Collections.singleton( new EntailedDisjointClassesEntailsDifferentIndividualsAxiomImpl( getQuery(), getPremises().get(0).getQuery())); }
@Override protected Collection<? extends EntailmentInference> getEntailmentInference() { return Collections.singleton( new EntailedDisjointClassesEntailsDifferentIndividualsAxiomImpl( getQuery(), getPremises().get(0).getQuery())); }
@Override protected Collection<? extends EntailmentInference> getEntailmentInference() { return Collections.singleton( new EntailedDisjointClassesEntailsDifferentIndividualsAxiomImpl( getQuery(), getPremises().get(0).getQuery())); }