@Override public ElkObjectPropertyExpression getPropertyMatch() { return getValue().getProperty(); }
@Override public ElkObjectPropertyExpression getPropertyMatch() { return getValue().getProperty(); }
@Override public ElkObjectPropertyExpression getPropertyMatch() { return getValue().getProperty(); }
@Override public ElkObjectSomeValuesFrom visit(ElkObjectSomeValuesFrom expression) { if (object_ == expression) return expression; if (object_ instanceof ElkObjectSomeValuesFrom) { ElkObjectSomeValuesFrom result = (ElkObjectSomeValuesFrom) object_; if (equals(result.getFiller(), expression.getFiller()) && equals(result.getProperty(), expression.getProperty())) return result; } return null; }
@Override public ElkObjectSomeValuesFrom visit(ElkObjectSomeValuesFrom expression) { if (object_ == expression) return expression; if (object_ instanceof ElkObjectSomeValuesFrom) { ElkObjectSomeValuesFrom result = (ElkObjectSomeValuesFrom) object_; if (equals(result.getFiller(), expression.getFiller()) && equals(result.getProperty(), expression.getProperty())) return result; } return null; }
@Override public ElkObjectSomeValuesFrom visit(ElkObjectSomeValuesFrom expression) { if (object_ == expression) return expression; if (object_ instanceof ElkObjectSomeValuesFrom) { ElkObjectSomeValuesFrom result = (ElkObjectSomeValuesFrom) object_; if (equals(result.getFiller(), expression.getFiller()) && equals(result.getProperty(), expression.getProperty())) return result; } return null; }
@Override public ModifiableIndexedClassExpression visit( ElkObjectSomeValuesFrom elkObjectSomeValuesFrom) { return factory_.getIndexedObjectSomeValuesFrom(elkObjectSomeValuesFrom .getProperty().accept(this), elkObjectSomeValuesFrom .getFiller().accept(this)); }
@Override public OWLObjectSomeValuesFrom visit(ElkObjectSomeValuesFrom expression) { return owlFactory_.getOWLObjectSomeValuesFrom( convert(expression.getProperty()), convert(expression.getFiller())); }
@Override public OWLObjectSomeValuesFrom visit(ElkObjectSomeValuesFrom expression) { return owlFactory_.getOWLObjectSomeValuesFrom( convert(expression.getProperty()), convert(expression.getFiller())); }
@Override public ModifiableIndexedClassExpression visit( ElkObjectSomeValuesFrom elkObjectSomeValuesFrom) { return factory_.getIndexedObjectSomeValuesFrom(elkObjectSomeValuesFrom .getProperty().accept(this), elkObjectSomeValuesFrom .getFiller().accept(this)); }
@Override public OWLObjectSomeValuesFrom visit(ElkObjectSomeValuesFrom expression) { return owlFactory_.getOWLObjectSomeValuesFrom( convert(expression.getProperty()), convert(expression.getFiller())); }
@Override public ModifiableIndexedClassExpression visit( ElkObjectSomeValuesFrom elkObjectSomeValuesFrom) { return factory_.getIndexedObjectSomeValuesFrom(elkObjectSomeValuesFrom .getProperty().accept(this), elkObjectSomeValuesFrom .getFiller().accept(this)); }
@Override public Inference<OWLAxiom> getInference() { return new ElkOwlInference( FACTORY.getElkClassInclusionExistentialTransitivity( getElkSuperClassExistential(getPremises().get(0)) .getProperty(), new AbstractList<ElkClassExpression>() { @Override public ElkClassExpression get(int index) { switch (index) { case 0: return getElkSubClassOfAxiom( getPremises().get(0)) .getSubClassExpression(); default: return getElkSuperClassExistential( getPremises().get(index - 1)) .getFiller(); } } @Override public int size() { return getPremises().size(); } })); }
@Override public Integer visit(ElkObjectSomeValuesFrom expression) { return combinedHashCode(hashCode(ElkObjectSomeValuesFrom.class), hashCode(expression.getProperty()), hashCode(expression.getFiller())); }
@Override public Integer visit(ElkObjectSomeValuesFrom expression) { return combinedHashCode(hashCode(ElkObjectSomeValuesFrom.class), hashCode(expression.getProperty()), hashCode(expression.getFiller())); }
@Override public Integer visit(ElkObjectSomeValuesFrom expression) { return combinedHashCode(hashCode(ElkObjectSomeValuesFrom.class), hashCode(expression.getProperty()), hashCode(expression.getFiller())); }
@Override public Void visit(final ElkObjectSomeValuesFrom elkObjectSomeValuesFrom) { write("(some "); write(elkObjectSomeValuesFrom.getProperty()); write(' '); write(elkObjectSomeValuesFrom.getFiller()); write(')'); return null; }
@Override public Void visit(final ElkObjectSomeValuesFrom elkObjectSomeValuesFrom) { write("(some "); write(elkObjectSomeValuesFrom.getProperty()); write(' '); write(elkObjectSomeValuesFrom.getFiller()); write(')'); return null; }
@Override public Void visit(final ElkObjectSomeValuesFrom elkObjectSomeValuesFrom) { write("(some "); write(elkObjectSomeValuesFrom.getProperty()); write(' '); write(elkObjectSomeValuesFrom.getFiller()); write(')'); return null; }