@Override public ElkClassInclusionOfObjectPropertyDomain getElkClassInclusionOfObjectPropertyDomain( ElkObjectPropertyExpression property, ElkClassExpression domain) { return new ElkClassInclusionOfObjectPropertyDomain(property, domain); }
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { if (index == 0) { return getPremise(factory); } // else return failGetPremise(index); }
@Override public Boolean visit( ElkClassInclusionOfObjectPropertyDomain other) { return equals(other.getProperty(), inference.getProperty()) && equals(other.getDomain(), inference.getDomain()); } });
@Override public Boolean visit( ElkClassInclusionOfObjectPropertyDomain other) { return equals(other.getProperty(), inference.getProperty()) && equals(other.getDomain(), inference.getDomain()); } });
@Override public Boolean visit( ElkClassInclusionOfObjectPropertyDomain other) { return equals(other.getProperty(), inference.getProperty()) && equals(other.getDomain(), inference.getDomain()); } });
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { if (index == 0) { return getPremise(factory); } // else return failGetPremise(index); }
@Override public ElkClassInclusionOfObjectPropertyDomain getElkClassInclusionOfObjectPropertyDomain( ElkObjectPropertyExpression property, ElkClassExpression domain) { return new ElkClassInclusionOfObjectPropertyDomain(property, domain); }
@Override public Integer visit(ElkClassInclusionOfObjectPropertyDomain inference) { return combinedHashCode( hashCode(ElkClassInclusionOfObjectPropertyDomain.class), hashCode(inference.getProperty()), hashCode(inference.getDomain())); }
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { if (index == 0) { return getPremise(factory); } // else return failGetPremise(index); }
@Override public ElkClassInclusionOfObjectPropertyDomain getElkClassInclusionOfObjectPropertyDomain( ElkObjectPropertyExpression property, ElkClassExpression domain) { return new ElkClassInclusionOfObjectPropertyDomain(property, domain); }
@Override public Integer visit(ElkClassInclusionOfObjectPropertyDomain inference) { return combinedHashCode( hashCode(ElkClassInclusionOfObjectPropertyDomain.class), hashCode(inference.getProperty()), hashCode(inference.getDomain())); }
@Override public Integer visit(ElkClassInclusionOfObjectPropertyDomain inference) { return combinedHashCode( hashCode(ElkClassInclusionOfObjectPropertyDomain.class), hashCode(inference.getProperty()), hashCode(inference.getDomain())); }