public static void applyForProperty(LinkedSubsumerRule rule, IndexedObjectProperty property, ContextPremises premises, ClassInferenceProducer producer) { for (;;) { if (rule == null) return; PropagationFromExistentialFillerRule matchedRule = MATCHER_ .match(rule); if (matchedRule != null) { matchedRule.applyForProperty(property, premises, producer); return; } // else rule = rule.next(); } }
/** * Generates {@link PropagationImpl}s for the {@link ContextPremises} * that apply for the given {@link IndexedObjectProperty} * * @param property * @param premises * @param producer */ public static void generatePropagations(IndexedObjectProperty property, ContextPremises premises, ClassInferenceProducer producer) { for (IndexedClassExpression ice : premises.getComposedSubsumers()) { PropagationFromExistentialFillerRule.applyForProperty( ice.getCompositionRuleHead(), property, premises, producer); } }
public static void applyForProperty(LinkedSubsumerRule rule, IndexedObjectProperty property, ContextPremises premises, ClassInferenceProducer producer) { for (;;) { if (rule == null) return; PropagationFromExistentialFillerRule matchedRule = MATCHER_ .match(rule); if (matchedRule != null) { matchedRule.applyForProperty(property, premises, producer); return; } // else rule = rule.next(); } }
public static void applyForProperty(LinkedSubsumerRule rule, IndexedObjectProperty property, ContextPremises premises, ClassInferenceProducer producer) { for (;;) { if (rule == null) return; PropagationFromExistentialFillerRule matchedRule = MATCHER_ .match(rule); if (matchedRule != null) { matchedRule.applyForProperty(property, premises, producer); return; } // else rule = rule.next(); } }
/** * Generates {@link PropagationImpl}s for the {@link ContextPremises} * that apply for the given {@link IndexedObjectProperty} * * @param property * @param premises * @param producer */ public static void generatePropagations(IndexedObjectProperty property, ContextPremises premises, ClassInferenceProducer producer) { for (IndexedClassExpression ice : premises.getComposedSubsumers()) { PropagationFromExistentialFillerRule.applyForProperty( ice.getCompositionRuleHead(), property, premises, producer); } }
/** * Generates {@link PropagationImpl}s for the {@link ContextPremises} * that apply for the given {@link IndexedObjectProperty} * * @param property * @param premises * @param producer */ public static void generatePropagations(IndexedObjectProperty property, ContextPremises premises, ClassInferenceProducer producer) { for (IndexedClassExpression ice : premises.getComposedSubsumers()) { PropagationFromExistentialFillerRule.applyForProperty( ice.getCompositionRuleHead(), property, premises, producer); } }