@Override public String visit( SubClassInclusionObjectHasSelfPropertyRangeMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override public String visit( SubClassInclusionObjectHasSelfPropertyRangeMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override public String visit( SubClassInclusionObjectHasSelfPropertyRangeMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
public SubClassInclusionDecomposedMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch1( getParent().getFirstPremise(factory), getOriginMatch()); }
SubClassInclusionDecomposedMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch1( getParent().getConclusion(factory), getOriginMatch()); }
public PropertyRangeMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getPropertyRangeMatch1( getParent().getParent().getSecondPremise(factory)); }
SubClassInclusionDecomposedMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch1( getParent().getConclusion(factory), getOriginMatch()); }
SubClassInclusionDecomposedMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch1( getParent().getConclusion(factory), getOriginMatch()); }
public PropertyRangeMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getPropertyRangeMatch1( getParent().getParent().getSecondPremise(factory)); }
public SubClassInclusionDecomposedMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch1( getParent().getFirstPremise(factory), getOriginMatch()); }
public PropertyRangeMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getPropertyRangeMatch1( getParent().getParent().getSecondPremise(factory)); }
public SubClassInclusionDecomposedMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch1( getParent().getFirstPremise(factory), getOriginMatch()); }
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)); }
SubClassInclusionObjectHasSelfPropertyRangeMatch2( SubClassInclusionObjectHasSelfPropertyRangeMatch1 parent, SubClassInclusionDecomposedMatch2 firstPremiseMatch) { super(parent); this.extendedOriginMatch_ = firstPremiseMatch .getExtendedDestinationMatch(); ElkObjectHasSelf premiseSubsumerMatch = firstPremiseMatch .getSubsumerIndexedObjectHasSelfMatch(); ElkObjectPropertyExpression premisePropertyMatch = premiseSubsumerMatch .getProperty(); if (premisePropertyMatch instanceof ElkObjectProperty) { this.propertyMatch_ = (ElkObjectProperty) premisePropertyMatch; } else { throw new ElkMatchException(parent.getParent().getSubsumer(), premiseSubsumerMatch); } checkEquals(firstPremiseMatch, getFirstPremiseMatch(DEBUG_FACTORY)); }
SubClassInclusionObjectHasSelfPropertyRangeMatch2( SubClassInclusionObjectHasSelfPropertyRangeMatch1 parent, SubClassInclusionDecomposedMatch2 firstPremiseMatch) { super(parent); this.extendedOriginMatch_ = firstPremiseMatch .getExtendedDestinationMatch(); ElkObjectHasSelf premiseSubsumerMatch = firstPremiseMatch .getSubsumerIndexedObjectHasSelfMatch(); ElkObjectPropertyExpression premisePropertyMatch = premiseSubsumerMatch .getProperty(); if (premisePropertyMatch instanceof ElkObjectProperty) { this.propertyMatch_ = (ElkObjectProperty) premisePropertyMatch; } else { throw new ElkMatchException(parent.getParent().getSubsumer(), premiseSubsumerMatch); } checkEquals(firstPremiseMatch, getFirstPremiseMatch(DEBUG_FACTORY)); }
SubClassInclusionObjectHasSelfPropertyRangeMatch2( SubClassInclusionObjectHasSelfPropertyRangeMatch1 parent, SubClassInclusionDecomposedMatch2 firstPremiseMatch) { super(parent); this.extendedOriginMatch_ = firstPremiseMatch .getExtendedDestinationMatch(); ElkObjectHasSelf premiseSubsumerMatch = firstPremiseMatch .getSubsumerIndexedObjectHasSelfMatch(); ElkObjectPropertyExpression premisePropertyMatch = premiseSubsumerMatch .getProperty(); if (premisePropertyMatch instanceof ElkObjectProperty) { this.propertyMatch_ = (ElkObjectProperty) premisePropertyMatch; } else { throw new ElkMatchException(parent.getParent().getSubsumer(), premiseSubsumerMatch); } checkEquals(firstPremiseMatch, getFirstPremiseMatch(DEBUG_FACTORY)); }