@Override public Node<OWLNamedIndividual> getSameIndividuals(OWLNamedIndividual ind) { return delegate_.getSameIndividuals(ind); }
@Override public synchronized Node<OWLNamedIndividual> getSameIndividuals(OWLNamedIndividual ind) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { return r.getSameIndividuals(ind); }
public Node<OWLNamedIndividual> getSameIndividuals(OWLNamedIndividual arg0) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { return reasoner.getSameIndividuals(arg0); }
@Override public Node<OWLNamedIndividual> getSameIndividuals(OWLNamedIndividual ind) { return delegate_.getSameIndividuals(ind); }
@Override public Node<OWLNamedIndividual> getSameIndividuals(OWLNamedIndividual ind) { return delegate_.getSameIndividuals(ind); }
/** * Gets the individuals that are the same as the specified individual. * * @param ind The individual whose same individuals are to be retrieved. * @return A node containing individuals such that for each individual {@code j} in the node, * the root ontology imports closure entails {@code SameIndividual(j, ind)}. Note that * the node will contain {@code j}. * @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> sameIndividuals(OWLNamedIndividual ind) { return getSameIndividuals(ind).entities(); }
/** * Gets the individuals that are the same as the specified individual. * * @param ind The individual whose same individuals are to be retrieved. * @return A node containing individuals such that for each individual {@code j} in the node, * the root ontology imports closure entails {@code SameIndividual(j, ind)}. Note that * the node will contain {@code j}. * @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> sameIndividuals(OWLNamedIndividual ind) { return getSameIndividuals(ind).entities(); }
/** * Gets the individuals that are the same as the specified individual. * * @param ind The individual whose same individuals are to be retrieved. * @return A node containing individuals such that for each individual {@code j} in the node, * the root ontology imports closure entails {@code SameIndividual(j, ind)}. Note that * the node will contain {@code j}. * @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> sameIndividuals(OWLNamedIndividual ind) { return getSameIndividuals(ind).entities(); }
public void run() { if (!getOWLModelManager().getReasoner().isConsistent()) { return; } Set<OWLIndividual> existingSameIndividuals = getCurrentlyDisplayedSameIndividuals(); Set<OWLNamedIndividual> newSameIndividuals = new HashSet<OWLNamedIndividual>(); for (OWLNamedIndividual i : getCurrentReasoner().getSameIndividuals(getRootObject()).getEntities()) { if (!i.equals(getRootObject()) && !existingSameIndividuals.contains(i)) { newSameIndividuals.add(i); } } if (!newSameIndividuals.isEmpty()) { newSameIndividuals.add(getRootObject()); addRow(new OWLSameIndividualsAxiomFrameSectionRow(getOWLEditorKit(), OWLSameIndividualsAxiomFrameSection.this, null, getRootObject(), getOWLDataFactory().getOWLSameIndividualAxiom(newSameIndividuals) )); } } });
public void run() { if (!getOWLModelManager().getReasoner().isConsistent()) { return; } Set<OWLIndividual> existingSameIndividuals = getCurrentlyDisplayedSameIndividuals(); Set<OWLNamedIndividual> newSameIndividuals = new HashSet<OWLNamedIndividual>(); for (OWLNamedIndividual i : getCurrentReasoner().getSameIndividuals(getRootObject()).getEntities()) { if (!i.equals(getRootObject()) && !existingSameIndividuals.contains(i)) { newSameIndividuals.add(i); } } if (!newSameIndividuals.isEmpty()) { newSameIndividuals.add(getRootObject()); addRow(new OWLSameIndividualsAxiomFrameSectionRow(getOWLEditorKit(), OWLSameIndividualsAxiomFrameSection.this, null, getRootObject(), getOWLDataFactory().getOWLSameIndividualAxiom(newSameIndividuals) )); } } });
@Override protected void refillInferred() { getOWLModelManager().getReasonerPreferences().executeTask(OptionalInferenceTask.SHOW_INFERRED_SAMEAS_INDIVIDUAL_ASSERTIONS, () -> { if (!getOWLModelManager().getReasoner().isConsistent()) { return; } Set<OWLIndividual> existingSameIndividuals = getCurrentlyDisplayedSameIndividuals(); Set<OWLNamedIndividual> newSameIndividuals = new HashSet<>(); for (OWLNamedIndividual i : getCurrentReasoner().getSameIndividuals(getRootObject()).getEntities()) { if (!i.equals(getRootObject()) && !existingSameIndividuals.contains(i)) { newSameIndividuals.add(i); } } if (!newSameIndividuals.isEmpty()) { newSameIndividuals.add(getRootObject()); addRow(new OWLSameIndividualsAxiomFrameSectionRow(getOWLEditorKit(), OWLSameIndividualsAxiomFrameSection.this, null, getRootObject(), getOWLDataFactory().getOWLSameIndividualAxiom(newSameIndividuals) )); } }); }
@Override protected void refillInferred() { getOWLModelManager().getReasonerPreferences().executeTask(OptionalInferenceTask.SHOW_INFERRED_SAMEAS_INDIVIDUAL_ASSERTIONS, () -> { if (!getOWLModelManager().getReasoner().isConsistent()) { return; } Set<OWLIndividual> existingSameIndividuals = getCurrentlyDisplayedSameIndividuals(); Set<OWLNamedIndividual> newSameIndividuals = new HashSet<>(); for (OWLNamedIndividual i : getCurrentReasoner().getSameIndividuals(getRootObject()).getEntities()) { if (!i.equals(getRootObject()) && !existingSameIndividuals.contains(i)) { newSameIndividuals.add(i); } } if (!newSameIndividuals.isEmpty()) { newSameIndividuals.add(getRootObject()); addRow(new OWLSameIndividualsAxiomFrameSectionRow(getOWLEditorKit(), OWLSameIndividualsAxiomFrameSection.this, null, getRootObject(), getOWLDataFactory().getOWLSameIndividualAxiom(newSameIndividuals) )); } }); }