@Override public ElkClassExpression get(int index) { switch (index) { case 0: return getElkSubClassOfAxiom(getPremises().get(0)) .getSubClassExpression(); default: return getElkSubClassOfAxiom( getPremises().get(index - 1)) .getSuperClassExpression(); } }
@Override public OWLObject visit(ElkSubClassOfAxiom axiom) { return owlFactory_.getOWLSubClassOfAxiom( convert(axiom.getSubClassExpression()), convert(axiom.getSuperClassExpression())); }
@Override public Void visit(ElkSubClassOfAxiom axiom) { axiomInferenceFactory_.getElkSubClassOfAxiomConversion(axiom, axiom.getSubClassExpression().accept(negativeConverter_), axiom.getSuperClassExpression().accept(positiveConverter_)); return null; }
@Override public OWLObject visit(ElkSubClassOfAxiom axiom) { return owlFactory_.getOWLSubClassOfAxiom( convert(axiom.getSubClassExpression()), convert(axiom.getSuperClassExpression())); }
@Override public Void visit(ElkSubClassOfAxiom axiom) { axiomInferenceFactory_.getElkSubClassOfAxiomConversion(axiom, axiom.getSubClassExpression().accept(negativeConverter_), axiom.getSuperClassExpression().accept(positiveConverter_)); return null; }
@Override public Integer visit(ElkSubClassOfAxiom axiom) { return combinedHashCode(hashCode(ElkSubClassOfAxiom.class), hashCode(axiom.getSubClassExpression()), hashCode(axiom.getSuperClassExpression())); }
@Override public Integer visit(ElkSubClassOfAxiom axiom) { return combinedHashCode(hashCode(ElkSubClassOfAxiom.class), hashCode(axiom.getSubClassExpression()), hashCode(axiom.getSuperClassExpression())); }
@Override public Integer visit(ElkSubClassOfAxiom axiom) { return combinedHashCode(hashCode(ElkSubClassOfAxiom.class), hashCode(axiom.getSubClassExpression()), hashCode(axiom.getSuperClassExpression())); }
@Override public SubClassOfEntailmentQuery visit(final ElkSubClassOfAxiom axiom) { final IndexedClassExpression subClass = axiom.getSubClassExpression() .accept(positiveConverter_); final IndexedClassExpression superClass = axiom .getSuperClassExpression().accept(negativeConverter_); return new SubClassOfEntailmentQuery( new SubClassOfAxiomEntailmentImpl(axiom), subClass, superClass); }
@Override public Void visit(ElkSubClassOfAxiom elkSubClassOfAxiom) { write("SubClassOf("); write(elkSubClassOfAxiom.getSubClassExpression()); write(' '); write(elkSubClassOfAxiom.getSuperClassExpression()); write(')'); return null; }
public IndexedSubClassOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkSubClassOfAxiomConversion parent = getParent(); ElkSubClassOfAxiom premise = parent.getOriginalAxiom(); return factory.getIndexedSubClassOfAxiomMatch2( factory.getIndexedSubClassOfAxiomMatch1( parent.getConclusion(factory)), premise.getSubClassExpression(), premise.getSuperClassExpression()); }
@Override public Void visit(final ElkSubClassOfAxiom elkSubClassOfAxiom) { write("(implies "); write(elkSubClassOfAxiom.getSubClassExpression()); write(' '); write(elkSubClassOfAxiom.getSuperClassExpression()); write(")\n"); return null; }
@Override public Void visit(final ElkSubClassOfAxiom elkSubClassOfAxiom) { write("(implies "); write(elkSubClassOfAxiom.getSubClassExpression()); write(' '); write(elkSubClassOfAxiom.getSuperClassExpression()); write(")\n"); return null; }
@Override public Void visit(ElkSubClassOfAxiom elkSubClassOfAxiom) { write("SubClassOf("); write(elkSubClassOfAxiom.getSubClassExpression()); write(' '); write(elkSubClassOfAxiom.getSuperClassExpression()); write(')'); return null; }
public IndexedSubClassOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkSubClassOfAxiomConversion parent = getParent(); ElkSubClassOfAxiom premise = parent.getOriginalAxiom(); return factory.getIndexedSubClassOfAxiomMatch2( factory.getIndexedSubClassOfAxiomMatch1( parent.getConclusion(factory)), premise.getSubClassExpression(), premise.getSuperClassExpression()); }
public IndexedSubClassOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkSubClassOfAxiomConversion parent = getParent(); ElkSubClassOfAxiom premise = parent.getOriginalAxiom(); return factory.getIndexedSubClassOfAxiomMatch2( factory.getIndexedSubClassOfAxiomMatch1( parent.getConclusion(factory)), premise.getSubClassExpression(), premise.getSuperClassExpression()); }
@Override public Void visit(ElkSubClassOfAxiom elkSubClassOfAxiom) { write("SubClassOf("); write(elkSubClassOfAxiom.getSubClassExpression()); write(' '); write(elkSubClassOfAxiom.getSuperClassExpression()); write(')'); return null; }
@Override public SubClassOfEntailmentQuery visit(final ElkSubClassOfAxiom axiom) { final IndexedClassExpression subClass = axiom.getSubClassExpression() .accept(positiveConverter_); final IndexedClassExpression superClass = axiom .getSuperClassExpression().accept(negativeConverter_); return new SubClassOfEntailmentQuery( new SubClassOfAxiomEntailmentImpl(axiom), subClass, superClass); }
@Override public Void visit(final ElkSubClassOfAxiom elkSubClassOfAxiom) { write("(implies "); write(elkSubClassOfAxiom.getSubClassExpression()); write(' '); write(elkSubClassOfAxiom.getSuperClassExpression()); write(")\n"); return null; }
@Override public Void visit(ElkSubClassOfAxiom elkSubClassOfAxiom) { write("SubClassOf("); write(elkSubClassOfAxiom.getSubClassExpression()); write(' '); write(elkSubClassOfAxiom.getSuperClassExpression()); write(')'); return null; }