@Override public ElkSubObjectPropertyOfAxiom visit( ElkSubObjectPropertyOfAxiom axiom) { if (object_ == axiom) return axiom; if (object_ instanceof ElkSubObjectPropertyOfAxiom) { ElkSubObjectPropertyOfAxiom result = (ElkSubObjectPropertyOfAxiom) object_; if (equals(result.getSubObjectPropertyExpression(), axiom.getSubObjectPropertyExpression()) && equals(result.getSuperObjectPropertyExpression(), axiom.getSuperObjectPropertyExpression())) return result; } return null; }
@Override public ElkObjectPropertyExpression get(int index) { return getElkSubClassOfAxiom( getPremises().get(index - 1)) .getSuperObjectPropertyExpression(); }
@Override public OWLObjectPropertyAxiom visit( final ElkSubObjectPropertyOfAxiom axiom) { return axiom.getSubObjectPropertyExpression().accept( new ElkSubObjectPropertyExpressionVisitor<OWLObjectPropertyAxiom>() {
OWLSubObjectPropertyOfAxiom defaultVisit( ElkObjectPropertyExpression subExpression) { return owlFactory_.getOWLSubObjectPropertyOfAxiom( convert(subExpression), convert(axiom .getSuperObjectPropertyExpression())); }
@Override public OWLObjectPropertyAxiom visit( final ElkSubObjectPropertyOfAxiom axiom) { return axiom.getSubObjectPropertyExpression().accept( new ElkSubObjectPropertyExpressionVisitor<OWLObjectPropertyAxiom>() {
@Override public ElkSubObjectPropertyOfAxiom visit( ElkSubObjectPropertyOfAxiom axiom) { if (object_ == axiom) return axiom; if (object_ instanceof ElkSubObjectPropertyOfAxiom) { ElkSubObjectPropertyOfAxiom result = (ElkSubObjectPropertyOfAxiom) object_; if (equals(result.getSubObjectPropertyExpression(), axiom.getSubObjectPropertyExpression()) && equals(result.getSuperObjectPropertyExpression(), axiom.getSuperObjectPropertyExpression())) return result; } return null; }
OWLSubObjectPropertyOfAxiom defaultVisit( ElkObjectPropertyExpression subExpression) { return owlFactory_.getOWLSubObjectPropertyOfAxiom( convert(subExpression), convert(axiom .getSuperObjectPropertyExpression())); }
@Override public OWLObjectPropertyAxiom visit( final ElkSubObjectPropertyOfAxiom axiom) { return axiom.getSubObjectPropertyExpression().accept( new ElkSubObjectPropertyExpressionVisitor<OWLObjectPropertyAxiom>() {
@Override public ElkSubObjectPropertyOfAxiom visit( ElkSubObjectPropertyOfAxiom axiom) { if (object_ == axiom) return axiom; if (object_ instanceof ElkSubObjectPropertyOfAxiom) { ElkSubObjectPropertyOfAxiom result = (ElkSubObjectPropertyOfAxiom) object_; if (equals(result.getSubObjectPropertyExpression(), axiom.getSubObjectPropertyExpression()) && equals(result.getSuperObjectPropertyExpression(), axiom.getSuperObjectPropertyExpression())) return result; } return null; }
OWLSubObjectPropertyOfAxiom defaultVisit( ElkObjectPropertyExpression subExpression) { return owlFactory_.getOWLSubObjectPropertyOfAxiom( convert(subExpression), convert(axiom .getSuperObjectPropertyExpression())); }
@Override public Inference<OWLAxiom> getInference() { return new ElkOwlInference(FACTORY.getElkPropertyInclusionHierarchy( getElkSubClassOfAxiom(getPremises().get(0)) .getSubObjectPropertyExpression(), new AbstractList<ElkObjectPropertyExpression>() { @Override public ElkObjectPropertyExpression get(int index) { return getElkSubClassOfAxiom( getPremises().get(index - 1)) .getSuperObjectPropertyExpression(); } @Override public int size() { return getPremises().size(); } })); }
@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 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 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 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())); }