@Override public Set<IndexedClassExpression> getComposedSubsumers() { // local return localPremises_.getComposedSubsumers(); }
@Override public Set<IndexedClassExpression> getComposedSubsumers() { // local return localPremises_.getComposedSubsumers(); }
@Override public Set<IndexedClassExpression> getComposedSubsumers() { // local return localPremises_.getComposedSubsumers(); }
/** * 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); } }
/** * 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); } }
@Override public void apply(IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { for (IndexedClassExpression common : new LazySetIntersection<IndexedClassExpression>( conjunctionsByConjunct_.keySet(), premises.getComposedSubsumers())) { producer.produce(new SubClassInclusionComposedObjectIntersectionOf(premises.getRoot(), conjunctionsByConjunct_.get(common))); } }
@Override public void apply(IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { for (IndexedClassExpression common : new LazySetIntersection<IndexedClassExpression>( conjunctionsByConjunct_.keySet(), premises.getComposedSubsumers())) { producer.produce(new SubClassInclusionComposedObjectIntersectionOf(premises.getRoot(), conjunctionsByConjunct_.get(common))); } }
@Override public void apply(IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { for (IndexedClassExpression common : new LazySetIntersection<IndexedClassExpression>( conjunctionsByConjunct_.keySet(), premises.getComposedSubsumers())) { producer.produce(new SubClassInclusionComposedObjectIntersectionOf(premises.getRoot(), conjunctionsByConjunct_.get(common))); } }
@Override public void apply(IndexedObjectComplementOf premise, ContextPremises premises, ClassInferenceProducer producer) { if (premises.getComposedSubsumers().contains(premise.getNegated())) { producer.produce(new ClassInconsistencyOfObjectComplementOf(premises.getRoot(), premise)); } }
@Override public void apply(IndexedObjectComplementOf premise, ContextPremises premises, ClassInferenceProducer producer) { if (premises.getComposedSubsumers().contains(premise.getNegated())) { producer.produce(new ClassInconsistencyOfObjectComplementOf(premises.getRoot(), premise)); } }
@Override public void apply(IndexedObjectComplementOf premise, ContextPremises premises, ClassInferenceProducer producer) { if (premises.getComposedSubsumers().contains(premise.getNegated())) { producer.produce(new ClassInconsistencyOfObjectComplementOf(premises.getRoot(), premise)); } }