@Override public synchronized NodeSet<OWLNamedIndividual> getDifferentIndividuals(OWLNamedIndividual ind) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { return r.getDifferentIndividuals(ind); }
public NodeSet<OWLNamedIndividual> getDifferentIndividuals(OWLNamedIndividual arg0) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { return reasoner.getDifferentIndividuals(arg0); }
@Override public NodeSet<OWLNamedIndividual> getDifferentIndividuals( OWLNamedIndividual ind) { return delegate_.getDifferentIndividuals(ind); }
@Override public NodeSet<OWLNamedIndividual> getDifferentIndividuals( OWLNamedIndividual ind) { return delegate_.getDifferentIndividuals(ind); }
@Override public NodeSet<OWLNamedIndividual> getDifferentIndividuals( OWLNamedIndividual ind) { return delegate_.getDifferentIndividuals(ind); }
/** * Gets the individuals which are entailed to be different from the specified individual. The * individuals are returned as a {@link org.semanticweb.owlapi.reasoner.NodeSet}. * * @param ind The individual whose different individuals are to be returned. * @return A {@code NodeSet} containing {@code OWLNamedIndividual} s such that for each * individual {@code i} in the {@code NodeSet} the set of reasoner axioms entails {@code * DifferentIndividuals(ind, i)}. * @throws InconsistentOntologyException if the imports closure of the root ontology is * inconsistent * @throws FreshEntitiesException if the signature of the individual 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<OWLNamedIndividual> differentIndividuals(OWLNamedIndividual ind) { return getDifferentIndividuals(ind).entities(); }
/** * Gets the individuals which are entailed to be different from the specified individual. The * individuals are returned as a {@link org.semanticweb.owlapi.reasoner.NodeSet}. * * @param ind The individual whose different individuals are to be returned. * @return A {@code NodeSet} containing {@code OWLNamedIndividual} s such that for each * individual {@code i} in the {@code NodeSet} the set of reasoner axioms entails {@code * DifferentIndividuals(ind, i)}. * @throws InconsistentOntologyException if the imports closure of the root ontology is * inconsistent * @throws FreshEntitiesException if the signature of the individual 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<OWLNamedIndividual> differentIndividuals(OWLNamedIndividual ind) { return getDifferentIndividuals(ind).entities(); }
/** * Gets the individuals which are entailed to be different from the specified individual. The * individuals are returned as a {@link org.semanticweb.owlapi.reasoner.NodeSet}. * * @param ind The individual whose different individuals are to be returned. * @return A {@code NodeSet} containing {@code OWLNamedIndividual} s such that for each * individual {@code i} in the {@code NodeSet} the set of reasoner axioms entails {@code * DifferentIndividuals(ind, i)}. * @throws InconsistentOntologyException if the imports closure of the root ontology is * inconsistent * @throws FreshEntitiesException if the signature of the individual 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<OWLNamedIndividual> differentIndividuals(OWLNamedIndividual ind) { return getDifferentIndividuals(ind).entities(); }