@Override public NodeSet<OWLDataProperty> getSubDataProperties(OWLDataProperty pe, boolean direct) { return delegate_.getSubDataProperties(pe, direct); }
public NodeSet<OWLDataProperty> getSubDataProperties(OWLDataProperty arg0, boolean arg1) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { return reasoner.getSubDataProperties(arg0, arg1); }
@Override public NodeSet<OWLDataProperty> getSubDataProperties(OWLDataProperty pe, boolean direct) { return delegate_.getSubDataProperties(pe, direct); }
@Override public NodeSet<OWLDataProperty> getSubDataProperties(OWLDataProperty pe, boolean direct) { return delegate_.getSubDataProperties(pe, direct); }
/** * @param pe The data property whose strict (direct) subproperties are to be retrieved. * @return a {@code NodeSet} such that for each property {@code P} in the {@code NodeSet} the * set of reasoner axioms entails {@code StrictSubDataPropertyOf(P, pe)}. <br> * If {@code pe} is equivalent to {@code owl:bottomDataProperty} then the empty * {@code NodeSet} will be returned. * @see OWLReasoner#getSubDataProperties(OWLDataProperty, boolean) Gets the set of named data * properties that are the strict (potentially direct) subproperties of the specified data * property expression with respect to the imports closure of the root ontology. Note that * the properties are returned as a {@link org.semanticweb.owlapi.reasoner.NodeSet}. */ default NodeSet<OWLDataProperty> getSubDataProperties(OWLDataProperty pe) { return getSubDataProperties(pe, false); }
@Override public synchronized NodeSet<OWLDataProperty> getSubDataProperties(OWLDataProperty pe, boolean direct) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { return r.getSubDataProperties(pe, direct); }
/** * @param pe The data property whose strict (direct) subproperties are to be retrieved. * @return a {@code NodeSet} such that for each property {@code P} in the {@code NodeSet} the * set of reasoner axioms entails {@code StrictSubDataPropertyOf(P, pe)}. <br> * If {@code pe} is equivalent to {@code owl:bottomDataProperty} then the empty * {@code NodeSet} will be returned. * @see OWLReasoner#getSubDataProperties(OWLDataProperty, boolean) Gets the set of named data * properties that are the strict (potentially direct) subproperties of the specified data * property expression with respect to the imports closure of the root ontology. Note that * the properties are returned as a {@link org.semanticweb.owlapi.reasoner.NodeSet}. */ default NodeSet<OWLDataProperty> getSubDataProperties(OWLDataProperty pe) { return getSubDataProperties(pe, false); }
/** * @param pe The data property whose strict (direct) subproperties are to be retrieved. * @return a {@code NodeSet} such that for each property {@code P} in the {@code NodeSet} the * set of reasoner axioms entails {@code StrictSubDataPropertyOf(P, pe)}. <br> * If {@code pe} is equivalent to {@code owl:bottomDataProperty} then the empty * {@code NodeSet} will be returned. * @see OWLReasoner#getSubDataProperties(OWLDataProperty, boolean) Gets the set of named data * properties that are the strict (potentially direct) subproperties of the specified data * property expression with respect to the imports closure of the root ontology. Note that * the properties are returned as a {@link org.semanticweb.owlapi.reasoner.NodeSet}. */ default NodeSet<OWLDataProperty> getSubDataProperties(OWLDataProperty pe) { return getSubDataProperties(pe, false); }
@Override protected TreeSet<OWLDataProperty> getSubPropertiesImpl(OWLDataProperty dataProperty) { NodeSet<OWLDataProperty> properties; try { properties = reasoner.getSubDataProperties(dataProperty, true); } catch (UnsupportedOperationException e) { if (useFallbackReasoner) { properties = fallbackReasoner.getSubDataProperties(dataProperty, true); } else { throw e; } } return getFirstDatatypeProperties(properties); }
/** * @param pe The data property whose strict (direct) subproperties are to be retrieved. * @return a {@code NodeSet} such that for each property {@code P} in the {@code NodeSet} the * set of reasoner axioms entails {@code StrictSubDataPropertyOf(P, pe)}. <br> * If {@code pe} is equivalent to {@code owl:bottomDataProperty} then the empty * {@code NodeSet} will be returned. * @see OWLReasoner#getSubDataProperties(OWLDataProperty, boolean) Gets the set of named data * properties that are the strict (potentially direct) subproperties of the specified data * property expression with respect to the imports closure of the root ontology. Note that * the properties are returned as a {@link org.semanticweb.owlapi.reasoner.NodeSet}. */ default Stream<OWLDataProperty> subDataProperties(OWLDataProperty pe) { return getSubDataProperties(pe).entities(); }
/** * @param pe The data property whose strict (direct) subproperties are to be retrieved. * @return a {@code NodeSet} such that for each property {@code P} in the {@code NodeSet} the * set of reasoner axioms entails {@code StrictSubDataPropertyOf(P, pe)}. <br> * If {@code pe} is equivalent to {@code owl:bottomDataProperty} then the empty * {@code NodeSet} will be returned. * @see OWLReasoner#getSubDataProperties(OWLDataProperty, boolean) Gets the set of named data * properties that are the strict (potentially direct) subproperties of the specified data * property expression with respect to the imports closure of the root ontology. Note that * the properties are returned as a {@link org.semanticweb.owlapi.reasoner.NodeSet}. */ default Stream<OWLDataProperty> subDataProperties(OWLDataProperty pe) { return getSubDataProperties(pe).entities(); }
/** * @param pe The data property whose strict (direct) subproperties are to be retrieved. * @return a {@code NodeSet} such that for each property {@code P} in the {@code NodeSet} the * set of reasoner axioms entails {@code StrictSubDataPropertyOf(P, pe)}. <br> * If {@code pe} is equivalent to {@code owl:bottomDataProperty} then the empty * {@code NodeSet} will be returned. * @see OWLReasoner#getSubDataProperties(OWLDataProperty, boolean) Gets the set of named data * properties that are the strict (potentially direct) subproperties of the specified data * property expression with respect to the imports closure of the root ontology. Note that * the properties are returned as a {@link org.semanticweb.owlapi.reasoner.NodeSet}. */ default Stream<OWLDataProperty> subDataProperties(OWLDataProperty pe) { return getSubDataProperties(pe).entities(); }
/** * @param pe The data property whose strict (direct) subproperties are to be retrieved. * @param depth Specifies if the direct subproperties should be retrived ( {@code DIRECT}) or if * the all subproperties (descendants) should be retrieved ({@code ALL}). * @return If depth is {@code DIRECT}, a {@code NodeSet} such that for each property {@code P} * in the {@code NodeSet} the set of reasoner axioms entails * {@code DirectSubDataPropertyOf(P, * pe)} . <br> * If depth is {@code ALL}, a {@code NodeSet} such that for each property {@code P} in * the {@code NodeSet} the set of reasoner axioms entails * {@code StrictSubDataPropertyOf(P, * pe)} . <br> * If {@code pe} is equivalent to {@code owl:bottomDataProperty} then the empty * {@code NodeSet} will be returned. * @see OWLReasoner#getSubDataProperties(OWLDataProperty, boolean) Gets the set of named data * properties that are the strict (potentially direct) subproperties of the specified data * property expression with respect to the imports closure of the root ontology. Note that * the properties are returned as a {@link org.semanticweb.owlapi.reasoner.NodeSet}. */ default Stream<OWLDataProperty> subDataProperties(OWLDataProperty pe, InferenceDepth depth) { return getSubDataProperties(pe, depth).entities(); }
/** * @param pe The data property whose strict (direct) subproperties are to be retrieved. * @param depth Specifies if the direct subproperties should be retrived ( {@code DIRECT}) or if * the all subproperties (descendants) should be retrieved ({@code ALL}). * @return If depth is {@code DIRECT}, a {@code NodeSet} such that for each property {@code P} * in the {@code NodeSet} the set of reasoner axioms entails * {@code DirectSubDataPropertyOf(P, * pe)} . <br> * If depth is {@code ALL}, a {@code NodeSet} such that for each property {@code P} in * the {@code NodeSet} the set of reasoner axioms entails * {@code StrictSubDataPropertyOf(P, * pe)} . <br> * If {@code pe} is equivalent to {@code owl:bottomDataProperty} then the empty * {@code NodeSet} will be returned. * @see OWLReasoner#getSubDataProperties(OWLDataProperty, boolean) Gets the set of named data * properties that are the strict (potentially direct) subproperties of the specified data * property expression with respect to the imports closure of the root ontology. Note that * the properties are returned as a {@link org.semanticweb.owlapi.reasoner.NodeSet}. */ default NodeSet<OWLDataProperty> getSubDataProperties(OWLDataProperty pe, InferenceDepth depth) { return getSubDataProperties(pe, depth.isDirectOnly()); }
/** * @param pe The data property whose strict (direct) subproperties are to be retrieved. * @param depth Specifies if the direct subproperties should be retrived ( {@code DIRECT}) or if * the all subproperties (descendants) should be retrieved ({@code ALL}). * @return If depth is {@code DIRECT}, a {@code NodeSet} such that for each property {@code P} * in the {@code NodeSet} the set of reasoner axioms entails * {@code DirectSubDataPropertyOf(P, * pe)} . <br> * If depth is {@code ALL}, a {@code NodeSet} such that for each property {@code P} in * the {@code NodeSet} the set of reasoner axioms entails * {@code StrictSubDataPropertyOf(P, * pe)} . <br> * If {@code pe} is equivalent to {@code owl:bottomDataProperty} then the empty * {@code NodeSet} will be returned. * @see OWLReasoner#getSubDataProperties(OWLDataProperty, boolean) Gets the set of named data * properties that are the strict (potentially direct) subproperties of the specified data * property expression with respect to the imports closure of the root ontology. Note that * the properties are returned as a {@link org.semanticweb.owlapi.reasoner.NodeSet}. */ default Stream<OWLDataProperty> subDataProperties(OWLDataProperty pe, InferenceDepth depth) { return getSubDataProperties(pe, depth).entities(); }
/** * @param pe The data property whose strict (direct) subproperties are to be retrieved. * @param depth Specifies if the direct subproperties should be retrived ( {@code DIRECT}) or if * the all subproperties (descendants) should be retrieved ({@code ALL}). * @return If depth is {@code DIRECT}, a {@code NodeSet} such that for each property {@code P} * in the {@code NodeSet} the set of reasoner axioms entails * {@code DirectSubDataPropertyOf(P, * pe)} . <br> * If depth is {@code ALL}, a {@code NodeSet} such that for each property {@code P} in * the {@code NodeSet} the set of reasoner axioms entails * {@code StrictSubDataPropertyOf(P, * pe)} . <br> * If {@code pe} is equivalent to {@code owl:bottomDataProperty} then the empty * {@code NodeSet} will be returned. * @see OWLReasoner#getSubDataProperties(OWLDataProperty, boolean) Gets the set of named data * properties that are the strict (potentially direct) subproperties of the specified data * property expression with respect to the imports closure of the root ontology. Note that * the properties are returned as a {@link org.semanticweb.owlapi.reasoner.NodeSet}. */ default Stream<OWLDataProperty> subDataProperties(OWLDataProperty pe, InferenceDepth depth) { return getSubDataProperties(pe, depth).entities(); }
/** * @param pe The data property whose strict (direct) subproperties are to be retrieved. * @param depth Specifies if the direct subproperties should be retrived ( {@code DIRECT}) or if * the all subproperties (descendants) should be retrieved ({@code ALL}). * @return If depth is {@code DIRECT}, a {@code NodeSet} such that for each property {@code P} * in the {@code NodeSet} the set of reasoner axioms entails * {@code DirectSubDataPropertyOf(P, * pe)} . <br> * If depth is {@code ALL}, a {@code NodeSet} such that for each property {@code P} in * the {@code NodeSet} the set of reasoner axioms entails * {@code StrictSubDataPropertyOf(P, * pe)} . <br> * If {@code pe} is equivalent to {@code owl:bottomDataProperty} then the empty * {@code NodeSet} will be returned. * @see OWLReasoner#getSubDataProperties(OWLDataProperty, boolean) Gets the set of named data * properties that are the strict (potentially direct) subproperties of the specified data * property expression with respect to the imports closure of the root ontology. Note that * the properties are returned as a {@link org.semanticweb.owlapi.reasoner.NodeSet}. */ default NodeSet<OWLDataProperty> getSubDataProperties(OWLDataProperty pe, InferenceDepth depth) { return getSubDataProperties(pe, depth.isDirectOnly()); }
@Override public SortedSet<OWLClassExpression> visit(OWLDataSomeValuesFrom ce) { SortedSet<OWLClassExpression> refinements = new TreeSet<>(); OWLDataPropertyExpression property = ce.getProperty(); OWLDataRange filler = ce.getFiller(); // refine property Set<OWLDataProperty> subProperties = reasoner.getSubDataProperties(property.asOWLDataProperty(), true).getFlattened(); for (OWLDataProperty subProperty : subProperties) { refinements.add(dataFactory.getOWLDataSomeValuesFrom(subProperty, filler)); } // refine filler // TODO return refinements; }
@Override public SortedSet<OWLClassExpression> visit(OWLDataAllValuesFrom ce) { SortedSet<OWLClassExpression> refinements = new TreeSet<>(); OWLDataPropertyExpression property = ce.getProperty(); OWLDataRange filler = ce.getFiller(); // refine property Set<OWLDataProperty> subProperties = reasoner.getSubDataProperties(property.asOWLDataProperty(), true).getFlattened(); for (OWLDataProperty subProperty : subProperties) { refinements.add(dataFactory.getOWLDataSomeValuesFrom(subProperty, filler)); } // refine filler // TODO return refinements; }
private void populateDataSubProperties(OWLDataProperty dp, OWLReasoner r, Model m) { for (OWLDataProperty subDP : r.getSubDataProperties(dp, false) .getFlattened()) { log.debug(subDP + " data sub-property of " + dp); m.add(toResource(subDP), OWL_SUBPROPERTY_OF, toResource(dp)); } // getSubDataProperties is strict, so add the reflexive statement. log.debug(dp + " data sub-property of " + dp); m.add(toResource(dp), OWL_SUBPROPERTY_OF, toResource(dp)); }