@Override public Set<IndexedObjectProperty> getLocalReflexiveObjectProperties() { // local return localPremises_.getLocalReflexiveObjectProperties(); }
@Override public Set<IndexedObjectProperty> getLocalReflexiveObjectProperties() { // local return localPremises_.getLocalReflexiveObjectProperties(); }
@Override public Set<IndexedObjectProperty> getLocalReflexiveObjectProperties() { // local return localPremises_.getLocalReflexiveObjectProperties(); }
@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())); } }
@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)); } } } }
private void apply( final Multimap<IndexedObjectProperty, IndexedComplexPropertyChain> compsByBackwardRelation, ContextPremises premises, ClassInferenceProducer producer) { /* compose the link with all reflexive backward links */ final Set<IndexedObjectProperty> reflexiveBackwardRelations = premises .getLocalReflexiveObjectProperties(); for (IndexedObjectProperty backwardRelation : new LazySetIntersection<IndexedObjectProperty>( compsByBackwardRelation.keySet(), reflexiveBackwardRelations)) { Collection<IndexedComplexPropertyChain> compositions = compsByBackwardRelation .get(backwardRelation); for (IndexedComplexPropertyChain composition : compositions) { IndexedContextRoot root = premises.getRoot(); IndexedObjectSomeValuesFrom.Helper.produceComposedLink(producer, root, backwardRelation, root, forwardLink_.getChain(), forwardLink_.getTarget(), composition); } } }
private void apply( final Multimap<IndexedObjectProperty, IndexedComplexPropertyChain> compsByBackwardRelation, ContextPremises premises, ClassInferenceProducer producer) { /* compose the link with all reflexive backward links */ final Set<IndexedObjectProperty> reflexiveBackwardRelations = premises .getLocalReflexiveObjectProperties(); for (IndexedObjectProperty backwardRelation : new LazySetIntersection<IndexedObjectProperty>( compsByBackwardRelation.keySet(), reflexiveBackwardRelations)) { Collection<IndexedComplexPropertyChain> compositions = compsByBackwardRelation .get(backwardRelation); for (IndexedComplexPropertyChain composition : compositions) { IndexedContextRoot root = premises.getRoot(); IndexedObjectSomeValuesFrom.Helper.produceComposedLink(producer, root, backwardRelation, root, forwardLink_.getChain(), forwardLink_.getTarget(), composition); } } }
private void apply( final Multimap<IndexedObjectProperty, IndexedComplexPropertyChain> compsByBackwardRelation, ContextPremises premises, ClassInferenceProducer producer) { /* compose the link with all reflexive backward links */ final Set<IndexedObjectProperty> reflexiveBackwardRelations = premises .getLocalReflexiveObjectProperties(); for (IndexedObjectProperty backwardRelation : new LazySetIntersection<IndexedObjectProperty>( compsByBackwardRelation.keySet(), reflexiveBackwardRelations)) { Collection<IndexedComplexPropertyChain> compositions = compsByBackwardRelation .get(backwardRelation); for (IndexedComplexPropertyChain composition : compositions) { IndexedContextRoot root = premises.getRoot(); IndexedObjectSomeValuesFrom.Helper.produceComposedLink(producer, root, backwardRelation, root, forwardLink_.getChain(), forwardLink_.getTarget(), composition); } } }