@Override public String visit( SubClassInclusionObjectHasSelfPropertyRangeMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
@Override public String visit( SubClassInclusionObjectHasSelfPropertyRangeMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
@Override public String visit( SubClassInclusionObjectHasSelfPropertyRangeMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
public PropertyRangeMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getPropertyRangeMatch1( getParent().getParent().getSecondPremise(factory)); }
public PropertyRangeMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getPropertyRangeMatch1( getParent().getParent().getSecondPremise(factory)); }
public PropertyRangeMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getPropertyRangeMatch1( getParent().getParent().getSecondPremise(factory)); }
SubClassInclusionDecomposedMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getFirstPremiseMatch(factory), getExtendedOriginMatch(), factory.getObjectHasSelf(getPropertyMatch())); }
SubClassInclusionDecomposedMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getFirstPremiseMatch(factory), getExtendedOriginMatch(), factory.getObjectHasSelf(getPropertyMatch())); }
SubClassInclusionDecomposedMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getFirstPremiseMatch(factory), getExtendedOriginMatch(), factory.getObjectHasSelf(getPropertyMatch())); }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getParent().getConclusionMatch(factory), getParent().getExtendedOriginMatch(), getRangeMatch()); }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getParent().getConclusionMatch(factory), getParent().getExtendedOriginMatch(), getRangeMatch()); }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getParent().getConclusionMatch(factory), getParent().getExtendedOriginMatch(), getRangeMatch()); }
SubClassInclusionObjectHasSelfPropertyRangeMatch3( SubClassInclusionObjectHasSelfPropertyRangeMatch2 parent, PropertyRangeMatch2 secondPremiseMatch) { super(parent); this.rangeMatch_ = secondPremiseMatch.getRangeMatch(); ElkObjectProperty propertyMatch = secondPremiseMatch.getPropertyMatch(); if (!parent.getPropertyMatch().equals(propertyMatch)) { throw new ElkMatchException(parent.getParent().getParent() .getPremiseSubsumer().getProperty(), propertyMatch); } checkEquals(secondPremiseMatch, getSecondPremiseMatch(DEBUG_FACTORY)); }
SubClassInclusionObjectHasSelfPropertyRangeMatch3( SubClassInclusionObjectHasSelfPropertyRangeMatch2 parent, PropertyRangeMatch2 secondPremiseMatch) { super(parent); this.rangeMatch_ = secondPremiseMatch.getRangeMatch(); ElkObjectProperty propertyMatch = secondPremiseMatch.getPropertyMatch(); if (!parent.getPropertyMatch().equals(propertyMatch)) { throw new ElkMatchException(parent.getParent().getParent() .getPremiseSubsumer().getProperty(), propertyMatch); } checkEquals(secondPremiseMatch, getSecondPremiseMatch(DEBUG_FACTORY)); }
SubClassInclusionObjectHasSelfPropertyRangeMatch3( SubClassInclusionObjectHasSelfPropertyRangeMatch2 parent, PropertyRangeMatch2 secondPremiseMatch) { super(parent); this.rangeMatch_ = secondPremiseMatch.getRangeMatch(); ElkObjectProperty propertyMatch = secondPremiseMatch.getPropertyMatch(); if (!parent.getPropertyMatch().equals(propertyMatch)) { throw new ElkMatchException(parent.getParent().getParent() .getPremiseSubsumer().getProperty(), propertyMatch); } checkEquals(secondPremiseMatch, getSecondPremiseMatch(DEBUG_FACTORY)); }