@Override public void apply(Propagation premise, ContextPremises premises, ClassInferenceProducer producer) { final Map<IndexedObjectProperty, ? extends SubContextPremises> subContextMap = premises .getSubContextPremisesByObjectProperty(); IndexedObjectProperty subRoot = premise.getSubDestination(); SubContextPremises targets = subContextMap.get(subRoot); for (IndexedContextRoot target : targets.getLinkedRoots()) { producer.produce(new SubClassInclusionComposedObjectSomeValuesFrom(premise, target)); } if (premises.getLocalReflexiveObjectProperties().contains(subRoot)) { producer.produce(new SubClassInclusionComposedObjectSomeValuesFrom(premise, premises.getRoot())); } }
@Override public void apply(Propagation premise, ContextPremises premises, ClassInferenceProducer producer) { final Map<IndexedObjectProperty, ? extends SubContextPremises> subContextMap = premises .getSubContextPremisesByObjectProperty(); IndexedObjectProperty subRoot = premise.getSubDestination(); SubContextPremises targets = subContextMap.get(subRoot); for (IndexedContextRoot target : targets.getLinkedRoots()) { producer.produce(new SubClassInclusionComposedObjectSomeValuesFrom(premise, target)); } if (premises.getLocalReflexiveObjectProperties().contains(subRoot)) { producer.produce(new SubClassInclusionComposedObjectSomeValuesFrom(premise, premises.getRoot())); } }
@Override public void apply(Propagation premise, ContextPremises premises, ClassInferenceProducer producer) { final Map<IndexedObjectProperty, ? extends SubContextPremises> subContextMap = premises .getSubContextPremisesByObjectProperty(); IndexedObjectProperty subRoot = premise.getSubDestination(); SubContextPremises targets = subContextMap.get(subRoot); for (IndexedContextRoot target : targets.getLinkedRoots()) { producer.produce(new SubClassInclusionComposedObjectSomeValuesFrom(premise, target)); } if (premises.getLocalReflexiveObjectProperties().contains(subRoot)) { producer.produce(new SubClassInclusionComposedObjectSomeValuesFrom(premise, premises.getRoot())); } }
@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)); } }