@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 public EquivalentClassesEntailmentQuery visit( final ElkEquivalentClassesAxiom axiom) { final List<? extends ElkClassExpression> elkClassExpressions = axiom .getClassExpressions(); final List<SubClassOfEntailmentQuery> subsumptionCycle = new ArrayList<SubClassOfEntailmentQuery>( elkClassExpressions.size()); ElkClassExpression elkSubclass = elkClassExpressions .get(elkClassExpressions.size() - 1); for (int i = 0; i < elkClassExpressions.size(); i++) { final ElkClassExpression elkSuperclass = elkClassExpressions.get(i); final SubClassOfEntailmentQuery subsumption = visit( elkFactory_.getSubClassOfAxiom(elkSubclass, elkSuperclass)); subsumptionCycle.add(subsumption); elkSubclass = elkSuperclass; } return new EquivalentClassesEntailmentQuery( new EquivalentClassesAxiomEntailmentImpl(axiom), subsumptionCycle); }
@Override protected Collection<? extends EntailmentInference> getEntailmentInference() { return Collections.singleton( new EntailedEquivalentClassesEntailsSameIndividualAxiomImpl( getQuery(), getPremises().get(0).getQuery())); }
@Override public EquivalentClassesEntailmentQuery visit( final ElkEquivalentClassesAxiom axiom) { final List<? extends ElkClassExpression> elkClassExpressions = axiom .getClassExpressions(); final List<SubClassOfEntailmentQuery> subsumptionCycle = new ArrayList<SubClassOfEntailmentQuery>( elkClassExpressions.size()); ElkClassExpression elkSubclass = elkClassExpressions .get(elkClassExpressions.size() - 1); for (int i = 0; i < elkClassExpressions.size(); i++) { final ElkClassExpression elkSuperclass = elkClassExpressions.get(i); final SubClassOfEntailmentQuery subsumption = visit( elkFactory_.getSubClassOfAxiom(elkSubclass, elkSuperclass)); subsumptionCycle.add(subsumption); elkSubclass = elkSuperclass; } return new EquivalentClassesEntailmentQuery( new EquivalentClassesAxiomEntailmentImpl(axiom), subsumptionCycle); }
@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 public EquivalentClassesEntailmentQuery visit( final ElkEquivalentClassesAxiom axiom) { final List<? extends ElkClassExpression> elkClassExpressions = axiom .getClassExpressions(); final List<SubClassOfEntailmentQuery> subsumptionCycle = new ArrayList<SubClassOfEntailmentQuery>( elkClassExpressions.size()); ElkClassExpression elkSubclass = elkClassExpressions .get(elkClassExpressions.size() - 1); for (int i = 0; i < elkClassExpressions.size(); i++) { final ElkClassExpression elkSuperclass = elkClassExpressions.get(i); final SubClassOfEntailmentQuery subsumption = visit( elkFactory_.getSubClassOfAxiom(elkSubclass, elkSuperclass)); subsumptionCycle.add(subsumption); elkSubclass = elkSuperclass; } return new EquivalentClassesEntailmentQuery( new EquivalentClassesAxiomEntailmentImpl(axiom), subsumptionCycle); }
@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)); }