@Override public SubClassInclusionObjectHasSelfPropertyRangeMatch2 getSubClassInclusionObjectHasSelfPropertyRangeMatch2( SubClassInclusionObjectHasSelfPropertyRangeMatch1 parent, SubClassInclusionDecomposedMatch2 firstPremiseMatch) { return new SubClassInclusionObjectHasSelfPropertyRangeMatch2(parent, firstPremiseMatch); }
SubClassInclusionDecomposedMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getFirstPremiseMatch(factory), getExtendedOriginMatch(), factory.getObjectHasSelf(getPropertyMatch())); }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getParent().getConclusionMatch(factory), getParent().getExtendedOriginMatch(), getRangeMatch()); }
PropertyRangeMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getPropertyRangeMatch2( getParent().getSecondPremiseMatch(factory), getParent().getPropertyMatch(), getRangeMatch()); }
SubClassInclusionObjectHasSelfPropertyRangeMatch3( SubClassInclusionObjectHasSelfPropertyRangeMatch2 parent, PropertyRangeMatch2 secondPremiseMatch) { super(parent); this.rangeMatch_ = secondPremiseMatch.getRangeMatch(); ElkObjectProperty propertyMatch = secondPremiseMatch.getPropertyMatch(); if (!parent.getPropertyMatch().equals(propertyMatch)) { throw new ElkMatchException(parent.getParent().getParent() .getPremiseSubsumer().getProperty(), propertyMatch); } checkEquals(secondPremiseMatch, getSecondPremiseMatch(DEBUG_FACTORY)); }
@Override public Void visit( SubClassInclusionObjectHasSelfPropertyRangeMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkClassExpression rangeMatch = inferenceMatch3.getRangeMatch(); SubClassInclusionObjectHasSelfPropertyRangeMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); IndexedContextRootMatch extendedOriginMatch = inferenceMatch2 .getExtendedOriginMatch(); ElkObjectProperty propertyMatch = inferenceMatch2.getPropertyMatch(); elkInferenceFactory_.getElkClassInclusionReflexivePropertyRange( toElkExpression(extendedOriginMatch), propertyMatch, rangeMatch); return null; }
SubClassInclusionObjectHasSelfPropertyRangeMatch2( SubClassInclusionObjectHasSelfPropertyRangeMatch1 parent, SubClassInclusionDecomposedMatch2 firstPremiseMatch) { super(parent); this.extendedOriginMatch_ = firstPremiseMatch .getExtendedDestinationMatch(); ElkObjectHasSelf premiseSubsumerMatch = firstPremiseMatch .getSubsumerIndexedObjectHasSelfMatch(); ElkObjectPropertyExpression premisePropertyMatch = premiseSubsumerMatch .getProperty(); if (premisePropertyMatch instanceof ElkObjectProperty) { this.propertyMatch_ = (ElkObjectProperty) premisePropertyMatch; } else { throw new ElkMatchException(parent.getParent().getSubsumer(), premiseSubsumerMatch); } checkEquals(firstPremiseMatch, getFirstPremiseMatch(DEBUG_FACTORY)); }
@Override public String visit( SubClassInclusionObjectHasSelfPropertyRangeMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
@Override public Void visit( SubClassInclusionObjectHasSelfPropertyRangeMatch2 inferenceMatch2) { PropertyRangeMatch1 premiseMatch1 = inferenceMatch2 .getSecondPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch2); for (PropertyRangeMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new PropertyRangeMatch2InferenceVisitor(inferenceFactory_, child)) .visit(inferenceMatch2); } return null; }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getParent().getConclusionMatch(factory), getParent().getExtendedOriginMatch(), getRangeMatch()); }
PropertyRangeMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getPropertyRangeMatch2( getParent().getSecondPremiseMatch(factory), getParent().getPropertyMatch(), getRangeMatch()); }
SubClassInclusionObjectHasSelfPropertyRangeMatch3( SubClassInclusionObjectHasSelfPropertyRangeMatch2 parent, PropertyRangeMatch2 secondPremiseMatch) { super(parent); this.rangeMatch_ = secondPremiseMatch.getRangeMatch(); ElkObjectProperty propertyMatch = secondPremiseMatch.getPropertyMatch(); if (!parent.getPropertyMatch().equals(propertyMatch)) { throw new ElkMatchException(parent.getParent().getParent() .getPremiseSubsumer().getProperty(), propertyMatch); } checkEquals(secondPremiseMatch, getSecondPremiseMatch(DEBUG_FACTORY)); }
@Override public Void visit( SubClassInclusionObjectHasSelfPropertyRangeMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkClassExpression rangeMatch = inferenceMatch3.getRangeMatch(); SubClassInclusionObjectHasSelfPropertyRangeMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); IndexedContextRootMatch extendedOriginMatch = inferenceMatch2 .getExtendedOriginMatch(); ElkObjectProperty propertyMatch = inferenceMatch2.getPropertyMatch(); elkInferenceFactory_.getElkClassInclusionReflexivePropertyRange( toElkExpression(extendedOriginMatch), propertyMatch, rangeMatch); return null; }
SubClassInclusionObjectHasSelfPropertyRangeMatch2( SubClassInclusionObjectHasSelfPropertyRangeMatch1 parent, SubClassInclusionDecomposedMatch2 firstPremiseMatch) { super(parent); this.extendedOriginMatch_ = firstPremiseMatch .getExtendedDestinationMatch(); ElkObjectHasSelf premiseSubsumerMatch = firstPremiseMatch .getSubsumerIndexedObjectHasSelfMatch(); ElkObjectPropertyExpression premisePropertyMatch = premiseSubsumerMatch .getProperty(); if (premisePropertyMatch instanceof ElkObjectProperty) { this.propertyMatch_ = (ElkObjectProperty) premisePropertyMatch; } else { throw new ElkMatchException(parent.getParent().getSubsumer(), premiseSubsumerMatch); } checkEquals(firstPremiseMatch, getFirstPremiseMatch(DEBUG_FACTORY)); }
@Override public String visit( SubClassInclusionObjectHasSelfPropertyRangeMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
@Override public Void visit( SubClassInclusionObjectHasSelfPropertyRangeMatch2 inferenceMatch2) { PropertyRangeMatch1 premiseMatch1 = inferenceMatch2 .getSecondPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch2); for (PropertyRangeMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new PropertyRangeMatch2InferenceVisitor(inferenceFactory_, child)) .visit(inferenceMatch2); } return null; }
SubClassInclusionDecomposedMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getFirstPremiseMatch(factory), getExtendedOriginMatch(), factory.getObjectHasSelf(getPropertyMatch())); }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getParent().getConclusionMatch(factory), getParent().getExtendedOriginMatch(), getRangeMatch()); }
PropertyRangeMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getPropertyRangeMatch2( getParent().getSecondPremiseMatch(factory), getParent().getPropertyMatch(), getRangeMatch()); }
SubClassInclusionObjectHasSelfPropertyRangeMatch3( SubClassInclusionObjectHasSelfPropertyRangeMatch2 parent, PropertyRangeMatch2 secondPremiseMatch) { super(parent); this.rangeMatch_ = secondPremiseMatch.getRangeMatch(); ElkObjectProperty propertyMatch = secondPremiseMatch.getPropertyMatch(); if (!parent.getPropertyMatch().equals(propertyMatch)) { throw new ElkMatchException(parent.getParent().getParent() .getPremiseSubsumer().getProperty(), propertyMatch); } checkEquals(secondPremiseMatch, getSecondPremiseMatch(DEBUG_FACTORY)); }