@Override public Boolean visit(final IndexedContextRootClassExpressionMatch match) { return other_.accept(new DefaultVisitor() { @Override public Boolean visit(IndexedContextRootClassExpressionMatch other) { return equals(other.getValue(), match.getValue()) && equals( other.getRangeMatches(), match.getRangeMatches()); } }); }
private List<? extends ElkClassExpression> getFillerRanges( IndexedContextRootMatch rootMatch) { return rootMatch.getFillerMatches(conclusionFactory_); }
private ElkClassExpression toElkExpression( IndexedContextRootMatch rootMatch) { return rootMatch.toElkExpression(conclusionFactory_); }
@Override public Void visit(SubClassInclusionRangeMatch2 inferenceMatch2) { inferenceMatch2.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkClassExpression conclusionSubsumerMatch = inferenceMatch2 .getConclusionSubsumerMatch(); SubClassInclusionRangeMatch1 inferenceMatch1 = inferenceMatch2 .getParent(); IndexedContextRootMatch originMatch = inferenceMatch1.getOriginMatch(); List<? extends ElkClassExpression> rangeMatches = originMatch .getRangeMatches(); List<ElkClassExpression> fillerRanges = new ArrayList<ElkClassExpression>( rangeMatches.size() + 2); fillerRanges.add(originMatch.getMainFillerMatch(conclusionFactory_)); fillerRanges.addAll(originMatch.getRangeMatches()); fillerRanges.add(conclusionSubsumerMatch); elkInferenceFactory_ .getElkClassInclusionObjectIntersectionOfDecomposition( fillerRanges, fillerRanges.size() - 1); return null; }
@Override public Void visit(SubClassInclusionTautologyMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch originMatch = inferenceMatch1.getOriginMatch(); if (originMatch.getRangeMatches().isEmpty()) { elkInferenceFactory_.getElkClassInclusionTautology( toElkExpression(originMatch)); } else { elkInferenceFactory_ .getElkClassInclusionObjectIntersectionOfDecomposition( getFillerRanges(originMatch), 0); } return null; }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getConclusionMatch(factory), getParent().getOriginMatch() .extend(getConclusionSubsumerMatch()), getConclusionSubsumerMatch()); }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParentConclusionMatch(factory), getOriginMatch(), getOriginMatch().getMainFillerMatch(factory)); }
@Override public Void visit(SubClassInclusionRangeMatch2 inferenceMatch2) { inferenceMatch2.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkClassExpression conclusionSubsumerMatch = inferenceMatch2 .getConclusionSubsumerMatch(); SubClassInclusionRangeMatch1 inferenceMatch1 = inferenceMatch2 .getParent(); IndexedContextRootMatch originMatch = inferenceMatch1.getOriginMatch(); List<? extends ElkClassExpression> rangeMatches = originMatch .getRangeMatches(); List<ElkClassExpression> fillerRanges = new ArrayList<ElkClassExpression>( rangeMatches.size() + 2); fillerRanges.add(originMatch.getMainFillerMatch(conclusionFactory_)); fillerRanges.addAll(originMatch.getRangeMatches()); fillerRanges.add(conclusionSubsumerMatch); elkInferenceFactory_ .getElkClassInclusionObjectIntersectionOfDecomposition( fillerRanges, fillerRanges.size() - 1); return null; }
@Override public Void visit(SubClassInclusionTautologyMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch originMatch = inferenceMatch1.getOriginMatch(); if (originMatch.getRangeMatches().isEmpty()) { elkInferenceFactory_.getElkClassInclusionTautology( toElkExpression(originMatch)); } else { elkInferenceFactory_ .getElkClassInclusionObjectIntersectionOfDecomposition( getFillerRanges(originMatch), 0); } return null; }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getConclusionMatch(factory), getParent().getOriginMatch() .extend(getConclusionSubsumerMatch()), getConclusionSubsumerMatch()); }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParentConclusionMatch(factory), getOriginMatch(), getOriginMatch().getMainFillerMatch(factory)); }
@Override public Boolean visit(final IndexedContextRootIndividualMatch match) { return other_.accept(new DefaultVisitor() { @Override public Boolean visit(IndexedContextRootIndividualMatch other) { return equals(other.getValue(), match.getValue()) && equals( other.getRangeMatches(), match.getRangeMatches()); } }); }
@Override public Void visit(SubClassInclusionRangeMatch2 inferenceMatch2) { inferenceMatch2.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkClassExpression conclusionSubsumerMatch = inferenceMatch2 .getConclusionSubsumerMatch(); SubClassInclusionRangeMatch1 inferenceMatch1 = inferenceMatch2 .getParent(); IndexedContextRootMatch originMatch = inferenceMatch1.getOriginMatch(); List<? extends ElkClassExpression> rangeMatches = originMatch .getRangeMatches(); List<ElkClassExpression> fillerRanges = new ArrayList<ElkClassExpression>( rangeMatches.size() + 2); fillerRanges.add(originMatch.getMainFillerMatch(conclusionFactory_)); fillerRanges.addAll(originMatch.getRangeMatches()); fillerRanges.add(conclusionSubsumerMatch); elkInferenceFactory_ .getElkClassInclusionObjectIntersectionOfDecomposition( fillerRanges, fillerRanges.size() - 1); return null; }
@Override public Void visit(SubClassInclusionTautologyMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch originMatch = inferenceMatch1.getOriginMatch(); if (originMatch.getRangeMatches().isEmpty()) { elkInferenceFactory_.getElkClassInclusionTautology( toElkExpression(originMatch)); } else { elkInferenceFactory_ .getElkClassInclusionObjectIntersectionOfDecomposition( getFillerRanges(originMatch), 0); } return null; }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getConclusionMatch(factory), getParent().getOriginMatch() .extend(getConclusionSubsumerMatch()), getConclusionSubsumerMatch()); }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParentConclusionMatch(factory), getOriginMatch(), getOriginMatch().getMainFillerMatch(factory)); }
private List<? extends ElkClassExpression> getFillerRanges( IndexedContextRootMatch rootMatch) { return rootMatch.getFillerMatches(conclusionFactory_); }
private ElkClassExpression toElkExpression( IndexedContextRootMatch rootMatch) { return rootMatch.toElkExpression(conclusionFactory_); }
@Override public Boolean visit(final IndexedContextRootClassExpressionMatch match) { return other_.accept(new DefaultVisitor() { @Override public Boolean visit(IndexedContextRootClassExpressionMatch other) { return equals(other.getValue(), match.getValue()) && equals( other.getRangeMatches(), match.getRangeMatches()); } }); }
@Override public Void visit(ForwardLinkOfObjectSomeValuesFromMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch extendedTargetMatch = inferenceMatch3 .getExtendedTargetMatch(); ForwardLinkOfObjectSomeValuesFromMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); IndexedObjectSomeValuesFromMatch premiseSuperExpressionMatch = inferenceMatch2 .getPremiseSuperExpressionMatch(); IndexedContextRootMatch extendedOriginMatch = inferenceMatch2 .getExtendedOriginMatch(); ElkObjectPropertyExpression propertyMatch = premiseSuperExpressionMatch .getPropertyMatch(); ElkClassExpression fillerMatch = getFillerMatch( premiseSuperExpressionMatch); elkInferenceFactory_.getElkClassInclusionExistentialRange(propertyMatch, fillerMatch, extendedTargetMatch.getRangeMatches()); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedOriginMatch), conclusionFactory_.getObjectSomeValuesFrom(propertyMatch, fillerMatch), conclusionFactory_.getObjectSomeValuesFrom(propertyMatch, toElkExpression(extendedTargetMatch))); return null; }