@Override public Void visit( SubClassInclusionExpandedDefinitionMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch extendedOriginMatch = inferenceMatch3 .getExtendedOriginMatch(); SubClassInclusionExpandedDefinitionMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); ElkClass definedClassMatch = inferenceMatch2.getDefinedClassMatch(); ElkClassExpression definitionMatch = inferenceMatch2 .getDefinitionMatch(); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedOriginMatch), definedClassMatch, definitionMatch); return null; }
@Override public Void visit( SubClassInclusionExpandedDefinitionMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch extendedOriginMatch = inferenceMatch3 .getExtendedOriginMatch(); SubClassInclusionExpandedDefinitionMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); ElkClass definedClassMatch = inferenceMatch2.getDefinedClassMatch(); ElkClassExpression definitionMatch = inferenceMatch2 .getDefinitionMatch(); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedOriginMatch), definedClassMatch, definitionMatch); return null; }
@Override public Void visit( SubClassInclusionExpandedDefinitionMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch extendedOriginMatch = inferenceMatch3 .getExtendedOriginMatch(); SubClassInclusionExpandedDefinitionMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); ElkClass definedClassMatch = inferenceMatch2.getDefinedClassMatch(); ElkClassExpression definitionMatch = inferenceMatch2 .getDefinitionMatch(); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedOriginMatch), definedClassMatch, definitionMatch); return null; }