@Override public String visit(ForwardLinkOfObjectHasSelf inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getPremise(factory_)); }
@Override public Conclusion getPremise(int index, Factory factory) { switch (index) { case 0: return getPremise(factory); default: return failGetPremise(index); } }
/** * @param factory * the factory for creating conclusions * * @return the conclusion produced by this inference */ public ForwardLink getConclusion(ForwardLink.Factory factory) { return factory.getForwardLink(getDestination(), existential_.getProperty(), getOrigin()); }
@Override public ClassConclusion visit(ForwardLinkOfObjectHasSelf inference) { return inference.getConclusion(conclusionFactory_); }
@Override public O visit(ForwardLinkOfObjectHasSelf inference) { conclusionVisitor_.visit(inference.getPremise(conclusionFactory_)); return null; }
ForwardLinkOfObjectHasSelfMatch2(ForwardLinkOfObjectHasSelfMatch1 parent, SubClassInclusionDecomposedMatch2 premiseMatch) { super(parent); ElkObjectHasSelf existential = premiseMatch .getSubsumerIndexedObjectHasSelfMatch(); if (!parent.getForwardRelationMatch() .equals(existential.getProperty())) { throw new ElkMatchException( parent.getParent().getDecomposedExistential(), existential); } this.extendedOriginMatch_ = premiseMatch.getExtendedDestinationMatch(); checkEquals(premiseMatch, getPremiseMatch(DEBUG_FACTORY)); }
public static void produceDecomposedExistentialLink( ClassInferenceProducer producer, IndexedContextRoot root, IndexedObjectHasSelf subsumer) { producer.produce( new BackwardLinkOfObjectHasSelf(root, subsumer)); if (!subsumer.getProperty().getSaturated() .getNonRedundantCompositionsByLeftSubProperty().isEmpty()) { producer.produce( new ForwardLinkOfObjectHasSelf(root, subsumer)); } }
public SubClassInclusionDecomposed getPremise( SubClassInclusionDecomposed.Factory factory) { return factory.getSubClassInclusionDecomposed(getOrigin(), existential_); }
@Override public IndexedContextRoot getOrigin() { return getDestination(); }
@Override public ClassConclusion visit(ForwardLinkOfObjectHasSelf inference) { return inference.getConclusion(conclusionFactory_); }
@Override public O visit(ForwardLinkOfObjectHasSelf inference) { conclusionVisitor_.visit(inference.getPremise(conclusionFactory_)); return null; }
ForwardLinkOfObjectHasSelfMatch2(ForwardLinkOfObjectHasSelfMatch1 parent, SubClassInclusionDecomposedMatch2 premiseMatch) { super(parent); ElkObjectHasSelf existential = premiseMatch .getSubsumerIndexedObjectHasSelfMatch(); if (!parent.getForwardRelationMatch() .equals(existential.getProperty())) { throw new ElkMatchException( parent.getParent().getDecomposedExistential(), existential); } this.extendedOriginMatch_ = premiseMatch.getExtendedDestinationMatch(); checkEquals(premiseMatch, getPremiseMatch(DEBUG_FACTORY)); }
public static void produceDecomposedExistentialLink( ClassInferenceProducer producer, IndexedContextRoot root, IndexedObjectHasSelf subsumer) { producer.produce( new BackwardLinkOfObjectHasSelf(root, subsumer)); if (!subsumer.getProperty().getSaturated() .getNonRedundantCompositionsByLeftSubProperty().isEmpty()) { producer.produce( new ForwardLinkOfObjectHasSelf(root, subsumer)); } }
public SubClassInclusionDecomposed getPremise( SubClassInclusionDecomposed.Factory factory) { return factory.getSubClassInclusionDecomposed(getOrigin(), existential_); }
@Override public IndexedContextRoot getOrigin() { return getDestination(); }
@Override public String visit(ForwardLinkOfObjectHasSelf inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getPremise(factory_)); }
@Override public Conclusion getPremise(int index, Factory factory) { switch (index) { case 0: return getPremise(factory); default: return failGetPremise(index); } }
@Override public ClassConclusion visit(ForwardLinkOfObjectHasSelf inference) { return inference.getConclusion(conclusionFactory_); }
@Override public O visit(ForwardLinkOfObjectHasSelf inference) { conclusionVisitor_.visit(inference.getPremise(conclusionFactory_)); return null; }
/** * @param factory * the factory for creating conclusions * * @return the conclusion produced by this inference */ public ForwardLink getConclusion(ForwardLink.Factory factory) { return factory.getForwardLink(getDestination(), existential_.getProperty(), getOrigin()); }