@Override public ElkClassInclusionExistentialTransitivity getElkClassInclusionExistentialTransitivity( ElkObjectPropertyExpression transitiveProperty, List<? extends ElkClassExpression> classExpressions) { return new ElkClassInclusionExistentialTransitivity(transitiveProperty, classExpressions); }
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { checkPremiseIndex(index); if (index < getExistentialPremiseCount()) { return getExistentialPremise(index, factory); } // else return getLastPremise(factory); }
@Override public Boolean visit( ElkClassInclusionExistentialTransitivity other) { return equals(other.getClassExpressions(), inference.getClassExpressions()) && equals(other.getTransitiveProperty(), inference.getTransitiveProperty()); } });
public ElkSubClassOfAxiom getExistentialPremise(int index, ElkObject.Factory factory) { if (index < 0 || index >= getExistentialPremiseCount()) { throw new IndexOutOfBoundsException( "No existential premise with index: " + index); } // else return factory.getSubClassOfAxiom(classExpressions_.get(index), factory.getObjectSomeValuesFrom(transitiveProperty_, classExpressions_.get(index + 1))); }
@Override public ElkClassInclusionExistentialTransitivity visit( ElkClassInclusionExistentialTransitivity inference) { return inferenceFactory_.getElkClassInclusionExistentialTransitivity( getObjectProperty("T"), getClasses("C", inference.getClassExpressions().size())); }
@Override public Boolean visit( ElkClassInclusionExistentialTransitivity other) { return equals(other.getClassExpressions(), inference.getClassExpressions()) && equals(other.getTransitiveProperty(), inference.getTransitiveProperty()); } });
public ElkSubClassOfAxiom getExistentialPremise(int index, ElkObject.Factory factory) { if (index < 0 || index >= getExistentialPremiseCount()) { throw new IndexOutOfBoundsException( "No existential premise with index: " + index); } // else return factory.getSubClassOfAxiom(classExpressions_.get(index), factory.getObjectSomeValuesFrom(transitiveProperty_, classExpressions_.get(index + 1))); }
@Override public ElkClassInclusionExistentialTransitivity visit( ElkClassInclusionExistentialTransitivity inference) { return inferenceFactory_.getElkClassInclusionExistentialTransitivity( getObjectProperty("T"), getClasses("C", inference.getClassExpressions().size())); }
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { checkPremiseIndex(index); if (index < getExistentialPremiseCount()) { return getExistentialPremise(index, factory); } // else return getLastPremise(factory); }
@Override public Boolean visit( ElkClassInclusionExistentialTransitivity other) { return equals(other.getClassExpressions(), inference.getClassExpressions()) && equals(other.getTransitiveProperty(), inference.getTransitiveProperty()); } });
@Override public ElkClassInclusionExistentialTransitivity getElkClassInclusionExistentialTransitivity( ElkObjectPropertyExpression transitiveProperty, ElkClassExpression... classExpressions) { return new ElkClassInclusionExistentialTransitivity(transitiveProperty, classExpressions); }
public ElkSubClassOfAxiom getExistentialPremise(int index, ElkObject.Factory factory) { if (index < 0 || index >= getExistentialPremiseCount()) { throw new IndexOutOfBoundsException( "No existential premise with index: " + index); } // else return factory.getSubClassOfAxiom(classExpressions_.get(index), factory.getObjectSomeValuesFrom(transitiveProperty_, classExpressions_.get(index + 1))); }
@Override public ElkClassInclusionExistentialTransitivity visit( ElkClassInclusionExistentialTransitivity inference) { return inferenceFactory_.getElkClassInclusionExistentialTransitivity( getObjectProperty("T"), getClasses("C", inference.getClassExpressions().size())); }
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { checkPremiseIndex(index); if (index < getExistentialPremiseCount()) { return getExistentialPremise(index, factory); } // else return getLastPremise(factory); }
@Override public Integer visit(ElkClassInclusionExistentialTransitivity inference) { return combinedHashCode( hashCode(ElkClassInclusionExistentialTransitivity.class), hashCode(inference.getClassExpressions()), hashCode(inference.getTransitiveProperty())); }
@Override public ElkClassInclusionExistentialTransitivity getElkClassInclusionExistentialTransitivity( ElkObjectPropertyExpression transitiveProperty, List<? extends ElkClassExpression> classExpressions) { return new ElkClassInclusionExistentialTransitivity(transitiveProperty, classExpressions); }
@Override public Integer visit(ElkClassInclusionExistentialTransitivity inference) { return combinedHashCode( hashCode(ElkClassInclusionExistentialTransitivity.class), hashCode(inference.getClassExpressions()), hashCode(inference.getTransitiveProperty())); }
@Override public ElkClassInclusionExistentialTransitivity getElkClassInclusionExistentialTransitivity( ElkObjectPropertyExpression transitiveProperty, List<? extends ElkClassExpression> classExpressions) { return new ElkClassInclusionExistentialTransitivity(transitiveProperty, classExpressions); }
@Override public Integer visit(ElkClassInclusionExistentialTransitivity inference) { return combinedHashCode( hashCode(ElkClassInclusionExistentialTransitivity.class), hashCode(inference.getClassExpressions()), hashCode(inference.getTransitiveProperty())); }
@Override public ElkClassInclusionExistentialTransitivity getElkClassInclusionExistentialTransitivity( ElkObjectPropertyExpression transitiveProperty, ElkClassExpression... classExpressions) { return new ElkClassInclusionExistentialTransitivity(transitiveProperty, classExpressions); }