@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 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 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 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 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( 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; }
@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; }
public IndexedSubObjectPropertyOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkSubObjectPropertyOfAxiomConversion parent = getParent(); ElkSubObjectPropertyOfAxiom premise = parent.getOriginalAxiom(); ElkObjectPropertyExpression superPropertyExpression = premise .getSuperObjectPropertyExpression(); if (superPropertyExpression instanceof ElkObjectProperty) { return factory.getIndexedSubObjectPropertyOfAxiomMatch2( factory.getIndexedSubObjectPropertyOfAxiomMatch1( parent.getConclusion(factory)), premise.getSubObjectPropertyExpression(), (ElkObjectProperty) superPropertyExpression); } else { throw new ElkMatchException( parent.getConclusion(factory).getSuperProperty(), superPropertyExpression); } }
public IndexedSubObjectPropertyOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkSubObjectPropertyOfAxiomConversion parent = getParent(); ElkSubObjectPropertyOfAxiom premise = parent.getOriginalAxiom(); ElkObjectPropertyExpression superPropertyExpression = premise .getSuperObjectPropertyExpression(); if (superPropertyExpression instanceof ElkObjectProperty) { return factory.getIndexedSubObjectPropertyOfAxiomMatch2( factory.getIndexedSubObjectPropertyOfAxiomMatch1( parent.getConclusion(factory)), premise.getSubObjectPropertyExpression(), (ElkObjectProperty) superPropertyExpression); } else { throw new ElkMatchException( parent.getConclusion(factory).getSuperProperty(), superPropertyExpression); } }
public IndexedSubObjectPropertyOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkSubObjectPropertyOfAxiomConversion parent = getParent(); ElkSubObjectPropertyOfAxiom premise = parent.getOriginalAxiom(); ElkObjectPropertyExpression superPropertyExpression = premise .getSuperObjectPropertyExpression(); if (superPropertyExpression instanceof ElkObjectProperty) { return factory.getIndexedSubObjectPropertyOfAxiomMatch2( factory.getIndexedSubObjectPropertyOfAxiomMatch1( parent.getConclusion(factory)), premise.getSubObjectPropertyExpression(), (ElkObjectProperty) superPropertyExpression); } else { throw new ElkMatchException( parent.getConclusion(factory).getSuperProperty(), superPropertyExpression); } }