protected OWLSameIndividualAxiom createAxiom(Set<OWLNamedIndividual> object) { object.add(getRootObject()); OWLSameIndividualAxiom ax = getOWLDataFactory().getOWLSameIndividualAxiom(object); return ax; }
protected OWLSameIndividualAxiom createAxiom(Set<OWLNamedIndividual> object) { object.add(getRootObject()); OWLSameIndividualAxiom ax = getOWLDataFactory().getOWLSameIndividualAxiom(object); return ax; }
protected OWLSameIndividualAxiom createAxiom(Set<OWLNamedIndividual> object) { object.add(getRootObject()); OWLSameIndividualAxiom ax = getOWLDataFactory().getOWLSameIndividualAxiom(object); return ax; }
protected OWLSameIndividualAxiom createAxiom(Set<OWLNamedIndividual> object) { object.add(getRootObject()); OWLSameIndividualAxiom ax = getOWLDataFactory().getOWLSameIndividualAxiom(object); return ax; }
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) )); } }); }