@Override public ElkEquivalentClassesAxiom visit(ElkEquivalentClassesAxiom axiom) { if (object_ == axiom) return axiom; if (object_ instanceof ElkEquivalentClassesAxiom) { ElkEquivalentClassesAxiom result = (ElkEquivalentClassesAxiom) object_; if (equals(result.getClassExpressions(), axiom.getClassExpressions())) return result; } return null; }
@Override public Void visit(final ElkSameIndividualAxiom 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)); } elkFactory_.getEquivalentClassesAxiom(nominals).accept(this); inferenceFactory_ .getElkSameIndividualOfEquivalentClasses(individuals); return null; }
@Override public ElkEquivalentClassesAxiom visit(ElkEquivalentClassesAxiom axiom) { if (object_ == axiom) return axiom; if (object_ instanceof ElkEquivalentClassesAxiom) { ElkEquivalentClassesAxiom result = (ElkEquivalentClassesAxiom) object_; if (equals(result.getClassExpressions(), axiom.getClassExpressions())) return result; } return null; }
@Override public Void visit(final ElkSameIndividualAxiom 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)); } elkFactory_.getEquivalentClassesAxiom(nominals).accept(this); inferenceFactory_ .getElkSameIndividualOfEquivalentClasses(individuals); return null; }
@Override public ElkEquivalentClassesAxiom visit(ElkEquivalentClassesAxiom axiom) { if (object_ == axiom) return axiom; if (object_ instanceof ElkEquivalentClassesAxiom) { ElkEquivalentClassesAxiom result = (ElkEquivalentClassesAxiom) object_; if (equals(result.getClassExpressions(), axiom.getClassExpressions())) return result; } return null; }
@Override public Void visit(final ElkSameIndividualAxiom 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)); } elkFactory_.getEquivalentClassesAxiom(nominals).accept(this); inferenceFactory_ .getElkSameIndividualOfEquivalentClasses(individuals); return null; }
@Override public OWLEquivalentClassesAxiom visit(ElkEquivalentClassesAxiom axiom) { return owlFactory_.getOWLEquivalentClassesAxiom( toClassExpressionSet(axiom.getClassExpressions())); }
@Override public OWLEquivalentClassesAxiom visit(ElkEquivalentClassesAxiom axiom) { return owlFactory_.getOWLEquivalentClassesAxiom( toClassExpressionSet(axiom.getClassExpressions())); }
@Override public OWLEquivalentClassesAxiom visit(ElkEquivalentClassesAxiom axiom) { return owlFactory_.getOWLEquivalentClassesAxiom( toClassExpressionSet(axiom.getClassExpressions())); }
@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); }
@Override public Void visit(ElkEquivalentClassesAxiom elkEquivalentClassesAxiom) { write("EquivalentClasses("); write(elkEquivalentClassesAxiom.getClassExpressions()); write(')'); return null; }
@Override public Integer visit(ElkEquivalentClassesAxiom axiom) { return combinedHashCode(hashCode(ElkEquivalentClassesAxiom.class), hashCode(axiom.getClassExpressions())); }
@Override public Void visit( final ElkEquivalentClassesAxiom elkEquivalentClassesAxiom) { write("(equivalent "); write(elkEquivalentClassesAxiom.getClassExpressions()); write(")\n"); return null; }
@Override public Integer visit(ElkEquivalentClassesAxiom axiom) { return combinedHashCode(hashCode(ElkEquivalentClassesAxiom.class), hashCode(axiom.getClassExpressions())); }
@Override public Integer visit(ElkEquivalentClassesAxiom axiom) { return combinedHashCode(hashCode(ElkEquivalentClassesAxiom.class), hashCode(axiom.getClassExpressions())); }
@Override public Void visit( final ElkEquivalentClassesAxiom elkEquivalentClassesAxiom) { write("(equivalent "); write(elkEquivalentClassesAxiom.getClassExpressions()); write(")\n"); return null; }
@Override public Void visit(ElkEquivalentClassesAxiom elkEquivalentClassesAxiom) { write("EquivalentClasses("); write(elkEquivalentClassesAxiom.getClassExpressions()); write(')'); return null; }
@Override public Void visit( final ElkEquivalentClassesAxiom elkEquivalentClassesAxiom) { write("(equivalent "); write(elkEquivalentClassesAxiom.getClassExpressions()); write(")\n"); return null; }