@Override public BackwardLinkCompositionMatch2 getBackwardLinkCompositionMatch2( BackwardLinkCompositionMatch1 parent, IndexedSubObjectPropertyOfAxiomMatch2 fifthPremiseMatch) { return new BackwardLinkCompositionMatch2(parent, fifthPremiseMatch); }
BackwardLinkCompositionMatch2(BackwardLinkCompositionMatch1 parent, IndexedSubObjectPropertyOfAxiomMatch2 fifthPremiseMatch) { super(parent); this.compositionMatch_ = fifthPremiseMatch.getSubPropertyChainMatch(); this.conclusionRelationMatch_ = fifthPremiseMatch .getSuperPropertyMatch(); checkEquals(fifthPremiseMatch, getFifthPremiseMatch(DEBUG_FACTORY)); }
IndexedSubObjectPropertyOfAxiomMatch2 getFifthPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedSubObjectPropertyOfAxiomMatch2( getParent().getFifthPremiseMatch(factory), getCompositionMatch(), getConclusionRelationMatch()); }
public SubPropertyChainMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch1( getParent().getParent().getParent().getSecondPremise(factory), getParent().getFirstProperty(), 0); }
public SubPropertyChainMatch1 getFourthPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch1( getParent().getParent().getParent().getParent() .getFourthPremise(factory), getParent().getParent().getCompositionMatch(), 1); }
public BackwardLinkMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch2( getParent().getParent().getParent().getParent().getParent() .getConclusionMatch(factory), getParent().getParent().getParent().getParent() .getConclusionRelationMatch(), getDestinationMatch()); }
.getParent(); ElkSubObjectPropertyExpression compositionMatch = inferenceMatch2 .getCompositionMatch(); ElkObjectProperty conclusionRelationMatch = inferenceMatch2 .getConclusionRelationMatch();
@Override public String visit(BackwardLinkCompositionMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
BackwardLinkMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch2( getParent().getFirstPremiseMatch(factory), getPremiseBackwardRelationMatch(), getOriginMatch()); }
ElkObjectPropertyExpression getFirstProperty() { return getCompositionMatch().accept( new ElkSubObjectPropertyExpressionVisitor<ElkObjectPropertyExpression>() { @Override public ElkObjectPropertyExpression visit( ElkObjectPropertyChain expression) { return expression.getObjectPropertyExpressions().get(0); } @Override public ElkObjectPropertyExpression visit( ElkObjectInverseOf expression) { return expression; } @Override public ElkObjectPropertyExpression visit( ElkObjectProperty expression) { return expression; } }); }
public SubPropertyChainMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch1( getParent().getParent().getParent().getSecondPremise(factory), getParent().getFirstProperty(), 0); }
public SubPropertyChainMatch1 getFourthPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch1( getParent().getParent().getParent().getParent() .getFourthPremise(factory), getParent().getParent().getCompositionMatch(), 1); }
public BackwardLinkMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch2( getParent().getParent().getParent().getParent().getParent() .getConclusionMatch(factory), getParent().getParent().getParent().getParent() .getConclusionRelationMatch(), getDestinationMatch()); }
.getParent(); ElkSubObjectPropertyExpression compositionMatch = inferenceMatch2 .getCompositionMatch(); ElkObjectProperty conclusionRelationMatch = inferenceMatch2 .getConclusionRelationMatch();
@Override public String visit(BackwardLinkCompositionMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
BackwardLinkMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch2( getParent().getFirstPremiseMatch(factory), getPremiseBackwardRelationMatch(), getOriginMatch()); }
ElkObjectPropertyExpression getFirstProperty() { return getCompositionMatch().accept( new ElkSubObjectPropertyExpressionVisitor<ElkObjectPropertyExpression>() { @Override public ElkObjectPropertyExpression visit( ElkObjectPropertyChain expression) { return expression.getObjectPropertyExpressions().get(0); } @Override public ElkObjectPropertyExpression visit( ElkObjectInverseOf expression) { return expression; } @Override public ElkObjectPropertyExpression visit( ElkObjectProperty expression) { return expression; } }); }
IndexedSubObjectPropertyOfAxiomMatch2 getFifthPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedSubObjectPropertyOfAxiomMatch2( getParent().getFifthPremiseMatch(factory), getCompositionMatch(), getConclusionRelationMatch()); }
public SubPropertyChainMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch1( getParent().getParent().getParent().getSecondPremise(factory), getParent().getFirstProperty(), 0); }
BackwardLinkCompositionMatch2(BackwardLinkCompositionMatch1 parent, IndexedSubObjectPropertyOfAxiomMatch2 fifthPremiseMatch) { super(parent); this.compositionMatch_ = fifthPremiseMatch.getSubPropertyChainMatch(); this.conclusionRelationMatch_ = fifthPremiseMatch .getSuperPropertyMatch(); checkEquals(fifthPremiseMatch, getFifthPremiseMatch(DEBUG_FACTORY)); }