@Override public Boolean visit(ElkClassInclusionExistentialOwlNothing other) { return equals(other.getProperty(), inference.getProperty()); } });
@Override public Boolean visit(ElkClassInclusionExistentialOwlNothing other) { return equals(other.getProperty(), inference.getProperty()); } });
@Override public Boolean visit(ElkClassInclusionExistentialOwlNothing other) { return equals(other.getProperty(), inference.getProperty()); } });
@Override public Integer visit(ElkClassInclusionExistentialOwlNothing inference) { return combinedHashCode( hashCode(ElkClassInclusionExistentialOwlNothing.class), hashCode(inference.getProperty())); }
@Override public Integer visit(ElkClassInclusionExistentialOwlNothing inference) { return combinedHashCode( hashCode(ElkClassInclusionExistentialOwlNothing.class), hashCode(inference.getProperty())); }
@Override public Integer visit(ElkClassInclusionExistentialOwlNothing inference) { return combinedHashCode( hashCode(ElkClassInclusionExistentialOwlNothing.class), hashCode(inference.getProperty())); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory .getSubClassOfAxiom( factory.getObjectSomeValuesFrom(getProperty(), factory.getOwlNothing()), factory.getOwlNothing()); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory .getSubClassOfAxiom( factory.getObjectSomeValuesFrom(getProperty(), factory.getOwlNothing()), factory.getOwlNothing()); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory .getSubClassOfAxiom( factory.getObjectSomeValuesFrom(getProperty(), factory.getOwlNothing()), factory.getOwlNothing()); }