@Override public ElkObjectPropertyAssertionOfClassInclusion getElkObjectPropertyAssertionOfClassInclusion( final ElkIndividual subject, final ElkObjectPropertyExpression property, final ElkIndividual object) { return new ElkObjectPropertyAssertionOfClassInclusion(subject, property, object); }
@Override public ElkAxiom getPremise(final int index, final ElkObject.Factory factory) { if (index == 0) { return getPremise(factory); } // else return failGetPremise(index); }
@Override public Boolean visit( ElkObjectPropertyAssertionOfClassInclusion other) { return equals(other.getSubject(), inference.getSubject()) && equals(other.getProperty(), inference.getProperty()) && equals(other.getObject(), inference.getObject()); } });
@Override public Boolean visit( ElkObjectPropertyAssertionOfClassInclusion other) { return equals(other.getSubject(), inference.getSubject()) && equals(other.getProperty(), inference.getProperty()) && equals(other.getObject(), inference.getObject()); } });
@Override public Boolean visit( ElkObjectPropertyAssertionOfClassInclusion other) { return equals(other.getSubject(), inference.getSubject()) && equals(other.getProperty(), inference.getProperty()) && equals(other.getObject(), inference.getObject()); } });
@Override public ElkAxiom getPremise(final int index, final ElkObject.Factory factory) { if (index == 0) { return getPremise(factory); } // else return failGetPremise(index); }
@Override public ElkObjectPropertyAssertionOfClassInclusion getElkObjectPropertyAssertionOfClassInclusion( final ElkIndividual subject, final ElkObjectPropertyExpression property, final ElkIndividual object) { return new ElkObjectPropertyAssertionOfClassInclusion(subject, property, object); }
@Override public Integer visit( final ElkObjectPropertyAssertionOfClassInclusion inference) { return combinedHashCode( hashCode(ElkObjectPropertyAssertionOfClassInclusion.class), hashCode(inference.getSubject()), hashCode(inference.getProperty()), hashCode(inference.getObject())); }
@Override public ElkAxiom getPremise(final int index, final ElkObject.Factory factory) { if (index == 0) { return getPremise(factory); } // else return failGetPremise(index); }
@Override public ElkObjectPropertyAssertionOfClassInclusion getElkObjectPropertyAssertionOfClassInclusion( final ElkIndividual subject, final ElkObjectPropertyExpression property, final ElkIndividual object) { return new ElkObjectPropertyAssertionOfClassInclusion(subject, property, object); }
@Override public Integer visit( final ElkObjectPropertyAssertionOfClassInclusion inference) { return combinedHashCode( hashCode(ElkObjectPropertyAssertionOfClassInclusion.class), hashCode(inference.getSubject()), hashCode(inference.getProperty()), hashCode(inference.getObject())); }
@Override public Integer visit( final ElkObjectPropertyAssertionOfClassInclusion inference) { return combinedHashCode( hashCode(ElkObjectPropertyAssertionOfClassInclusion.class), hashCode(inference.getSubject()), hashCode(inference.getProperty()), hashCode(inference.getObject())); }