void applyCompositionRules(RuleVisitor<?> ruleAppVisitor, ContextPremises premises, ClassInferenceProducer producer) { LinkedSubsumerRule compositionRule = expression_ .getCompositionRuleHead(); while (compositionRule != null) { compositionRule.accept(ruleAppVisitor, expression_, premises, producer); compositionRule = compositionRule.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(); } }
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(); } }
void applyCompositionRules(RuleVisitor<?> ruleAppVisitor, ContextPremises premises, ClassInferenceProducer producer) { LinkedSubsumerRule compositionRule = expression_ .getCompositionRuleHead(); while (compositionRule != null) { compositionRule.accept(ruleAppVisitor, expression_, premises, producer); compositionRule = compositionRule.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(); } }
private void applyCompositionRules(Context context, IndexedClassExpression changedICE) { LinkedSubsumerRule nextLocalRule = changedCompositionRules_ .get(changedICE); if (nextLocalRule != null) { localCompsitionRuleHits_++; LOGGER_.trace("{}: applying composition rules for {}", context, changedICE); } while (nextLocalRule != null) { nextLocalRule.accept(ruleAppVisitor, changedICE, context, saturationStateWriter); nextLocalRule = nextLocalRule.next(); } }
private void applyCompositionRules(Context context, IndexedClassExpression changedICE) { LinkedSubsumerRule nextLocalRule = changedCompositionRules_ .get(changedICE); if (nextLocalRule != null) { localCompsitionRuleHits_++; LOGGER_.trace("{}: applying composition rules for {}", context, changedICE); } while (nextLocalRule != null) { nextLocalRule.accept(ruleAppVisitor, changedICE, context, saturationStateWriter); nextLocalRule = nextLocalRule.next(); } }
private void applyCompositionRules(Context context, IndexedClassExpression changedICE) { LinkedSubsumerRule nextLocalRule = changedCompositionRules_ .get(changedICE); if (nextLocalRule != null) { localCompsitionRuleHits_++; LOGGER_.trace("{}: applying composition rules for {}", context, changedICE); } while (nextLocalRule != null) { nextLocalRule.accept(ruleAppVisitor, changedICE, context, saturationStateWriter); nextLocalRule = nextLocalRule.next(); } }
void applyCompositionRules(RuleVisitor<?> ruleAppVisitor, ContextPremises premises, ClassInferenceProducer producer) { LinkedSubsumerRule compositionRule = expression_ .getCompositionRuleHead(); while (compositionRule != null) { compositionRule.accept(ruleAppVisitor, expression_, premises, producer); compositionRule = compositionRule.next(); } }
@Override public Boolean visit(SubClassInclusionComposed conclusion) { IndexedClassExpression subsumer = conclusion.getSubsumer(); LinkedSubsumerRule compositionRule = subsumer.getCompositionRuleHead(); while (compositionRule != null) { compositionRule.accept(ruleAppVisitor, subsumer, get(), producer); compositionRule = compositionRule.next(); } return true; }
@Override public Boolean visit(SubClassInclusionComposed conclusion) { IndexedClassExpression subsumer = conclusion.getSubsumer(); LinkedSubsumerRule compositionRule = subsumer.getCompositionRuleHead(); while (compositionRule != null) { compositionRule.accept(ruleAppVisitor, subsumer, get(), producer); compositionRule = compositionRule.next(); } return true; }
@Override public Boolean visit(SubClassInclusionComposed conclusion) { IndexedClassExpression subsumer = conclusion.getSubsumer(); LinkedSubsumerRule compositionRule = subsumer.getCompositionRuleHead(); while (compositionRule != null) { compositionRule.accept(ruleAppVisitor, subsumer, get(), producer); compositionRule = compositionRule.next(); } return true; }
private void validate(IndexedClassExpression ice) { LOGGER_.trace("Validating class expression {}", ice); // this is the main check if (!ice.occurs()) { LOGGER_.error("Dead class expression: {}", ice); } // validating context Context context = saturationState_.getContext(ice); if (context != null) { contextValidator_.add(context); } if (ice instanceof IndexedObjectSomeValuesFrom) { IndexedContextRoot root = ((IndexedObjectSomeValuesFrom) ice) .getRangeFiller(); context = saturationState_.getContext(root); if (context != null) { contextValidator_.add(context); } } // validating context rules LinkedSubsumerRule rule = ice.getCompositionRuleHead(); while (rule != null) { rule.accept(ruleValidator_, ice, null, null); rule = rule.next(); } } }