@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))); } }
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)); } } } }
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); } } }
private void apply( Multimap<IndexedPropertyChain, IndexedComplexPropertyChain> compsByForwardRelations, BackwardLink link, ContextPremises premises, ClassInferenceProducer producer) { /* compose the link with all forward links */ if (compsByForwardRelations == null) return; for (IndexedPropertyChain forwardRelation : new LazySetIntersection<IndexedPropertyChain>( compsByForwardRelations.keySet(), forwardLinksByObjectProperty_.keySet())) { Collection<IndexedComplexPropertyChain> compositions = compsByForwardRelations .get(forwardRelation); Collection<IndexedContextRoot> forwardTargets = forwardLinksByObjectProperty_ .get(forwardRelation); for (IndexedComplexPropertyChain composition : compositions) for (IndexedContextRoot forwardTarget : forwardTargets) IndexedObjectSomeValuesFrom.Helper.produceComposedLink( producer, link.getTraceRoot(), link.getRelation(), premises.getRoot(), forwardRelation, forwardTarget, composition); } }
private void apply( Multimap<IndexedPropertyChain, IndexedComplexPropertyChain> compsByForwardRelations, BackwardLink link, ContextPremises premises, ClassInferenceProducer producer) { /* compose the link with all forward links */ if (compsByForwardRelations == null) return; for (IndexedPropertyChain forwardRelation : new LazySetIntersection<IndexedPropertyChain>( compsByForwardRelations.keySet(), forwardLinksByObjectProperty_.keySet())) { Collection<IndexedComplexPropertyChain> compositions = compsByForwardRelations .get(forwardRelation); Collection<IndexedContextRoot> forwardTargets = forwardLinksByObjectProperty_ .get(forwardRelation); for (IndexedComplexPropertyChain composition : compositions) for (IndexedContextRoot forwardTarget : forwardTargets) IndexedObjectSomeValuesFrom.Helper.produceComposedLink( producer, link.getTraceRoot(), link.getRelation(), premises.getRoot(), forwardRelation, forwardTarget, composition); } }
private void apply( Multimap<IndexedPropertyChain, IndexedComplexPropertyChain> compsByForwardRelations, BackwardLink link, ContextPremises premises, ClassInferenceProducer producer) { /* compose the link with all forward links */ if (compsByForwardRelations == null) return; for (IndexedPropertyChain forwardRelation : new LazySetIntersection<IndexedPropertyChain>( compsByForwardRelations.keySet(), forwardLinksByObjectProperty_.keySet())) { Collection<IndexedComplexPropertyChain> compositions = compsByForwardRelations .get(forwardRelation); Collection<IndexedContextRoot> forwardTargets = forwardLinksByObjectProperty_ .get(forwardRelation); for (IndexedComplexPropertyChain composition : compositions) for (IndexedContextRoot forwardTarget : forwardTargets) IndexedObjectSomeValuesFrom.Helper.produceComposedLink( producer, link.getTraceRoot(), link.getRelation(), premises.getRoot(), forwardRelation, forwardTarget, composition); } }
composition.getFirstProperty(), inferenceProducer, dispatcher); Set<IndexedObjectProperty> commonSubProperties = new LazySetIntersection<IndexedObjectProperty>( subProperties, leftSubProperties); if (commonSubProperties.isEmpty())
composition.getFirstProperty(), inferenceProducer, dispatcher); Set<IndexedObjectProperty> commonSubProperties = new LazySetIntersection<IndexedObjectProperty>( subProperties, leftSubProperties); if (commonSubProperties.isEmpty())
composition.getFirstProperty(), inferenceProducer, dispatcher); Set<IndexedObjectProperty> commonSubProperties = new LazySetIntersection<IndexedObjectProperty>( subProperties, leftSubProperties); if (commonSubProperties.isEmpty())