private ElkClassExpression getFillerMatch( IndexedObjectSomeValuesFromMatch match) { return match.accept( new IndexedObjectSomeValuesFromMatch.Visitor<ElkClassExpression>() { @Override public ElkClassExpression visit( SubsumerObjectHasValueMatch match) { return conclusionFactory_.getObjectOneOf(Collections .singletonList(match.getValue().getFiller())); } @Override public ElkClassExpression visit( SubsumerObjectSomeValuesFromMatch match) { return match.getValue().getFiller(); } }); }
@Override protected IndexedContextRootMatch defaultVisit( IndexedClassExpression element) { return premiseSuperExpressionMatch_ .getFillerRootMatch(factory); }
ElkObjectProperty getPremisePropertyMatch( IndexedObjectProperty premiseProperty) { ElkObjectPropertyExpression premisePropertyMatch = premiseSuperExpressionMatch_ .getPropertyMatch(); if (premisePropertyMatch instanceof ElkObjectProperty) { return (ElkObjectProperty) premisePropertyMatch; } else { throw new ElkMatchException(premiseProperty, premisePropertyMatch); } }
@Override public IndexedContextRootMatch visit( IndexedRangeFiller element) { return premiseSuperExpressionMatch_ .getRangeRootMatch(factory); }
public SubClassInclusionComposedMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getSecondPremise(factory), destinationMatch_, SubsumerMatches .create(getConclusionCarryMatch().getFillerMatch())); }
@Override public IndexedContextRootMatch visit( IndexedRangeFiller element) { return premiseSuperExpressionMatch_ .getRangeRootMatch(factory); }
public SubClassInclusionComposedMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getSecondPremise(factory), destinationMatch_, SubsumerMatches .create(getConclusionCarryMatch().getFillerMatch())); }
ElkObjectProperty getPremisePropertyMatch( IndexedObjectProperty premiseProperty) { ElkObjectPropertyExpression premisePropertyMatch = premiseSuperExpressionMatch_ .getPropertyMatch(); if (premisePropertyMatch instanceof ElkObjectProperty) { return (ElkObjectProperty) premisePropertyMatch; } else { throw new ElkMatchException(premiseProperty, premisePropertyMatch); } }
@Override protected IndexedContextRootMatch defaultVisit( IndexedClassExpression element) { return premiseSuperExpressionMatch_ .getFillerRootMatch(factory); }
@Override public IndexedContextRootMatch visit( IndexedRangeFiller element) { return premiseSuperExpressionMatch_ .getRangeRootMatch(factory); }
public SubClassInclusionComposedMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getSecondPremise(factory), destinationMatch_, SubsumerMatches .create(getConclusionCarryMatch().getFillerMatch())); }
private ElkClassExpression getFillerMatch( IndexedObjectSomeValuesFromMatch match) { return match.accept( new IndexedObjectSomeValuesFromMatch.Visitor<ElkClassExpression>() { @Override public ElkClassExpression visit( SubsumerObjectHasValueMatch match) { return conclusionFactory_.getObjectOneOf(Collections .singletonList(match.getValue().getFiller())); } @Override public ElkClassExpression visit( SubsumerObjectSomeValuesFromMatch match) { return match.getValue().getFiller(); } }); }
ElkObjectProperty getPremisePropertyMatch( IndexedObjectProperty premiseProperty) { ElkObjectPropertyExpression premisePropertyMatch = premiseSuperExpressionMatch_ .getPropertyMatch(); if (premisePropertyMatch instanceof ElkObjectProperty) { return (ElkObjectProperty) premisePropertyMatch; } else { throw new ElkMatchException(premiseProperty, premisePropertyMatch); } }
@Override protected IndexedContextRootMatch defaultVisit( IndexedClassExpression element) { return premiseSuperExpressionMatch_ .getFillerRootMatch(factory); }
private ElkClassExpression getFillerMatch( IndexedObjectSomeValuesFromMatch match) { return match.accept( new IndexedObjectSomeValuesFromMatch.Visitor<ElkClassExpression>() { @Override public ElkClassExpression visit( SubsumerObjectHasValueMatch match) { return conclusionFactory_.getObjectOneOf(Collections .singletonList(match.getValue().getFiller())); } @Override public ElkClassExpression visit( SubsumerObjectSomeValuesFromMatch match) { return match.getValue().getFiller(); } }); }
public SubPropertyChainMatch1 getThirdPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch1( getParent().getParent().getThirdPremise(factory), getParent().getConclusionCarryMatch().getPropertyMatch(), 0); }
public SubPropertyChainMatch1 getThirdPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch1( getParent().getParent().getThirdPremise(factory), getParent().getConclusionCarryMatch().getPropertyMatch(), 0); }
public SubPropertyChainMatch1 getThirdPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch1( getParent().getParent().getThirdPremise(factory), getParent().getConclusionCarryMatch().getPropertyMatch(), 0); }
ForwardLinkOfObjectSomeValuesFromMatch2( ForwardLinkOfObjectSomeValuesFromMatch1 parent, SubClassInclusionDecomposedMatch2 premiseMatch) { super(parent, premiseMatch); if (!getParent().getForwardRelationMatch() .equals(getPremiseSuperExpressionMatch().getPropertyMatch())) { throw new ElkMatchException( parent.getParent().getDecomposedExistential(), getPremiseSuperExpressionMatch()); } this.extendedOriginMatch_ = premiseMatch.getExtendedDestinationMatch(); checkEquals(premiseMatch, getPremiseMatch(DEBUG_FACTORY)); }
ForwardLinkOfObjectSomeValuesFromMatch2( ForwardLinkOfObjectSomeValuesFromMatch1 parent, SubClassInclusionDecomposedMatch2 premiseMatch) { super(parent, premiseMatch); if (!getParent().getForwardRelationMatch() .equals(getPremiseSuperExpressionMatch().getPropertyMatch())) { throw new ElkMatchException( parent.getParent().getDecomposedExistential(), getPremiseSuperExpressionMatch()); } this.extendedOriginMatch_ = premiseMatch.getExtendedDestinationMatch(); checkEquals(premiseMatch, getPremiseMatch(DEBUG_FACTORY)); }