@Override public String visit(PropertyRangeInheritedMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
@Override public String visit(PropertyRangeInheritedMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
@Override public String visit(PropertyRangeInheritedMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
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); }
IndexedObjectPropertyRangeAxiomMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedObjectPropertyRangeAxiomMatch2( getParent().getSecondPremiseMatch(factory), getSuperPropertyMatch(), getRangeMatch()); }
IndexedObjectPropertyRangeAxiomMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedObjectPropertyRangeAxiomMatch2( getParent().getSecondPremiseMatch(factory), getSuperPropertyMatch(), getRangeMatch()); }
IndexedObjectPropertyRangeAxiomMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedObjectPropertyRangeAxiomMatch2( getParent().getSecondPremiseMatch(factory), getSuperPropertyMatch(), getRangeMatch()); }
public PropertyRangeMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getPropertyRangeMatch2( getParent().getParent().getConclusionMatch(factory), getSubPropertyMatch(), getParent().getRangeMatch()); }
public PropertyRangeMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getPropertyRangeMatch2( getParent().getParent().getConclusionMatch(factory), getSubPropertyMatch(), getParent().getRangeMatch()); }
public PropertyRangeMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getPropertyRangeMatch2( getParent().getParent().getConclusionMatch(factory), getSubPropertyMatch(), getParent().getRangeMatch()); }
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)); }