@Override public String visit(IndexedObjectSomeValuesFrom element) { return "∃" + element.getProperty() + '.' + element.getFiller(); }
@Override public String visit(IndexedObjectSomeValuesFrom element) { return "∃" + element.getProperty() + '.' + element.getFiller(); }
@Override public String visit(IndexedObjectSomeValuesFrom element) { return "∃" + element.getProperty() + '.' + element.getFiller(); }
public SubClassInclusionComposed getSecondPremise( SubClassInclusionComposed.Factory factory) { return factory.getSubClassInclusionComposed(getOrigin(), getCarry().getFiller()); }
public SubClassInclusionComposed getSecondPremise( SubClassInclusionComposed.Factory factory) { return factory.getSubClassInclusionComposed(getOrigin(), getCarry().getFiller()); }
public SubClassInclusionComposed getSecondPremise( SubClassInclusionComposed.Factory factory) { return factory.getSubClassInclusionComposed(getOrigin(), getCarry().getFiller()); }
/** * @param existential * @return the {@link IndexedContextRoot} that is required for * decomposition of the given * {@link IndexedObjectSomeValuesFrom}, taking into account the * property ranges, if necessary */ public static IndexedContextRoot getTarget( IndexedObjectSomeValuesFrom existential) { SaturatedPropertyChain propertySaturation = existential .getProperty().getSaturated(); if (propertySaturation.getRanges().isEmpty()) { // filler is sufficient return existential.getFiller(); } // else we also need to take the property into account return existential.getRangeFiller(); }
/** * @param existential * @return the {@link IndexedContextRoot} that is required for * decomposition of the given * {@link IndexedObjectSomeValuesFrom}, taking into account the * property ranges, if necessary */ public static IndexedContextRoot getTarget( IndexedObjectSomeValuesFrom existential) { SaturatedPropertyChain propertySaturation = existential .getProperty().getSaturated(); if (propertySaturation.getRanges().isEmpty()) { // filler is sufficient return existential.getFiller(); } // else we also need to take the property into account return existential.getRangeFiller(); }
/** * @param existential * @return the {@link IndexedContextRoot} that is required for * decomposition of the given * {@link IndexedObjectSomeValuesFrom}, taking into account the * property ranges, if necessary */ public static IndexedContextRoot getTarget( IndexedObjectSomeValuesFrom existential) { SaturatedPropertyChain propertySaturation = existential .getProperty().getSaturated(); if (propertySaturation.getRanges().isEmpty()) { // filler is sufficient return existential.getFiller(); } // else we also need to take the property into account return existential.getRangeFiller(); }