protected void refillInferred() { getOWLModelManager().getReasonerPreferences().executeTask(OptionalInferenceTask.SHOW_INFERRED_DATA_PROPERTY_ASSERTIONS, new Runnable() { public void run() { if (!getOWLModelManager().getReasoner().isConsistent()) { return; } if (!getRootObject().isAnonymous()){ for (OWLDataProperty dp : getReasoner().getRootOntology().getDataPropertiesInSignature(true)) { Set<OWLLiteral> values = getReasoner().getDataPropertyValues(getRootObject().asOWLNamedIndividual(), dp); for (OWLLiteral constant : values) { OWLDataPropertyAssertionAxiom ax = getOWLDataFactory().getOWLDataPropertyAssertionAxiom(dp, getRootObject(), constant); if (!added.contains(ax)) { addRow(new OWLDataPropertyAssertionAxiomFrameSectionRow(getOWLEditorKit(), OWLDataPropertyAssertionAxiomFrameSection.this, null, getRootObject(), ax)); } } } } } }); }
protected void refillInferred() { getOWLModelManager().getReasonerPreferences().executeTask(OptionalInferenceTask.SHOW_INFERRED_DATA_PROPERTY_ASSERTIONS, new Runnable() { public void run() { if (!getOWLModelManager().getReasoner().isConsistent()) { return; } if (!getRootObject().isAnonymous()){ for (OWLDataProperty dp : getReasoner().getRootOntology().getDataPropertiesInSignature(true)) { Set<OWLLiteral> values = getReasoner().getDataPropertyValues(getRootObject().asOWLNamedIndividual(), dp); for (OWLLiteral constant : values) { OWLDataPropertyAssertionAxiom ax = getOWLDataFactory().getOWLDataPropertyAssertionAxiom(dp, getRootObject(), constant); if (!added.contains(ax)) { addRow(new OWLDataPropertyAssertionAxiomFrameSectionRow(getOWLEditorKit(), OWLDataPropertyAssertionAxiomFrameSection.this, null, getRootObject(), ax)); } } } } } }); }
protected void refillInferred() { getOWLModelManager().getReasonerPreferences().executeTask(OptionalInferenceTask.SHOW_INFERRED_DATA_PROPERTY_ASSERTIONS, () -> { if (!getOWLModelManager().getReasoner().isConsistent()) { return; } if (!getRootObject().isAnonymous()){ for (OWLDataProperty dp : getReasoner().getRootOntology().getDataPropertiesInSignature(true)) { Set<OWLLiteral> values = getReasoner().getDataPropertyValues(getRootObject().asOWLNamedIndividual(), dp); for (OWLLiteral constant : values) { OWLDataPropertyAssertionAxiom ax = getOWLDataFactory().getOWLDataPropertyAssertionAxiom(dp, getRootObject(), constant); if (!added.contains(ax)) { addRow(new OWLDataPropertyAssertionAxiomFrameSectionRow(getOWLEditorKit(), OWLDataPropertyAssertionAxiomFrameSection.this, null, getRootObject(), ax)); } } } } }); }
protected void refillInferred() { getOWLModelManager().getReasonerPreferences().executeTask(OptionalInferenceTask.SHOW_INFERRED_DATA_PROPERTY_ASSERTIONS, () -> { if (!getOWLModelManager().getReasoner().isConsistent()) { return; } if (!getRootObject().isAnonymous()){ for (OWLDataProperty dp : getReasoner().getRootOntology().getDataPropertiesInSignature(true)) { Set<OWLLiteral> values = getReasoner().getDataPropertyValues(getRootObject().asOWLNamedIndividual(), dp); for (OWLLiteral constant : values) { OWLDataPropertyAssertionAxiom ax = getOWLDataFactory().getOWLDataPropertyAssertionAxiom(dp, getRootObject(), constant); if (!added.contains(ax)) { addRow(new OWLDataPropertyAssertionAxiomFrameSectionRow(getOWLEditorKit(), OWLDataPropertyAssertionAxiomFrameSection.this, null, getRootObject(), ax)); } } } } }); }
public void run() { if (!getOWLModelManager().getReasoner().isConsistent()) { return; } if (!getRootObject().isAnonymous()){ for (OWLDataProperty dp : getReasoner().getRootOntology().getDataPropertiesInSignature(true)) { Set<OWLLiteral> values = getReasoner().getDataPropertyValues(getRootObject().asOWLNamedIndividual(), dp); for (OWLLiteral constant : values) { OWLDataPropertyAssertionAxiom ax = getOWLDataFactory().getOWLDataPropertyAssertionAxiom(dp, getRootObject(), constant); if (!added.contains(ax)) { addRow(new OWLDataPropertyAssertionAxiomFrameSectionRow(getOWLEditorKit(), OWLDataPropertyAssertionAxiomFrameSection.this, null, getRootObject(), ax)); } } } } } });
public void run() { if (!getOWLModelManager().getReasoner().isConsistent()) { return; } if (!getRootObject().isAnonymous()){ for (OWLDataProperty dp : getReasoner().getRootOntology().getDataPropertiesInSignature(true)) { Set<OWLLiteral> values = getReasoner().getDataPropertyValues(getRootObject().asOWLNamedIndividual(), dp); for (OWLLiteral constant : values) { OWLDataPropertyAssertionAxiom ax = getOWLDataFactory().getOWLDataPropertyAssertionAxiom(dp, getRootObject(), constant); if (!added.contains(ax)) { addRow(new OWLDataPropertyAssertionAxiomFrameSectionRow(getOWLEditorKit(), OWLDataPropertyAssertionAxiomFrameSection.this, null, getRootObject(), ax)); } } } } } });