@Override public String visit(BackwardLinkReversedExpanded inference) { return String.format("%s -| %s; %s", inference.getConclusion(factory_), inference.getFirstPremise(factory_), inference.getSecondPremise(factory_)); }
@Override public Conclusion getPremise(int index, Factory factory) { switch (index) { case 0: return getFirstPremise(factory); case 1: return getSecondPremise(factory); default: return failGetPremise(index); } }
public ForwardLink getFirstPremise(ForwardLink.Factory factory) { return factory.getForwardLink(getOrigin(), subChain_, getDestination()); }
@Override public O visit(BackwardLinkReversedExpanded inference) { conclusionVisitor_.visit(inference.getFirstPremise(conclusionFactory_)); conclusionVisitor_ .visit(inference.getSecondPremise(conclusionFactory_)); return null; }
@Override public ClassConclusion visit(BackwardLinkReversedExpanded inference) { return inference.getConclusion(conclusionFactory_); }
@Override public O visit(BackwardLinkReversedExpanded inference) { conclusionVisitor_.visit(inference.getFirstPremise(conclusionFactory_)); return null; }
public IndexedSubObjectPropertyOfAxiomMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedSubObjectPropertyOfAxiomMatch1( getParent().getSecondPremise(factory)); }
public IndexedSubObjectPropertyOfAxiom getSecondPremise( IndexedSubObjectPropertyOfAxiom.Factory factory) { return factory.getIndexedSubObjectPropertyOfAxiom(reason_, subChain_, getConclusionRelation()); }
@Override public IndexedContextRoot getOrigin() { return getTraceRoot(); }
@Override public void apply(ForwardLink premise, ContextPremises premises, ClassInferenceProducer producer) { IndexedPropertyChain relation = premise.getChain(); if (relation instanceof IndexedObjectProperty) { return; } // else List<IndexedObjectProperty> superProperties = relation .getToldSuperProperties(); List<ElkAxiom> superPropertiesReasons = relation .getToldSuperPropertiesReasons(); for (int i = 0; i < superProperties.size(); i++) { producer.produce(new BackwardLinkReversedExpanded(premise, superProperties.get(i), superPropertiesReasons.get(i))); } }
@Override public O visit(BackwardLinkReversedExpanded inference) { conclusionVisitor_.visit(inference.getFirstPremise(conclusionFactory_)); conclusionVisitor_ .visit(inference.getSecondPremise(conclusionFactory_)); return null; }
@Override public ClassConclusion visit(BackwardLinkReversedExpanded inference) { return inference.getConclusion(conclusionFactory_); }
@Override public O visit(BackwardLinkReversedExpanded inference) { conclusionVisitor_.visit(inference.getFirstPremise(conclusionFactory_)); return null; }
public IndexedSubObjectPropertyOfAxiomMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedSubObjectPropertyOfAxiomMatch1( getParent().getSecondPremise(factory)); }
public IndexedSubObjectPropertyOfAxiom getSecondPremise( IndexedSubObjectPropertyOfAxiom.Factory factory) { return factory.getIndexedSubObjectPropertyOfAxiom(reason_, subChain_, getConclusionRelation()); }
@Override public IndexedContextRoot getOrigin() { return getTraceRoot(); }
@Override public void apply(ForwardLink premise, ContextPremises premises, ClassInferenceProducer producer) { IndexedPropertyChain relation = premise.getChain(); if (relation instanceof IndexedObjectProperty) { return; } // else List<IndexedObjectProperty> superProperties = relation .getToldSuperProperties(); List<ElkAxiom> superPropertiesReasons = relation .getToldSuperPropertiesReasons(); for (int i = 0; i < superProperties.size(); i++) { producer.produce(new BackwardLinkReversedExpanded(premise, superProperties.get(i), superPropertiesReasons.get(i))); } }
@Override public String visit(BackwardLinkReversedExpanded inference) { return String.format("%s -| %s; %s", inference.getConclusion(factory_), inference.getFirstPremise(factory_), inference.getSecondPremise(factory_)); }
@Override public Conclusion getPremise(int index, Factory factory) { switch (index) { case 0: return getFirstPremise(factory); case 1: return getSecondPremise(factory); default: return failGetPremise(index); } }
@Override public O visit(BackwardLinkReversedExpanded inference) { conclusionVisitor_.visit(inference.getFirstPremise(conclusionFactory_)); conclusionVisitor_ .visit(inference.getSecondPremise(conclusionFactory_)); return null; }