@Override public ElkSameIndividualAxiom visit(ElkSameIndividualAxiom axiom) { if (object_ == axiom) return axiom; if (object_ instanceof ElkSameIndividualAxiom) { ElkSameIndividualAxiom result = (ElkSameIndividualAxiom) object_; if (equals(result.getIndividuals(), axiom.getIndividuals())) return result; } return null; }
@Override public ElkSameIndividualAxiom visit(ElkSameIndividualAxiom axiom) { if (object_ == axiom) return axiom; if (object_ instanceof ElkSameIndividualAxiom) { ElkSameIndividualAxiom result = (ElkSameIndividualAxiom) object_; if (equals(result.getIndividuals(), axiom.getIndividuals())) return result; } return null; }
@Override public ElkSameIndividualAxiom visit(ElkSameIndividualAxiom axiom) { if (object_ == axiom) return axiom; if (object_ instanceof ElkSameIndividualAxiom) { ElkSameIndividualAxiom result = (ElkSameIndividualAxiom) object_; if (equals(result.getIndividuals(), axiom.getIndividuals())) return result; } return null; }
@Override public OWLSameIndividualAxiom visit(ElkSameIndividualAxiom axiom) { return owlFactory_.getOWLSameIndividualAxiom( toIndividualSet(axiom.getIndividuals())); }
@Override public OWLSameIndividualAxiom visit(ElkSameIndividualAxiom axiom) { return owlFactory_.getOWLSameIndividualAxiom( toIndividualSet(axiom.getIndividuals())); }
@Override public OWLSameIndividualAxiom visit(ElkSameIndividualAxiom axiom) { return owlFactory_.getOWLSameIndividualAxiom( toIndividualSet(axiom.getIndividuals())); }
@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 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 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 Void visit(ElkSameIndividualAxiom elkSameIndividualAxiom) { write("SameIndividual("); write(elkSameIndividualAxiom.getIndividuals()); write(')'); return null; }
@Override public Void visit(ElkSameIndividualAxiom axiom) { // reduces equivalence to sub-class axioms ModifiableIndexedIndividual first = null; List<? extends ElkIndividual> members = axiom.getIndividuals(); for (int pos = 0; pos < members.size(); pos++) { ElkIndividual ind = members.get(pos); if (first == null) { first = ind.accept(dualConverter_); } else { ModifiableIndexedIndividual other = ind.accept(dualConverter_); axiomInferenceFactory_.getElkSameIndividualAxiomConversion( axiom, 0, pos, first, other); axiomInferenceFactory_.getElkSameIndividualAxiomConversion( axiom, pos, 0, other, first); } } return null; }
@Override public Void visit(ElkSameIndividualAxiom axiom) { // reduces equivalence to sub-class axioms ModifiableIndexedIndividual first = null; List<? extends ElkIndividual> members = axiom.getIndividuals(); for (int pos = 0; pos < members.size(); pos++) { ElkIndividual ind = members.get(pos); if (first == null) { first = ind.accept(dualConverter_); } else { ModifiableIndexedIndividual other = ind.accept(dualConverter_); axiomInferenceFactory_.getElkSameIndividualAxiomConversion( axiom, 0, pos, first, other); axiomInferenceFactory_.getElkSameIndividualAxiomConversion( axiom, pos, 0, other, first); } } return null; }
@Override public Integer visit(ElkSameIndividualAxiom axiom) { return combinedHashCode(hashCode(ElkSameIndividualAxiom.class), hashCode(axiom.getIndividuals())); }
@Override public Void visit(ElkSameIndividualAxiom elkSameIndividualAxiom) { write("SameIndividual("); write(elkSameIndividualAxiom.getIndividuals()); write(')'); return null; }
@Override public Void visit(ElkSameIndividualAxiom elkSameIndividualAxiom) { write("SameIndividual("); write(elkSameIndividualAxiom.getIndividuals()); write(')'); return null; }
@Override public Integer visit(ElkSameIndividualAxiom axiom) { return combinedHashCode(hashCode(ElkSameIndividualAxiom.class), hashCode(axiom.getIndividuals())); }
@Override public Void visit(ElkSameIndividualAxiom elkSameIndividualAxiom) { write("SameIndividual("); write(elkSameIndividualAxiom.getIndividuals()); write(')'); return null; }
@Override public Void visit( final ElkSameIndividualAxiom elkSameIndividualAxiom) { final Map<ElkIri, ElkNamedIndividual> individuals = new HashMap<ElkIri, ElkNamedIndividual>(); for (final ElkIndividual i : elkSameIndividualAxiom .getIndividuals()) { if (i instanceof ElkNamedIndividual) { final ElkNamedIndividual ni = (ElkNamedIndividual) i; individuals.put(ni.getIri(), ni); } } for (final ElkIndividual i : elkSameIndividualAxiom .getIndividuals()) { same.put(i, individuals); } return null; }
@Override public Integer visit(ElkSameIndividualAxiom axiom) { return combinedHashCode(hashCode(ElkSameIndividualAxiom.class), hashCode(axiom.getIndividuals())); }
@Override public Void visit(ElkSameIndividualAxiom axiom) { // reduces equivalence to sub-class axioms ModifiableIndexedIndividual first = null; List<? extends ElkIndividual> members = axiom.getIndividuals(); for (int pos = 0; pos < members.size(); pos++) { ElkIndividual ind = members.get(pos); if (first == null) { first = ind.accept(dualConverter_); } else { ModifiableIndexedIndividual other = ind.accept(dualConverter_); axiomInferenceFactory_.getElkSameIndividualAxiomConversion( axiom, 0, pos, first, other); axiomInferenceFactory_.getElkSameIndividualAxiomConversion( axiom, pos, 0, other, first); } } return null; }