@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(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; }
@Override public Void visit( final EntailedDisjointClassesEntailsDifferentIndividualsAxiom entailmentInference) { for (final DisjointClassesAxiomEntailment premise : entailmentInference .getPremises()) { for (final EntailmentInference inf : evidence_ .getInferences(premise)) { inf.accept(this); } } inferenceFactory_ .getElkDifferentIndividualsOfDisjointClasses(entailmentInference .getConclusion().getAxiom().getIndividuals()); return null; }
public IndexedSubClassOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkDifferentIndividualsAxiomBinaryConversion parent = getParent(); ElkDifferentIndividualsAxiom premise = parent.getOriginalAxiom(); List<? extends ElkIndividual> disjoint = premise.getIndividuals(); return factory.getIndexedSubClassOfAxiomMatch2( factory.getIndexedSubClassOfAxiomMatch1( parent.getConclusion(factory)), factory.getObjectIntersectionOf( factory.getObjectOneOf(disjoint .get(parent.getFirstIndividualPosition())), factory.getObjectOneOf(disjoint .get(parent.getSecondIndividualPosition()))), factory.getOwlNothing()); }