@Override public String visit( SubClassInclusionExpandedSubClassOfMatch3 inferenceMatch3) { return inferenceMatch3.getParent() + " | "; }
@Override public String visit( SubClassInclusionExpandedSubClassOfMatch3 inferenceMatch3) { return inferenceMatch3.getParent() + " | "; }
@Override public String visit( SubClassInclusionExpandedSubClassOfMatch3 inferenceMatch3) { return inferenceMatch3.getParent() + " | "; }
SubClassInclusionComposedMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getFirstPremiseMatch(factory), getExtendedOriginMatch()); }
SubClassInclusionComposedMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getFirstPremiseMatch(factory), getExtendedOriginMatch()); }
SubClassInclusionComposedMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getFirstPremiseMatch(factory), getExtendedOriginMatch()); }
@Override public Void visit( SubClassInclusionExpandedSubClassOfMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch extendedOriginMatch = inferenceMatch3 .getExtendedOriginMatch(); SubClassInclusionExpandedSubClassOfMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); ElkClassExpression conclusionSubsumerMatch = inferenceMatch2 .getConclusionSubsumerMatch(); ElkClassExpression premiseSubsumerMatch = inferenceMatch2 .getPremiseSubsumerMatch(); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedOriginMatch), premiseSubsumerMatch, conclusionSubsumerMatch); return null; }
@Override public Void visit( SubClassInclusionExpandedSubClassOfMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch extendedOriginMatch = inferenceMatch3 .getExtendedOriginMatch(); SubClassInclusionExpandedSubClassOfMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); ElkClassExpression conclusionSubsumerMatch = inferenceMatch2 .getConclusionSubsumerMatch(); ElkClassExpression premiseSubsumerMatch = inferenceMatch2 .getPremiseSubsumerMatch(); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedOriginMatch), premiseSubsumerMatch, conclusionSubsumerMatch); return null; }
@Override public Void visit( SubClassInclusionExpandedSubClassOfMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch extendedOriginMatch = inferenceMatch3 .getExtendedOriginMatch(); SubClassInclusionExpandedSubClassOfMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); ElkClassExpression conclusionSubsumerMatch = inferenceMatch2 .getConclusionSubsumerMatch(); ElkClassExpression premiseSubsumerMatch = inferenceMatch2 .getPremiseSubsumerMatch(); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedOriginMatch), premiseSubsumerMatch, conclusionSubsumerMatch); return null; }