@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); } } }
for (IndexedPropertyChain ipc : subContextMap.keySet()) { for (IndexedContextRoot target : subContextMap.get(ipc) .getLinkedRoots()) if (cleanedContexts.contains(target)) LOGGER_.error(
.getSubContextPremisesByObjectProperty().values()) { for (IndexedContextRoot linkedRoot : subContext .getLinkedRoots()) { linkedRoot.accept(rootValidator_); .getLinkedRoots()) { propagation.accept(rootValidator_);