@Override public ElkDifferentIndividualsAxiom visit( ElkDifferentIndividualsAxiom axiom) { if (object_ == axiom) return axiom; if (object_ instanceof ElkDifferentIndividualsAxiom) { ElkDifferentIndividualsAxiom result = (ElkDifferentIndividualsAxiom) object_; if (equals(result.getIndividuals(), axiom.getIndividuals())) return result; } return null; }
@Override public ElkDifferentIndividualsAxiom visit( ElkDifferentIndividualsAxiom axiom) { if (object_ == axiom) return axiom; if (object_ instanceof ElkDifferentIndividualsAxiom) { ElkDifferentIndividualsAxiom result = (ElkDifferentIndividualsAxiom) object_; if (equals(result.getIndividuals(), axiom.getIndividuals())) return result; } return null; }
@Override public ElkDifferentIndividualsAxiom visit( ElkDifferentIndividualsAxiom axiom) { if (object_ == axiom) return axiom; if (object_ instanceof ElkDifferentIndividualsAxiom) { ElkDifferentIndividualsAxiom result = (ElkDifferentIndividualsAxiom) object_; if (equals(result.getIndividuals(), axiom.getIndividuals())) return result; } return null; }
@Override public Void visit(ElkDifferentIndividualsAxiom axiom) { indexDisjointMembers(elkDifferentIndividualsAxiomDisjointnessIndexer, axiom, axiom.getIndividuals()); return null; }
@Override public Void visit(ElkDifferentIndividualsAxiom axiom) { indexDisjointMembers(elkDifferentIndividualsAxiomDisjointnessIndexer, axiom, axiom.getIndividuals()); return null; }
@Override public Void visit(ElkDifferentIndividualsAxiom axiom) { indexDisjointMembers(elkDifferentIndividualsAxiomDisjointnessIndexer, axiom, axiom.getIndividuals()); return null; }
@Override public OWLDifferentIndividualsAxiom visit( ElkDifferentIndividualsAxiom axiom) { return owlFactory_.getOWLDifferentIndividualsAxiom( toIndividualSet(axiom.getIndividuals())); }
@Override public OWLDifferentIndividualsAxiom visit( ElkDifferentIndividualsAxiom axiom) { return owlFactory_.getOWLDifferentIndividualsAxiom( toIndividualSet(axiom.getIndividuals())); }
@Override public OWLDifferentIndividualsAxiom visit( ElkDifferentIndividualsAxiom axiom) { return owlFactory_.getOWLDifferentIndividualsAxiom( toIndividualSet(axiom.getIndividuals())); }
@Override public Void visit(final ElkDifferentIndividualsAxiom 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_.getDisjointClassesAxiom(nominals).accept(this); inferenceFactory_.getElkDifferentIndividualsOfDisjointClasses( individuals); return null; }
@Override public Void visit(final ElkDifferentIndividualsAxiom 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_.getDisjointClassesAxiom(nominals).accept(this); inferenceFactory_.getElkDifferentIndividualsOfDisjointClasses( individuals); return null; }
@Override public Void visit(final ElkDifferentIndividualsAxiom 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_.getDisjointClassesAxiom(nominals).accept(this); inferenceFactory_.getElkDifferentIndividualsOfDisjointClasses( individuals); return null; }
@Override public Void visit(ElkDifferentIndividualsAxiom elkDifferentIndividualsAxiom) { write("DifferentIndividuals("); write(elkDifferentIndividualsAxiom.getIndividuals()); write(')'); return null; }
@Override public Void visit(ElkDifferentIndividualsAxiom elkDifferentIndividualsAxiom) { write("DifferentIndividuals("); write(elkDifferentIndividualsAxiom.getIndividuals()); write(')'); return null; }
@Override public Integer visit(ElkDifferentIndividualsAxiom axiom) { return combinedHashCode(hashCode(ElkDifferentIndividualsAxiom.class), hashCode(axiom.getIndividuals())); }
@Override public Integer visit(ElkDifferentIndividualsAxiom axiom) { return combinedHashCode(hashCode(ElkDifferentIndividualsAxiom.class), hashCode(axiom.getIndividuals())); }
@Override public Void visit(ElkDifferentIndividualsAxiom elkDifferentIndividualsAxiom) { write("DifferentIndividuals("); write(elkDifferentIndividualsAxiom.getIndividuals()); write(')'); return null; }
@Override public Integer visit(ElkDifferentIndividualsAxiom axiom) { return combinedHashCode(hashCode(ElkDifferentIndividualsAxiom.class), hashCode(axiom.getIndividuals())); }
@Override public Void visit(ElkDifferentIndividualsAxiom elkDifferentIndividualsAxiom) { write("DifferentIndividuals("); write(elkDifferentIndividualsAxiom.getIndividuals()); write(')'); return null; }
public IndexedDisjointClassesAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkDifferentIndividualsAxiomNaryConversion parent = getParent(); ElkDifferentIndividualsAxiom premise = parent.getOriginalAxiom(); List<? extends ElkIndividual> different = premise.getIndividuals(); int size = different.size(); List<ElkClassExpression> disjoint = new ArrayList<ElkClassExpression>( size); for (int i = 0; i < size; i++) { disjoint.set(i, factory.getObjectOneOf(different.get(i))); } return factory.getIndexedDisjointClassesAxiomMatch2( factory.getIndexedDisjointClassesAxiomMatch1( parent.getConclusion(factory)), disjoint); }