@Override public String visit( SubClassInclusionComposedObjectIntersectionOfMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
@Override public String visit( SubClassInclusionComposedObjectIntersectionOfMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
@Override public String visit( SubClassInclusionComposedObjectIntersectionOfMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
public SubClassInclusionComposedMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getParent().getFirstPremise(factory), getExtendedOriginMatch(), getParent().getFullSubsumerMatch(), getParent().getConclusionSubsumerPrefixLength() - 1); }
public SubClassInclusionComposedMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getParent().getFirstPremise(factory), getExtendedOriginMatch(), getParent().getFullSubsumerMatch(), getParent().getConclusionSubsumerPrefixLength() - 1); }
public SubClassInclusionComposedMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getParent().getFirstPremise(factory), getExtendedOriginMatch(), getParent().getFullSubsumerMatch(), getParent().getConclusionSubsumerPrefixLength() - 1); }
SubClassInclusionComposedMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getSecondPremiseMatch(factory), getExtendedOriginMatch()); }
SubClassInclusionComposedMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getSecondPremiseMatch(factory), getExtendedOriginMatch()); }
SubClassInclusionComposedMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getSecondPremiseMatch(factory), getExtendedOriginMatch()); }
public SubClassInclusionComposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getParent().getConclusionMatch(factory), getExtendedExtendedOriginMatch()); }
public SubClassInclusionComposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getParent().getConclusionMatch(factory), getExtendedExtendedOriginMatch()); }
public SubClassInclusionComposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getParent().getConclusionMatch(factory), getExtendedExtendedOriginMatch()); }
.getExtendedOriginMatch(); SubClassInclusionComposedObjectIntersectionOfMatch1 inferenceMatch1 = inferenceMatch2 .getParent(); int prefixLength = inferenceMatch1.getConclusionSubsumerPrefixLength(); ElkObjectIntersectionOf fullSubsumerMatch = inferenceMatch1
.getExtendedOriginMatch(); SubClassInclusionComposedObjectIntersectionOfMatch1 inferenceMatch1 = inferenceMatch2 .getParent(); int prefixLength = inferenceMatch1.getConclusionSubsumerPrefixLength(); ElkObjectIntersectionOf fullSubsumerMatch = inferenceMatch1
.getExtendedOriginMatch(); SubClassInclusionComposedObjectIntersectionOfMatch1 inferenceMatch1 = inferenceMatch2 .getParent(); int prefixLength = inferenceMatch1.getConclusionSubsumerPrefixLength(); ElkObjectIntersectionOf fullSubsumerMatch = inferenceMatch1