@Override public Map<IndexedObjectProperty, ? extends SubContextPremises> getSubContextPremisesByObjectProperty() { // non-local return nonLocalPremises_.getSubContextPremisesByObjectProperty(); }
@Override public Map<IndexedObjectProperty, ? extends SubContextPremises> getSubContextPremisesByObjectProperty() { // non-local return nonLocalPremises_.getSubContextPremisesByObjectProperty(); }
@Override public Map<IndexedObjectProperty, ? extends SubContextPremises> getSubContextPremisesByObjectProperty() { // non-local return nonLocalPremises_.getSubContextPremisesByObjectProperty(); }
@Override public void apply(ClassInconsistency premise, ContextPremises premises, ClassInferenceProducer producer) { final Map<IndexedObjectProperty, ? extends SubContextPremises> subPremises = premises .getSubContextPremisesByObjectProperty(); // no need to propagate over reflexive links for (IndexedObjectProperty propRelation : subPremises.keySet()) { for (IndexedContextRoot target : subPremises.get(propRelation) .getLinkedRoots()) { // producer.produce(target, premise); producer.produce(new ClassInconsistencyPropagated( premises.getRoot(), propRelation, target)); } } }
@Override public void apply(ClassInconsistency premise, ContextPremises premises, ClassInferenceProducer producer) { final Map<IndexedObjectProperty, ? extends SubContextPremises> subPremises = premises .getSubContextPremisesByObjectProperty(); // no need to propagate over reflexive links for (IndexedObjectProperty propRelation : subPremises.keySet()) { for (IndexedContextRoot target : subPremises.get(propRelation) .getLinkedRoots()) { // producer.produce(target, premise); producer.produce(new ClassInconsistencyPropagated( premises.getRoot(), propRelation, target)); } } }
@Override public void apply(ClassInconsistency premise, ContextPremises premises, ClassInferenceProducer producer) { final Map<IndexedObjectProperty, ? extends SubContextPremises> subPremises = premises .getSubContextPremisesByObjectProperty(); // no need to propagate over reflexive links for (IndexedObjectProperty propRelation : subPremises.keySet()) { for (IndexedContextRoot target : subPremises.get(propRelation) .getLinkedRoots()) { // producer.produce(target, premise); producer.produce(new ClassInconsistencyPropagated( premises.getRoot(), propRelation, target)); } } }
@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())); } }
private void apply( final Multimap<IndexedObjectProperty, IndexedComplexPropertyChain> compsByBackwardRelation, ContextPremises premises, ClassInferenceProducer producer) { /* compose the link with all non-reflexive backward links */ final Map<IndexedObjectProperty, ? extends SubContextPremises> subContextMap = premises .getSubContextPremisesByObjectProperty(); for (IndexedObjectProperty backwardRelation : new LazySetIntersection<IndexedObjectProperty>( compsByBackwardRelation.keySet(), subContextMap.keySet())) { Collection<IndexedComplexPropertyChain> compositions = compsByBackwardRelation .get(backwardRelation); SubContextPremises subPremises = subContextMap .get(backwardRelation); for (IndexedComplexPropertyChain composition : compositions) for (IndexedContextRoot source : subPremises.getLinkedRoots()) { IndexedObjectSomeValuesFrom.Helper.produceComposedLink( producer, source, backwardRelation, premises.getRoot(), forwardLink_.getChain(), forwardLink_.getTarget(), composition); } } }
private void apply( final Multimap<IndexedObjectProperty, IndexedComplexPropertyChain> compsByBackwardRelation, ContextPremises premises, ClassInferenceProducer producer) { /* compose the link with all non-reflexive backward links */ final Map<IndexedObjectProperty, ? extends SubContextPremises> subContextMap = premises .getSubContextPremisesByObjectProperty(); for (IndexedObjectProperty backwardRelation : new LazySetIntersection<IndexedObjectProperty>( compsByBackwardRelation.keySet(), subContextMap.keySet())) { Collection<IndexedComplexPropertyChain> compositions = compsByBackwardRelation .get(backwardRelation); SubContextPremises subPremises = subContextMap .get(backwardRelation); for (IndexedComplexPropertyChain composition : compositions) for (IndexedContextRoot source : subPremises.getLinkedRoots()) { IndexedObjectSomeValuesFrom.Helper.produceComposedLink( producer, source, backwardRelation, premises.getRoot(), forwardLink_.getChain(), forwardLink_.getTarget(), composition); } } }
private void apply( final Multimap<IndexedObjectProperty, IndexedComplexPropertyChain> compsByBackwardRelation, ContextPremises premises, ClassInferenceProducer producer) { /* compose the link with all non-reflexive backward links */ final Map<IndexedObjectProperty, ? extends SubContextPremises> subContextMap = premises .getSubContextPremisesByObjectProperty(); for (IndexedObjectProperty backwardRelation : new LazySetIntersection<IndexedObjectProperty>( compsByBackwardRelation.keySet(), subContextMap.keySet())) { Collection<IndexedComplexPropertyChain> compositions = compsByBackwardRelation .get(backwardRelation); SubContextPremises subPremises = subContextMap .get(backwardRelation); for (IndexedComplexPropertyChain composition : compositions) for (IndexedContextRoot source : subPremises.getLinkedRoots()) { IndexedObjectSomeValuesFrom.Helper.produceComposedLink( producer, source, backwardRelation, premises.getRoot(), forwardLink_.getChain(), forwardLink_.getTarget(), composition); } } }
@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)); } } } }