@Override public SubClassInclusionDecomposedSecondConjunctMatch2 getSubClassInclusionDecomposedSecondConjunctMatch2( SubClassInclusionDecomposedSecondConjunctMatch1 parent, SubClassInclusionDecomposedMatch2 premiseMatch) { return new SubClassInclusionDecomposedSecondConjunctMatch2(parent, premiseMatch); }
SubClassInclusionDecomposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getPremiseMatch(factory), getExtendedOriginMatch(), getFullSubsumerMatch(), getPremiseSubsumerPrefixLength()); }
@Override public Void visit( SubClassInclusionDecomposedSecondConjunctMatch2 inferenceMatch2) { inferenceMatch2.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkObjectIntersectionOf fullSubsumerMatch = inferenceMatch2 .getFullSubsumerMatch(); int subsumerPrefixLength = inferenceMatch2 .getPremiseSubsumerPrefixLength(); IndexedContextRootMatch extendedOriginMatch = inferenceMatch2 .getExtendedOriginMatch(); List<? extends ElkClassExpression> conjuncts = fullSubsumerMatch .getClassExpressions(); int pos = subsumerPrefixLength - 1; // of the decomposed conjunct elkInferenceFactory_ .getElkClassInclusionObjectIntersectionOfDecomposition( conjuncts, pos); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedOriginMatch), conclusionFactory_.getObjectIntersectionOf(conjuncts), conjuncts.get(pos)); return null; }
SubClassInclusionDecomposedSecondConjunctMatch2( SubClassInclusionDecomposedSecondConjunctMatch1 parent, SubClassInclusionDecomposedMatch2 premiseMatch) { super(parent); this.extendedOriginMatch_ = premiseMatch.getExtendedDestinationMatch(); IndexedObjectIntersectionOfMatch premiseSubsumerMatch = premiseMatch .getSubsumerIndexedObjectIntersectionOfMatch(); this.fullSubsumerMatch_ = premiseSubsumerMatch.getFullValue(); this.premiseSubsumerPrefixLength_ = premiseSubsumerMatch .getPrefixLength(); checkEquals(premiseMatch, getPremiseMatch(DEBUG_FACTORY)); }
@Override public String visit( SubClassInclusionDecomposedSecondConjunctMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
@Override public Void visit( SubClassInclusionDecomposedSecondConjunctMatch2 inferenceMatch2) { inferenceMatch2.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkObjectIntersectionOf fullSubsumerMatch = inferenceMatch2 .getFullSubsumerMatch(); int subsumerPrefixLength = inferenceMatch2 .getPremiseSubsumerPrefixLength(); IndexedContextRootMatch extendedOriginMatch = inferenceMatch2 .getExtendedOriginMatch(); List<? extends ElkClassExpression> conjuncts = fullSubsumerMatch .getClassExpressions(); int pos = subsumerPrefixLength - 1; // of the decomposed conjunct elkInferenceFactory_ .getElkClassInclusionObjectIntersectionOfDecomposition( conjuncts, pos); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedOriginMatch), conclusionFactory_.getObjectIntersectionOf(conjuncts), conjuncts.get(pos)); return null; }
SubClassInclusionDecomposedSecondConjunctMatch2( SubClassInclusionDecomposedSecondConjunctMatch1 parent, SubClassInclusionDecomposedMatch2 premiseMatch) { super(parent); this.extendedOriginMatch_ = premiseMatch.getExtendedDestinationMatch(); IndexedObjectIntersectionOfMatch premiseSubsumerMatch = premiseMatch .getSubsumerIndexedObjectIntersectionOfMatch(); this.fullSubsumerMatch_ = premiseSubsumerMatch.getFullValue(); this.premiseSubsumerPrefixLength_ = premiseSubsumerMatch .getPrefixLength(); checkEquals(premiseMatch, getPremiseMatch(DEBUG_FACTORY)); }
@Override public String visit( SubClassInclusionDecomposedSecondConjunctMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
SubClassInclusionDecomposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getPremiseMatch(factory), getExtendedOriginMatch(), getFullSubsumerMatch(), getPremiseSubsumerPrefixLength()); }
@Override public Void visit( SubClassInclusionDecomposedSecondConjunctMatch2 inferenceMatch2) { inferenceMatch2.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkObjectIntersectionOf fullSubsumerMatch = inferenceMatch2 .getFullSubsumerMatch(); int subsumerPrefixLength = inferenceMatch2 .getPremiseSubsumerPrefixLength(); IndexedContextRootMatch extendedOriginMatch = inferenceMatch2 .getExtendedOriginMatch(); List<? extends ElkClassExpression> conjuncts = fullSubsumerMatch .getClassExpressions(); int pos = subsumerPrefixLength - 1; // of the decomposed conjunct elkInferenceFactory_ .getElkClassInclusionObjectIntersectionOfDecomposition( conjuncts, pos); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedOriginMatch), conclusionFactory_.getObjectIntersectionOf(conjuncts), conjuncts.get(pos)); return null; }
SubClassInclusionDecomposedSecondConjunctMatch2( SubClassInclusionDecomposedSecondConjunctMatch1 parent, SubClassInclusionDecomposedMatch2 premiseMatch) { super(parent); this.extendedOriginMatch_ = premiseMatch.getExtendedDestinationMatch(); IndexedObjectIntersectionOfMatch premiseSubsumerMatch = premiseMatch .getSubsumerIndexedObjectIntersectionOfMatch(); this.fullSubsumerMatch_ = premiseSubsumerMatch.getFullValue(); this.premiseSubsumerPrefixLength_ = premiseSubsumerMatch .getPrefixLength(); checkEquals(premiseMatch, getPremiseMatch(DEBUG_FACTORY)); }
@Override public String visit( SubClassInclusionDecomposedSecondConjunctMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
@Override public SubClassInclusionDecomposedSecondConjunctMatch2 getSubClassInclusionDecomposedSecondConjunctMatch2( SubClassInclusionDecomposedSecondConjunctMatch1 parent, SubClassInclusionDecomposedMatch2 premiseMatch) { return new SubClassInclusionDecomposedSecondConjunctMatch2(parent, premiseMatch); }
SubClassInclusionDecomposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getPremiseMatch(factory), getExtendedOriginMatch(), getFullSubsumerMatch(), getPremiseSubsumerPrefixLength()); }
@Override public SubClassInclusionDecomposedSecondConjunctMatch2 getSubClassInclusionDecomposedSecondConjunctMatch2( SubClassInclusionDecomposedSecondConjunctMatch1 parent, SubClassInclusionDecomposedMatch2 premiseMatch) { return new SubClassInclusionDecomposedSecondConjunctMatch2(parent, premiseMatch); }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getConclusionMatch(factory), getExtendedOriginMatch(), getFullSubsumerMatch().getClassExpressions() .get(getPremiseSubsumerPrefixLength() - 1)); }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getConclusionMatch(factory), getExtendedOriginMatch(), getFullSubsumerMatch().getClassExpressions() .get(getPremiseSubsumerPrefixLength() - 1)); }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getConclusionMatch(factory), getExtendedOriginMatch(), getFullSubsumerMatch().getClassExpressions() .get(getPremiseSubsumerPrefixLength() - 1)); }