@Override public void apply(ForwardLink premise, ContextPremises premises, ClassInferenceProducer producer) { IndexedPropertyChain relation = premise.getChain(); if (relation instanceof IndexedObjectProperty) { return; } // else List<IndexedObjectProperty> superProperties = relation .getToldSuperProperties(); List<ElkAxiom> superPropertiesReasons = relation .getToldSuperPropertiesReasons(); for (int i = 0; i < superProperties.size(); i++) { producer.produce(new BackwardLinkReversedExpanded(premise, superProperties.get(i), superPropertiesReasons.get(i))); } }
@Override public void apply(ForwardLink premise, ContextPremises premises, ClassInferenceProducer producer) { IndexedPropertyChain relation = premise.getChain(); if (relation instanceof IndexedObjectProperty) { return; } // else List<IndexedObjectProperty> superProperties = relation .getToldSuperProperties(); List<ElkAxiom> superPropertiesReasons = relation .getToldSuperPropertiesReasons(); for (int i = 0; i < superProperties.size(); i++) { producer.produce(new BackwardLinkReversedExpanded(premise, superProperties.get(i), superPropertiesReasons.get(i))); } }
@Override public void apply(ForwardLink premise, ContextPremises premises, ClassInferenceProducer producer) { IndexedPropertyChain relation = premise.getChain(); if (relation instanceof IndexedObjectProperty) { return; } // else List<IndexedObjectProperty> superProperties = relation .getToldSuperProperties(); List<ElkAxiom> superPropertiesReasons = relation .getToldSuperPropertiesReasons(); for (int i = 0; i < superProperties.size(); i++) { producer.produce(new BackwardLinkReversedExpanded(premise, superProperties.get(i), superPropertiesReasons.get(i))); } }