@Override public String visit(PropertyRangeInheritedMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override public String visit(PropertyRangeInheritedMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override public String visit(PropertyRangeInheritedMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
public IndexedObjectPropertyRangeAxiomMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedObjectPropertyRangeAxiomMatch1( getParent().getSecondPremise(factory)); }
public IndexedObjectPropertyRangeAxiomMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedObjectPropertyRangeAxiomMatch1( getParent().getSecondPremise(factory)); }
PropertyRangeMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory .getPropertyRangeMatch1(getParent().getConclusion(factory)); }
public IndexedObjectPropertyRangeAxiomMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedObjectPropertyRangeAxiomMatch1( getParent().getSecondPremise(factory)); }
PropertyRangeMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory .getPropertyRangeMatch1(getParent().getConclusion(factory)); }
PropertyRangeMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory .getPropertyRangeMatch1(getParent().getConclusion(factory)); }
public SubPropertyChainMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch1( getParent().getParent().getFirstPremise(factory), superPropertyMatch_, 0); }
public SubPropertyChainMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch1( getParent().getParent().getFirstPremise(factory), superPropertyMatch_, 0); }
public SubPropertyChainMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch1( getParent().getParent().getFirstPremise(factory), superPropertyMatch_, 0); }
PropertyRangeInheritedMatch3(PropertyRangeInheritedMatch2 parent, SubPropertyChainMatch2 firstPremiseMatch) { super(parent); ElkSubObjectPropertyExpression fullSubChainMatch = firstPremiseMatch .getFullSubChainMatch(); int subChainStartPos = firstPremiseMatch.getSubChainStartPos(); if (fullSubChainMatch instanceof ElkObjectProperty && subChainStartPos == 0) { this.subPropertyMatch_ = (ElkObjectProperty) fullSubChainMatch; } else { throw new ElkMatchException( parent.getParent().getParent().getSubProperty(), fullSubChainMatch, subChainStartPos); } checkEquals(firstPremiseMatch, getFirstPremiseMatch(DEBUG_FACTORY)); }
PropertyRangeInheritedMatch3(PropertyRangeInheritedMatch2 parent, SubPropertyChainMatch2 firstPremiseMatch) { super(parent); ElkSubObjectPropertyExpression fullSubChainMatch = firstPremiseMatch .getFullSubChainMatch(); int subChainStartPos = firstPremiseMatch.getSubChainStartPos(); if (fullSubChainMatch instanceof ElkObjectProperty && subChainStartPos == 0) { this.subPropertyMatch_ = (ElkObjectProperty) fullSubChainMatch; } else { throw new ElkMatchException( parent.getParent().getParent().getSubProperty(), fullSubChainMatch, subChainStartPos); } checkEquals(firstPremiseMatch, getFirstPremiseMatch(DEBUG_FACTORY)); }
PropertyRangeInheritedMatch3(PropertyRangeInheritedMatch2 parent, SubPropertyChainMatch2 firstPremiseMatch) { super(parent); ElkSubObjectPropertyExpression fullSubChainMatch = firstPremiseMatch .getFullSubChainMatch(); int subChainStartPos = firstPremiseMatch.getSubChainStartPos(); if (fullSubChainMatch instanceof ElkObjectProperty && subChainStartPos == 0) { this.subPropertyMatch_ = (ElkObjectProperty) fullSubChainMatch; } else { throw new ElkMatchException( parent.getParent().getParent().getSubProperty(), fullSubChainMatch, subChainStartPos); } checkEquals(firstPremiseMatch, getFirstPremiseMatch(DEBUG_FACTORY)); }