@Override public PropertyRangeInheritedMatch3 getPropertyRangeInheritedMatch3( PropertyRangeInheritedMatch2 parent, SubPropertyChainMatch2 firstPremiseMatch) { return new PropertyRangeInheritedMatch3(parent, firstPremiseMatch); }
@Override public String visit(PropertyRangeInheritedMatch3 inferenceMatch3) { return inferenceMatch3.getParent() + " | "; }
@Override public Void visit(PropertyRangeInheritedMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkObjectProperty subPropertyMatch = inferenceMatch3 .getSubPropertyMatch(); PropertyRangeInheritedMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); ElkObjectProperty superPropertyMatch = inferenceMatch2 .getSuperPropertyMatch(); ElkClassExpression rangeMatch = inferenceMatch2.getRangeMatch(); elkInferenceFactory_.getElkPropertyRangePropertyExpansion( subPropertyMatch, superPropertyMatch, rangeMatch); return null; }
SubPropertyChainMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch2( getParent().getFirstPremiseMatch(factory), getSubPropertyMatch(), 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)); }
@Override public Void visit(PropertyRangeInheritedMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkObjectProperty subPropertyMatch = inferenceMatch3 .getSubPropertyMatch(); PropertyRangeInheritedMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); ElkObjectProperty superPropertyMatch = inferenceMatch2 .getSuperPropertyMatch(); ElkClassExpression rangeMatch = inferenceMatch2.getRangeMatch(); elkInferenceFactory_.getElkPropertyRangePropertyExpansion( subPropertyMatch, superPropertyMatch, rangeMatch); return null; }
SubPropertyChainMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch2( getParent().getFirstPremiseMatch(factory), getSubPropertyMatch(), 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)); }
@Override public Void visit(PropertyRangeInheritedMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkObjectProperty subPropertyMatch = inferenceMatch3 .getSubPropertyMatch(); PropertyRangeInheritedMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); ElkObjectProperty superPropertyMatch = inferenceMatch2 .getSuperPropertyMatch(); ElkClassExpression rangeMatch = inferenceMatch2.getRangeMatch(); elkInferenceFactory_.getElkPropertyRangePropertyExpansion( subPropertyMatch, superPropertyMatch, rangeMatch); return null; }
SubPropertyChainMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch2( getParent().getFirstPremiseMatch(factory), getSubPropertyMatch(), 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)); }
@Override public PropertyRangeInheritedMatch3 getPropertyRangeInheritedMatch3( PropertyRangeInheritedMatch2 parent, SubPropertyChainMatch2 firstPremiseMatch) { return new PropertyRangeInheritedMatch3(parent, firstPremiseMatch); }
@Override public String visit(PropertyRangeInheritedMatch3 inferenceMatch3) { return inferenceMatch3.getParent() + " | "; }
public PropertyRangeMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getPropertyRangeMatch2( getParent().getParent().getConclusionMatch(factory), getSubPropertyMatch(), getParent().getRangeMatch()); }
@Override public PropertyRangeInheritedMatch3 getPropertyRangeInheritedMatch3( PropertyRangeInheritedMatch2 parent, SubPropertyChainMatch2 firstPremiseMatch) { return new PropertyRangeInheritedMatch3(parent, firstPremiseMatch); }
@Override public String visit(PropertyRangeInheritedMatch3 inferenceMatch3) { return inferenceMatch3.getParent() + " | "; }
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()); }