@Override public void apply(IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { final Map<IndexedObjectProperty, ? extends SubContextPremises> subContextMap = premises .getSubContextPremisesByObjectProperty(); final Set<IndexedObjectProperty> candidatePropagationProperties = new LazySetUnion<IndexedObjectProperty>( premises.getLocalReflexiveObjectProperties(), subContextMap.keySet()); if (candidatePropagationProperties.isEmpty()) { return; } for (IndexedObjectSomeValuesFrom e : negExistentials_) { IndexedObjectProperty relation = e.getProperty(); /* * creating propagations for relevant sub-properties of the relation */ SaturatedPropertyChain saturation = relation.getSaturated(); for (IndexedObjectProperty property : new LazySetIntersection<IndexedObjectProperty>( candidatePropagationProperties, saturation.getSubProperties())) { if (subContextMap.get(property).isInitialized()) { producer.produce(new PropagationGenerated(premises .getRoot(), property, e)); } } } }
@Override public void apply(IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { final Map<IndexedObjectProperty, ? extends SubContextPremises> subContextMap = premises .getSubContextPremisesByObjectProperty(); final Set<IndexedObjectProperty> candidatePropagationProperties = new LazySetUnion<IndexedObjectProperty>( premises.getLocalReflexiveObjectProperties(), subContextMap.keySet()); if (candidatePropagationProperties.isEmpty()) { return; } for (IndexedObjectSomeValuesFrom e : negExistentials_) { IndexedObjectProperty relation = e.getProperty(); /* * creating propagations for relevant sub-properties of the relation */ SaturatedPropertyChain saturation = relation.getSaturated(); for (IndexedObjectProperty property : new LazySetIntersection<IndexedObjectProperty>( candidatePropagationProperties, saturation.getSubProperties())) { if (subContextMap.get(property).isInitialized()) { producer.produce(new PropagationGenerated(premises .getRoot(), property, e)); } } } }
@Override public void apply(IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { final Map<IndexedObjectProperty, ? extends SubContextPremises> subContextMap = premises .getSubContextPremisesByObjectProperty(); final Set<IndexedObjectProperty> candidatePropagationProperties = new LazySetUnion<IndexedObjectProperty>( premises.getLocalReflexiveObjectProperties(), subContextMap.keySet()); if (candidatePropagationProperties.isEmpty()) { return; } for (IndexedObjectSomeValuesFrom e : negExistentials_) { IndexedObjectProperty relation = e.getProperty(); /* * creating propagations for relevant sub-properties of the relation */ SaturatedPropertyChain saturation = relation.getSaturated(); for (IndexedObjectProperty property : new LazySetIntersection<IndexedObjectProperty>( candidatePropagationProperties, saturation.getSubProperties())) { if (subContextMap.get(property).isInitialized()) { producer.produce(new PropagationGenerated(premises .getRoot(), property, e)); } } } }