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 visit(OWLDataPropertyAssertionAxiom axiom) { if (axiom.getSubject().equals(getRootObject())) { reset(); } } }
/** * Refills the section with rows. This method will be called * by the system and should be directly called. */ protected void refill(OWLOntology ontology) { added.clear(); for (OWLDataPropertyAssertionAxiom ax : ontology.getDataPropertyAssertionAxioms(getRootObject())) { addRow(new OWLDataPropertyAssertionAxiomFrameSectionRow(getOWLEditorKit(), this, ontology, getRootObject(), ax)); added.add(ax); } }
protected OWLDataPropertyAssertionAxiom createAxiom(OWLDataPropertyConstantPair object) { return getOWLDataFactory().getOWLDataPropertyAssertionAxiom(object.getProperty(), getRootObject(), object.getConstant()); }
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)); } } } } } });
owlIndividualSections.add(new OWLObjectPropertyAssertionAxiomFrameSection(editorKit, this)); owlIndividualSections.add(new OWLNegativeObjectPropertyAssertionFrameSection(editorKit, this)); owlIndividualSections.add(new OWLDataPropertyAssertionAxiomFrameSection(editorKit, this)); owlIndividualSections.add(new OWLNegativeDataPropertyAssertionFrameSection(editorKit, this)); owlIndividualSections.add(new OWLSameIndividualsAxiomFrameSection(editorKit, this));
public OWLObjectEditor<OWLDataPropertyConstantPair> getObjectEditor() { if (editor == null) { editor = new OWLDataPropertyRelationshipEditor(getOWLEditorKit()); } return editor; }
@Override protected boolean isResettingChange(OWLOntologyChange change) { return change.isAxiomChange() && change.getAxiom() instanceof OWLDataPropertyAssertionAxiom && ((OWLDataPropertyAssertionAxiom) change.getAxiom()).getSubject().equals(getRootObject()); }
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)); } } } } } }); }
/** * Refills the section with rows. This method will be called * by the system and should be directly called. */ protected void refill(OWLOntology ontology) { added.clear(); for (OWLDataPropertyAssertionAxiom ax : ontology.getDataPropertyAssertionAxioms(getRootObject())) { addRow(new OWLDataPropertyAssertionAxiomFrameSectionRow(getOWLEditorKit(), this, ontology, getRootObject(), ax)); added.add(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)); } } } } } });
protected OWLDataPropertyAssertionAxiom createAxiom(OWLDataPropertyConstantPair object) { return getOWLDataFactory().getOWLDataPropertyAssertionAxiom(object.getProperty(), getRootObject(), object.getConstant()); }
owlIndividualSections.add(new OWLObjectPropertyAssertionAxiomFrameSection(editorKit, this)); owlIndividualSections.add(new OWLNegativeObjectPropertyAssertionFrameSection(editorKit, this)); owlIndividualSections.add(new OWLDataPropertyAssertionAxiomFrameSection(editorKit, this)); owlIndividualSections.add(new OWLNegativeDataPropertyAssertionFrameSection(editorKit, this)); owlIndividualSections.add(new OWLSameIndividualsAxiomFrameSection(editorKit, this));
public OWLObjectEditor<OWLDataPropertyConstantPair> getObjectEditor() { if (editor == null) { editor = new OWLDataPropertyRelationshipEditor(getOWLEditorKit()); } return editor; }
@Override protected boolean isResettingChange(OWLOntologyChange change) { return change.isAxiomChange() && change.getAxiom() instanceof OWLDataPropertyAssertionAxiom && ((OWLDataPropertyAssertionAxiom) change.getAxiom()).getSubject().equals(getRootObject()); }
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)); } } } } }); }
/** * Refills the section with rows. This method will be called * by the system and should be directly called. */ protected void refill(OWLOntology ontology) { added.clear(); for (OWLDataPropertyAssertionAxiom ax : ontology.getDataPropertyAssertionAxioms(getRootObject())) { addRow(new OWLDataPropertyAssertionAxiomFrameSectionRow(getOWLEditorKit(), this, ontology, getRootObject(), ax)); added.add(ax); } }
protected OWLDataPropertyAssertionAxiom createAxiom(OWLDataPropertyConstantPair object) { return getOWLDataFactory().getOWLDataPropertyAssertionAxiom(object.getProperty(), getRootObject(), object.getConstant()); }
owlIndividualSections.add(new OWLObjectPropertyAssertionAxiomFrameSection(editorKit, this)); owlIndividualSections.add(new OWLNegativeObjectPropertyAssertionFrameSection(editorKit, this)); owlIndividualSections.add(new OWLDataPropertyAssertionAxiomFrameSection(editorKit, this)); owlIndividualSections.add(new OWLNegativeDataPropertyAssertionFrameSection(editorKit, this)); owlIndividualSections.add(new OWLSameIndividualsAxiomFrameSection(editorKit, this));