@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 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 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); }