@Override public SubsumerMatch visit(ElkObjectHasValue match) { return new SubsumerObjectHasValueMatch(match); }
@Override public Boolean visit(SubsumerObjectHasValueMatch match) { inferenceFactory_ .getSubClassInclusionDecomposedObjectHasValueMatch1( parent, extendedDestinationMatch, match.getValue()); return true; }
@Override public IndexedContextRootMatch getRangeRootMatch(Factory factory) { return factory.getIndexedContextRootIndividualMatch(getFillerMatch()); }
@Override public Boolean visit(SubsumerObjectHasValueMatch match) { inferenceFactory_ .getSubClassInclusionDecomposedObjectHasValueMatch1( parent, extendedDestinationMatch, match.getValue()); return true; }
@Override public IndexedContextRootMatch getRangeRootMatch(Factory factory) { return factory.getIndexedContextRootIndividualMatch(getFillerMatch()); }
@Override public Boolean visit(SubsumerObjectHasValueMatch match) { inferenceFactory_ .getSubClassInclusionComposedObjectHasValueMatch1( parent, destinationMatch, match.getValue()); return true; }
@Override public IndexedContextRootMatch getRangeRootMatch(Factory factory) { return factory.getIndexedContextRootIndividualMatch(getFillerMatch()); }
@Override public SubsumerMatch visit(ElkObjectHasValue match) { return new SubsumerObjectHasValueMatch(match); }
@Override public ElkObjectPropertyExpression getPropertyMatch() { return getValue().getProperty(); }
@Override public SubsumerMatch visit(ElkObjectHasValue match) { return new SubsumerObjectHasValueMatch(match); }
@Override public ElkIndividual getFillerMatch() { return getValue().getFiller(); }
@Override public ElkIndividual getFillerMatch() { return getValue().getFiller(); }
@Override public Boolean visit(SubsumerObjectHasValueMatch match) { inferenceFactory_ .getSubClassInclusionComposedObjectHasValueMatch1( parent, destinationMatch, match.getValue()); return true; }
@Override public Boolean visit(SubsumerObjectHasValueMatch match) { inferenceFactory_ .getSubClassInclusionDecomposedObjectHasValueMatch1( parent, extendedDestinationMatch, match.getValue()); return true; }
@Override public Boolean visit(SubsumerObjectHasValueMatch match) { inferenceFactory_ .getSubClassInclusionComposedObjectHasValueMatch1( parent, destinationMatch, match.getValue()); return true; }
@Override public ElkObjectPropertyExpression getPropertyMatch() { return getValue().getProperty(); }
@Override public ElkObjectPropertyExpression getPropertyMatch() { return getValue().getProperty(); }
@Override public ElkIndividual getFillerMatch() { return getValue().getFiller(); }
@Override public IndexedContextRootMatch getFillerRootMatch(Factory factory) { return factory .getIndexedContextRootIndividualMatch(getValue().getFiller()); }
@Override public IndexedContextRootMatch getFillerRootMatch(Factory factory) { return factory .getIndexedContextRootIndividualMatch(getValue().getFiller()); }