@Override public Boolean visit( SubsumerSingletonObjectIntersectionOfMatch match) { inferenceFactory_ .getSubClassInclusionComposedSingletonObjectIntersectionOfMatch1( parent, destinationMatch, match.getMember()); return true; }
public ElkClassExpression getMember() { return getValue().getClassExpressions().get(0); }
@Override public SubsumerMatch visit(ElkObjectIntersectionOf match) { switch (match.getClassExpressions().size()) { case 0: return new SubsumerEmptyObjectIntersectionOfMatch(match); case 1: return new SubsumerSingletonObjectIntersectionOfMatch(match); default: return new IndexedObjectIntersectionOfMatch(match); } }
@Override public SubsumerMatch visit(ElkObjectIntersectionOf match) { switch (match.getClassExpressions().size()) { case 0: return new SubsumerEmptyObjectIntersectionOfMatch(match); case 1: return new SubsumerSingletonObjectIntersectionOfMatch(match); default: return new IndexedObjectIntersectionOfMatch(match); } }
@Override public Boolean visit( SubsumerSingletonObjectIntersectionOfMatch match) { inferenceFactory_ .getSubClassInclusionDecomposedSingletonObjectIntersectionOfMatch1( parent, extendedDestinationMatch, match.getMember()); return true; }
@Override public SubsumerMatch visit(ElkObjectIntersectionOf match) { switch (match.getClassExpressions().size()) { case 0: return new SubsumerEmptyObjectIntersectionOfMatch(match); case 1: return new SubsumerSingletonObjectIntersectionOfMatch(match); default: return new IndexedObjectIntersectionOfMatch(match); } }
public ElkClassExpression getMember() { return getValue().getClassExpressions().get(0); }
@Override public Boolean visit( SubsumerSingletonObjectIntersectionOfMatch match) { inferenceFactory_ .getSubClassInclusionDecomposedSingletonObjectIntersectionOfMatch1( parent, extendedDestinationMatch, match.getMember()); return true; }
public ElkClassExpression getMember() { return getValue().getClassExpressions().get(0); }
@Override public Boolean visit( SubsumerSingletonObjectIntersectionOfMatch match) { inferenceFactory_ .getSubClassInclusionDecomposedSingletonObjectIntersectionOfMatch1( parent, extendedDestinationMatch, match.getMember()); return true; }
@Override public Boolean visit( SubsumerSingletonObjectIntersectionOfMatch match) { inferenceFactory_ .getSubClassInclusionComposedSingletonObjectIntersectionOfMatch1( parent, destinationMatch, match.getMember()); return true; }
@Override public Boolean visit( SubsumerSingletonObjectIntersectionOfMatch match) { inferenceFactory_ .getSubClassInclusionComposedSingletonObjectIntersectionOfMatch1( parent, destinationMatch, match.getMember()); return true; }