@Override public Iterable<? extends IndexedObjectSomeValuesFrom> getPropagatedSubsumers( IndexedPropertyChain subRoot) { // local return localPremises_.getPropagatedSubsumers(subRoot); }
@Override public Iterable<? extends IndexedObjectSomeValuesFrom> getPropagatedSubsumers( IndexedPropertyChain subRoot) { // local return localPremises_.getPropagatedSubsumers(subRoot); }
@Override public Iterable<? extends IndexedObjectSomeValuesFrom> getPropagatedSubsumers( IndexedPropertyChain subRoot) { // local return localPremises_.getPropagatedSubsumers(subRoot); }
@Override public void apply(BackwardLink premise, ContextPremises premises, ClassInferenceProducer producer) { for (IndexedObjectSomeValuesFrom carry : premises .getPropagatedSubsumers(premise.getRelation())) { producer.produce(new SubClassInclusionComposedObjectSomeValuesFrom(premise, carry)); } }
@Override public void apply(BackwardLink premise, ContextPremises premises, ClassInferenceProducer producer) { for (IndexedObjectSomeValuesFrom carry : premises .getPropagatedSubsumers(premise.getRelation())) { producer.produce(new SubClassInclusionComposedObjectSomeValuesFrom(premise, carry)); } }
@Override public void apply(BackwardLink premise, ContextPremises premises, ClassInferenceProducer producer) { for (IndexedObjectSomeValuesFrom carry : premises .getPropagatedSubsumers(premise.getRelation())) { producer.produce(new SubClassInclusionComposedObjectSomeValuesFrom(premise, carry)); } }