@Override public String visit( SubClassInclusionObjectHasSelfPropertyRangeMatch3 inferenceMatch3) { return inferenceMatch3.getParent() + " | "; }
@Override public String visit( SubClassInclusionObjectHasSelfPropertyRangeMatch3 inferenceMatch3) { return inferenceMatch3.getParent() + " | "; }
@Override public String visit( SubClassInclusionObjectHasSelfPropertyRangeMatch3 inferenceMatch3) { return inferenceMatch3.getParent() + " | "; }
@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; }
@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; }
@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; }