@Override protected void refillInferred() { getOWLModelManager().getReasonerPreferences().executeTask(OptionalInferenceTask.SHOW_INFERRED_SAMEAS_INDIVIDUAL_ASSERTIONS, new Runnable() { 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, new Runnable() { 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) )); } } }); }
/** * Refills the section with rows. This method will be called * by the system and should be directly called. */ protected void refill(OWLOntology ontology) { for (OWLSameIndividualAxiom ax : ontology.getSameIndividualAxioms(getRootObject())) { addRow(new OWLSameIndividualsAxiomFrameSectionRow(getOWLEditorKit(), this, ontology, getRootObject(), ax)); } }
/** * Refills the section with rows. This method will be called * by the system and should be directly called. */ protected void refill(OWLOntology ontology) { for (OWLSameIndividualAxiom ax : ontology.getSameIndividualAxioms(getRootObject())) { addRow(new OWLSameIndividualsAxiomFrameSectionRow(getOWLEditorKit(), this, ontology, getRootObject(), ax)); } }
/** * Refills the section with rows. This method will be called * by the system and should be directly called. */ protected void refill(OWLOntology ontology) { for (OWLSameIndividualAxiom ax : ontology.getSameIndividualAxioms(getRootObject())) { addRow(new OWLSameIndividualsAxiomFrameSectionRow(getOWLEditorKit(), this, ontology, getRootObject(), ax)); } }
/** * Refills the section with rows. This method will be called * by the system and should be directly called. */ protected void refill(OWLOntology ontology) { for (OWLSameIndividualAxiom ax : ontology.getSameIndividualAxioms(getRootObject())) { addRow(new OWLSameIndividualsAxiomFrameSectionRow(getOWLEditorKit(), this, ontology, getRootObject(), 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) )); } }); }