@Override public boolean isEmpty() { return multimap_.isEmpty(); }
@Override public boolean isEmpty() { return multimap_.isEmpty(); }
@Override public boolean isEmpty() { return multimap_.isEmpty(); }
public static void produceComposedLink(ClassInferenceProducer producer, IndexedContextRoot source, IndexedObjectProperty backwardRelation, IndexedContextRoot inferenceRoot, IndexedPropertyChain forwardRelation, IndexedContextRoot target, IndexedComplexPropertyChain composition) { if (composition.getSaturated() .getNonRedundantCompositionsByLeftSubProperty().isEmpty() && composition.getSaturated() .getRedundantCompositionsByLeftSubProperty() .isEmpty()) { // composition cannot be composed further, even using redundant // compositions (tracing); create only backward links List<IndexedObjectProperty> toldSuperProperties = composition .getToldSuperProperties(); List<ElkAxiom> toldSuperPropertiesReasons = composition .getToldSuperPropertiesReasons(); for (int i = 0; i < toldSuperProperties.size(); i++) { producer.produce(new BackwardLinkComposition(source, backwardRelation, inferenceRoot, forwardRelation, target, composition, toldSuperProperties.get(i), toldSuperPropertiesReasons.get(i))); } } else { producer.produce(new ForwardLinkComposition(source, backwardRelation, inferenceRoot, forwardRelation, target, composition)); } }
public static void produceComposedLink(ClassInferenceProducer producer, IndexedContextRoot source, IndexedObjectProperty backwardRelation, IndexedContextRoot inferenceRoot, IndexedPropertyChain forwardRelation, IndexedContextRoot target, IndexedComplexPropertyChain composition) { if (composition.getSaturated() .getNonRedundantCompositionsByLeftSubProperty().isEmpty() && composition.getSaturated() .getRedundantCompositionsByLeftSubProperty() .isEmpty()) { // composition cannot be composed further, even using redundant // compositions (tracing); create only backward links List<IndexedObjectProperty> toldSuperProperties = composition .getToldSuperProperties(); List<ElkAxiom> toldSuperPropertiesReasons = composition .getToldSuperPropertiesReasons(); for (int i = 0; i < toldSuperProperties.size(); i++) { producer.produce(new BackwardLinkComposition(source, backwardRelation, inferenceRoot, forwardRelation, target, composition, toldSuperProperties.get(i), toldSuperPropertiesReasons.get(i))); } } else { producer.produce(new ForwardLinkComposition(source, backwardRelation, inferenceRoot, forwardRelation, target, composition)); } }
public static void produceComposedLink(ClassInferenceProducer producer, IndexedContextRoot source, IndexedObjectProperty backwardRelation, IndexedContextRoot inferenceRoot, IndexedPropertyChain forwardRelation, IndexedContextRoot target, IndexedComplexPropertyChain composition) { if (composition.getSaturated() .getNonRedundantCompositionsByLeftSubProperty().isEmpty() && composition.getSaturated() .getRedundantCompositionsByLeftSubProperty() .isEmpty()) { // composition cannot be composed further, even using redundant // compositions (tracing); create only backward links List<IndexedObjectProperty> toldSuperProperties = composition .getToldSuperProperties(); List<ElkAxiom> toldSuperPropertiesReasons = composition .getToldSuperPropertiesReasons(); for (int i = 0; i < toldSuperProperties.size(); i++) { producer.produce(new BackwardLinkComposition(source, backwardRelation, inferenceRoot, forwardRelation, target, composition, toldSuperProperties.get(i), toldSuperPropertiesReasons.get(i))); } } else { producer.produce(new ForwardLinkComposition(source, backwardRelation, inferenceRoot, forwardRelation, target, composition)); } }
public static void produceDecomposedExistentialLink( ClassInferenceProducer producer, IndexedContextRoot root, IndexedObjectHasSelf subsumer) { producer.produce( new BackwardLinkOfObjectHasSelf(root, subsumer)); if (!subsumer.getProperty().getSaturated() .getNonRedundantCompositionsByLeftSubProperty().isEmpty()) { producer.produce( new ForwardLinkOfObjectHasSelf(root, subsumer)); } }
public static void produceDecomposedExistentialLink( ClassInferenceProducer producer, IndexedContextRoot root, IndexedObjectSomeValuesFrom subsumer) { producer.produce( new BackwardLinkOfObjectSomeValuesFrom(root, subsumer)); if (!subsumer.getProperty().getSaturated() .getNonRedundantCompositionsByLeftSubProperty().isEmpty()) { producer.produce( new ForwardLinkOfObjectSomeValuesFrom(root, subsumer)); } }
public static void produceDecomposedExistentialLink( ClassInferenceProducer producer, IndexedContextRoot root, IndexedObjectSomeValuesFrom subsumer) { producer.produce( new BackwardLinkOfObjectSomeValuesFrom(root, subsumer)); if (!subsumer.getProperty().getSaturated() .getNonRedundantCompositionsByLeftSubProperty().isEmpty()) { producer.produce( new ForwardLinkOfObjectSomeValuesFrom(root, subsumer)); } }
public static void produceDecomposedExistentialLink( ClassInferenceProducer producer, IndexedContextRoot root, IndexedObjectHasSelf subsumer) { producer.produce( new BackwardLinkOfObjectHasSelf(root, subsumer)); if (!subsumer.getProperty().getSaturated() .getNonRedundantCompositionsByLeftSubProperty().isEmpty()) { producer.produce( new ForwardLinkOfObjectHasSelf(root, subsumer)); } }
public static void produceDecomposedExistentialLink( ClassInferenceProducer producer, IndexedContextRoot root, IndexedObjectHasSelf subsumer) { producer.produce( new BackwardLinkOfObjectHasSelf(root, subsumer)); if (!subsumer.getProperty().getSaturated() .getNonRedundantCompositionsByLeftSubProperty().isEmpty()) { producer.produce( new ForwardLinkOfObjectHasSelf(root, subsumer)); } }
public static void produceDecomposedExistentialLink( ClassInferenceProducer producer, IndexedContextRoot root, IndexedObjectSomeValuesFrom subsumer) { producer.produce( new BackwardLinkOfObjectSomeValuesFrom(root, subsumer)); if (!subsumer.getProperty().getSaturated() .getNonRedundantCompositionsByLeftSubProperty().isEmpty()) { producer.produce( new ForwardLinkOfObjectSomeValuesFrom(root, subsumer)); } }