@Override public NodeSet<OWLDataProperty> getDisjointDataProperties( OWLDataPropertyExpression pe) { return delegate_.getDisjointDataProperties(pe); }
@Override public NodeSet<OWLDataProperty> getDisjointDataProperties( OWLDataPropertyExpression pe) { return delegate_.getDisjointDataProperties(pe); }
@Override public NodeSet<OWLDataProperty> getDisjointDataProperties( OWLDataPropertyExpression pe) { return delegate_.getDisjointDataProperties(pe); }
@Override public synchronized NodeSet<OWLDataProperty> getDisjointDataProperties(OWLDataPropertyExpression pe) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { return r.getDisjointDataProperties(pe); }
public NodeSet<OWLDataProperty> getDisjointDataProperties(OWLDataPropertyExpression arg0) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { return reasoner.getDisjointDataProperties(arg0); }
/** * Gets the data properties that are disjoint with the specified data property expression * {@code pe}. The data properties are returned as a * {@link org.semanticweb.owlapi.reasoner.NodeSet}. * * @param pe The data property expression whose disjoint data properties are to be retrieved. * @return The return value is a {@code NodeSet} such that for each data property {@code P} in * the {@code NodeSet} the set of reasoner axioms entails * {@code EquivalentDataProperties(P, * DataPropertyComplementOf(pe))} or {@code StrictSubDataPropertyOf(P, * DataPropertyComplementOf(pe))} . * @throws InconsistentOntologyException if the imports closure of the root ontology is * inconsistent * @throws ClassExpressionNotInProfileException if {@code data propertyExpression} is not within * the profile that is supported by this reasoner. * @throws FreshEntitiesException if the signature of {@code pe} is not contained within the * signature of the imports closure of the root ontology and the undeclared entity * policy of this reasoner is set to {@link FreshEntityPolicy#DISALLOW}. * @throws ReasonerInterruptedException if the reasoning process was interrupted for any * particular reason (for example if reasoning was cancelled by a client process) * @throws TimeOutException if the reasoner timed out during a basic reasoning operation. See * {@link #getTimeOut()}. */ default Stream<OWLDataProperty> disjointDataProperties(OWLDataProperty pe) { return getDisjointDataProperties(pe).entities(); }
/** * Gets the data properties that are disjoint with the specified data property expression * {@code pe}. The data properties are returned as a * {@link org.semanticweb.owlapi.reasoner.NodeSet}. * * @param pe The data property expression whose disjoint data properties are to be retrieved. * @return The return value is a {@code NodeSet} such that for each data property {@code P} in * the {@code NodeSet} the set of reasoner axioms entails * {@code EquivalentDataProperties(P, * DataPropertyComplementOf(pe))} or {@code StrictSubDataPropertyOf(P, * DataPropertyComplementOf(pe))} . * @throws InconsistentOntologyException if the imports closure of the root ontology is * inconsistent * @throws ClassExpressionNotInProfileException if {@code data propertyExpression} is not within * the profile that is supported by this reasoner. * @throws FreshEntitiesException if the signature of {@code pe} is not contained within the * signature of the imports closure of the root ontology and the undeclared entity * policy of this reasoner is set to {@link FreshEntityPolicy#DISALLOW}. * @throws ReasonerInterruptedException if the reasoning process was interrupted for any * particular reason (for example if reasoning was cancelled by a client process) * @throws TimeOutException if the reasoner timed out during a basic reasoning operation. See * {@link #getTimeOut()}. */ default Stream<OWLDataProperty> disjointDataProperties(OWLDataProperty pe) { return getDisjointDataProperties(pe).entities(); }
/** * Gets the data properties that are disjoint with the specified data property expression * {@code pe}. The data properties are returned as a * {@link org.semanticweb.owlapi.reasoner.NodeSet}. * * @param pe The data property expression whose disjoint data properties are to be retrieved. * @return The return value is a {@code NodeSet} such that for each data property {@code P} in * the {@code NodeSet} the set of reasoner axioms entails * {@code EquivalentDataProperties(P, * DataPropertyComplementOf(pe))} or {@code StrictSubDataPropertyOf(P, * DataPropertyComplementOf(pe))} . * @throws InconsistentOntologyException if the imports closure of the root ontology is * inconsistent * @throws ClassExpressionNotInProfileException if {@code data propertyExpression} is not within * the profile that is supported by this reasoner. * @throws FreshEntitiesException if the signature of {@code pe} is not contained within the * signature of the imports closure of the root ontology and the undeclared entity * policy of this reasoner is set to {@link FreshEntityPolicy#DISALLOW}. * @throws ReasonerInterruptedException if the reasoning process was interrupted for any * particular reason (for example if reasoning was cancelled by a client process) * @throws TimeOutException if the reasoner timed out during a basic reasoning operation. See * {@link #getTimeOut()}. */ default Stream<OWLDataProperty> disjointDataProperties(OWLDataProperty pe) { return getDisjointDataProperties(pe).entities(); }