@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 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 Integer visit(ElkSameIndividualAxiom axiom) { return combinedHashCode(hashCode(ElkSameIndividualAxiom.class), hashCode(axiom.getIndividuals())); }
public IndexedSubClassOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkSameIndividualAxiomConversion parent = getParent(); ElkSameIndividualAxiom premise = parent.getOriginalAxiom(); List<? extends ElkIndividual> members = premise.getIndividuals(); return factory.getIndexedSubClassOfAxiomMatch2( factory.getIndexedSubClassOfAxiomMatch1( parent.getConclusion(factory)), factory.getObjectOneOf( members.get(parent.getSubIndividualPosition())), factory.getObjectOneOf( members.get(parent.getSuperIndividualPosition()))); }
public IndexedSubClassOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkSameIndividualAxiomConversion parent = getParent(); ElkSameIndividualAxiom premise = parent.getOriginalAxiom(); List<? extends ElkIndividual> members = premise.getIndividuals(); return factory.getIndexedSubClassOfAxiomMatch2( factory.getIndexedSubClassOfAxiomMatch1( parent.getConclusion(factory)), factory.getObjectOneOf( members.get(parent.getSubIndividualPosition())), factory.getObjectOneOf( members.get(parent.getSuperIndividualPosition()))); }
public IndexedSubClassOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkSameIndividualAxiomConversion parent = getParent(); ElkSameIndividualAxiom premise = parent.getOriginalAxiom(); List<? extends ElkIndividual> members = premise.getIndividuals(); return factory.getIndexedSubClassOfAxiomMatch2( factory.getIndexedSubClassOfAxiomMatch1( parent.getConclusion(factory)), factory.getObjectOneOf( members.get(parent.getSubIndividualPosition())), factory.getObjectOneOf( members.get(parent.getSuperIndividualPosition()))); }
@Override public Void visit( final EntailedEquivalentClassesEntailsSameIndividualAxiom entailmentInference) { for (final EquivalentClassesAxiomEntailment premise : entailmentInference .getPremises()) { for (final EntailmentInference inf : evidence_ .getInferences(premise)) { inf.accept(this); } } inferenceFactory_ .getElkSameIndividualOfEquivalentClasses(entailmentInference .getConclusion().getAxiom().getIndividuals()); return null; }