@Override public Boolean visit(ElkEquivalentClassesObjectHasValue other) { return equals(other.getProperty(), inference.getProperty()) && equals(other.getValue(), inference.getValue()); } });
@Override public Boolean visit(ElkEquivalentClassesObjectHasValue other) { return equals(other.getProperty(), inference.getProperty()) && equals(other.getValue(), inference.getValue()); } });
@Override public Boolean visit(ElkEquivalentClassesObjectHasValue other) { return equals(other.getProperty(), inference.getProperty()) && equals(other.getValue(), inference.getValue()); } });
@Override public ElkEquivalentClassesAxiom getConclusion(ElkObject.Factory factory) { return factory.getEquivalentClassesAxiom( factory.getObjectHasValue(getProperty(), getValue()), factory.getObjectSomeValuesFrom(getProperty(), factory.getObjectOneOf( Collections.singletonList(getValue())))); }
@Override public ElkEquivalentClassesAxiom getConclusion(ElkObject.Factory factory) { return factory.getEquivalentClassesAxiom( factory.getObjectHasValue(getProperty(), getValue()), factory.getObjectSomeValuesFrom(getProperty(), factory.getObjectOneOf( Collections.singletonList(getValue())))); }
@Override public ElkEquivalentClassesAxiom getConclusion(ElkObject.Factory factory) { return factory.getEquivalentClassesAxiom( factory.getObjectHasValue(getProperty(), getValue()), factory.getObjectSomeValuesFrom(getProperty(), factory.getObjectOneOf( Collections.singletonList(getValue())))); }
@Override public Integer visit(ElkEquivalentClassesObjectHasValue inference) { return combinedHashCode( hashCode(ElkPropertyInclusionOfTransitiveObjectProperty.class), hashCode(inference.getProperty()), hashCode(inference.getValue())); }
@Override public Integer visit(ElkEquivalentClassesObjectHasValue inference) { return combinedHashCode( hashCode(ElkPropertyInclusionOfTransitiveObjectProperty.class), hashCode(inference.getProperty()), hashCode(inference.getValue())); }
@Override public Integer visit(ElkEquivalentClassesObjectHasValue inference) { return combinedHashCode( hashCode(ElkPropertyInclusionOfTransitiveObjectProperty.class), hashCode(inference.getProperty()), hashCode(inference.getValue())); }