@Override public ElkObjectPropertyExpression get(int index) { return getElkSubClassOfAxiom( getPremises().get(index - 1)) .getSuperObjectPropertyExpression(); }
OWLSubObjectPropertyOfAxiom defaultVisit( ElkObjectPropertyExpression subExpression) { return owlFactory_.getOWLSubObjectPropertyOfAxiom( convert(subExpression), convert(axiom .getSuperObjectPropertyExpression())); }
OWLSubObjectPropertyOfAxiom defaultVisit( ElkObjectPropertyExpression subExpression) { return owlFactory_.getOWLSubObjectPropertyOfAxiom( convert(subExpression), convert(axiom .getSuperObjectPropertyExpression())); }
OWLSubObjectPropertyOfAxiom defaultVisit( ElkObjectPropertyExpression subExpression) { return owlFactory_.getOWLSubObjectPropertyOfAxiom( convert(subExpression), convert(axiom .getSuperObjectPropertyExpression())); }
@Override public OWLSubPropertyChainOfAxiom visit( ElkObjectPropertyChain subExpression) { return owlFactory_.getOWLSubPropertyChainOfAxiom( toPropertyExpressionList(subExpression .getObjectPropertyExpressions()), convert(axiom .getSuperObjectPropertyExpression())); }
@Override public Void visit(ElkSubObjectPropertyOfAxiom axiom) { axiomInferenceFactory_.getElkSubObjectPropertyOfAxiomConversion(axiom, axiom.getSubObjectPropertyExpression().accept(this), axiom.getSuperObjectPropertyExpression() .accept(positiveConverter_)); return null; }
@Override public OWLSubPropertyChainOfAxiom visit( ElkObjectPropertyChain subExpression) { return owlFactory_.getOWLSubPropertyChainOfAxiom( toPropertyExpressionList(subExpression .getObjectPropertyExpressions()), convert(axiom .getSuperObjectPropertyExpression())); }
@Override public OWLSubPropertyChainOfAxiom visit( ElkObjectPropertyChain subExpression) { return owlFactory_.getOWLSubPropertyChainOfAxiom( toPropertyExpressionList(subExpression .getObjectPropertyExpressions()), convert(axiom .getSuperObjectPropertyExpression())); }
@Override public Void visit(ElkSubObjectPropertyOfAxiom axiom) { axiomInferenceFactory_.getElkSubObjectPropertyOfAxiomConversion(axiom, axiom.getSubObjectPropertyExpression().accept(this), axiom.getSuperObjectPropertyExpression() .accept(positiveConverter_)); return null; }
@Override public Void visit(ElkSubObjectPropertyOfAxiom axiom) { axiomInferenceFactory_.getElkSubObjectPropertyOfAxiomConversion(axiom, axiom.getSubObjectPropertyExpression().accept(this), axiom.getSuperObjectPropertyExpression() .accept(positiveConverter_)); return null; }
@Override public Integer visit(ElkSubObjectPropertyOfAxiom axiom) { return combinedHashCode(hashCode(ElkSubObjectPropertyOfAxiom.class), hashCode(axiom.getSubObjectPropertyExpression()), hashCode(axiom.getSuperObjectPropertyExpression())); }
@Override public Integer visit(ElkSubObjectPropertyOfAxiom axiom) { return combinedHashCode(hashCode(ElkSubObjectPropertyOfAxiom.class), hashCode(axiom.getSubObjectPropertyExpression()), hashCode(axiom.getSuperObjectPropertyExpression())); }
@Override public Integer visit(ElkSubObjectPropertyOfAxiom axiom) { return combinedHashCode(hashCode(ElkSubObjectPropertyOfAxiom.class), hashCode(axiom.getSubObjectPropertyExpression()), hashCode(axiom.getSuperObjectPropertyExpression())); }
@Override public Void visit(ElkSubObjectPropertyOfAxiom elkSubObjectPropertyOfAxiom) { write("SubObjectPropertyOf("); write(elkSubObjectPropertyOfAxiom.getSubObjectPropertyExpression()); write(' '); write(elkSubObjectPropertyOfAxiom.getSuperObjectPropertyExpression()); write(')'); return null; }
@Override public Void visit( final ElkSubObjectPropertyOfAxiom elkSubObjectPropertyOfAxiom) { write("(role-inclusion "); write(elkSubObjectPropertyOfAxiom.getSubObjectPropertyExpression()); write(' '); write(elkSubObjectPropertyOfAxiom.getSuperObjectPropertyExpression()); write(")\n"); return null; }
@Override public Void visit(ElkSubObjectPropertyOfAxiom elkSubObjectPropertyOfAxiom) { write("SubObjectPropertyOf("); write(elkSubObjectPropertyOfAxiom.getSubObjectPropertyExpression()); write(' '); write(elkSubObjectPropertyOfAxiom.getSuperObjectPropertyExpression()); write(')'); return null; }
@Override public Void visit(ElkSubObjectPropertyOfAxiom elkSubObjectPropertyOfAxiom) { write("SubObjectPropertyOf("); write(elkSubObjectPropertyOfAxiom.getSubObjectPropertyExpression()); write(' '); write(elkSubObjectPropertyOfAxiom.getSuperObjectPropertyExpression()); write(')'); return null; }
@Override public Void visit(ElkSubObjectPropertyOfAxiom elkSubObjectPropertyOfAxiom) { write("SubObjectPropertyOf("); write(elkSubObjectPropertyOfAxiom.getSubObjectPropertyExpression()); write(' '); write(elkSubObjectPropertyOfAxiom.getSuperObjectPropertyExpression()); write(')'); return null; }
@Override public Void visit( final ElkSubObjectPropertyOfAxiom elkSubObjectPropertyOfAxiom) { write("(role-inclusion "); write(elkSubObjectPropertyOfAxiom.getSubObjectPropertyExpression()); write(' '); write(elkSubObjectPropertyOfAxiom.getSuperObjectPropertyExpression()); write(")\n"); return null; }
@Override public Void visit( final ElkSubObjectPropertyOfAxiom elkSubObjectPropertyOfAxiom) { write("(role-inclusion "); write(elkSubObjectPropertyOfAxiom.getSubObjectPropertyExpression()); write(' '); write(elkSubObjectPropertyOfAxiom.getSuperObjectPropertyExpression()); write(")\n"); return null; }