/** * Refills the section with rows. This method will be called * by the system and should be directly called. */ protected void refill(OWLOntology ontology) { for (OWLNegativeDataPropertyAssertionAxiom ax : ontology.getNegativeDataPropertyAssertionAxioms(getRootObject())) { addRow(new OWLNegativeDataPropertyAssertionFrameSectionRow(getOWLEditorKit(), this, ontology, getRootObject(), ax)); } }
protected OWLNegativeDataPropertyAssertionAxiom createAxiom(OWLDataPropertyConstantPair object) { return getOWLDataFactory().getOWLNegativeDataPropertyAssertionAxiom(object.getProperty(), getRootObject(), object.getConstant()); }
public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) { if (axiom.getSubject().equals(getRootObject())) { reset(); } } }
owlIndividualSections.add(new OWLNegativeObjectPropertyAssertionFrameSection(editorKit, this)); owlIndividualSections.add(new OWLDataPropertyAssertionAxiomFrameSection(editorKit, this)); owlIndividualSections.add(new OWLNegativeDataPropertyAssertionFrameSection(editorKit, this)); owlIndividualSections.add(new OWLSameIndividualsAxiomFrameSection(editorKit, this)); owlIndividualSections.add(new OWLDifferentIndividualsAxiomFrameSection(editorKit, this));
public OWLObjectEditor<OWLDataPropertyConstantPair> getObjectEditor() { if (editor == null) { editor = new OWLDataPropertyRelationshipEditor(getOWLEditorKit()); } return editor; }
@Override protected boolean isResettingChange(OWLOntologyChange change) { if (!change.isAxiomChange()) { return false; } OWLAxiom axiom = change.getAxiom(); if (axiom instanceof OWLNegativeDataPropertyAssertionAxiom) { return ((OWLNegativeDataPropertyAssertionAxiom) axiom).getSubject().equals(getRootObject()); } return false; }
owlIndividualSections.add(new OWLNegativeObjectPropertyAssertionFrameSection(editorKit, this)); owlIndividualSections.add(new OWLDataPropertyAssertionAxiomFrameSection(editorKit, this)); owlIndividualSections.add(new OWLNegativeDataPropertyAssertionFrameSection(editorKit, this)); owlIndividualSections.add(new OWLSameIndividualsAxiomFrameSection(editorKit, this)); owlIndividualSections.add(new OWLDifferentIndividualsAxiomFrameSection(editorKit, this));
public OWLObjectEditor<OWLDataPropertyConstantPair> getObjectEditor() { if (editor == null) { editor = new OWLDataPropertyRelationshipEditor(getOWLEditorKit()); } return editor; }
@Override protected boolean isResettingChange(OWLOntologyChange change) { if (!change.isAxiomChange()) { return false; } OWLAxiom axiom = change.getAxiom(); if (axiom instanceof OWLNegativeDataPropertyAssertionAxiom) { return ((OWLNegativeDataPropertyAssertionAxiom) axiom).getSubject().equals(getRootObject()); } return false; }
/** * Refills the section with rows. This method will be called * by the system and should be directly called. */ protected void refill(OWLOntology ontology) { for (OWLNegativeDataPropertyAssertionAxiom ax : ontology.getNegativeDataPropertyAssertionAxioms(getRootObject())) { addRow(new OWLNegativeDataPropertyAssertionFrameSectionRow(getOWLEditorKit(), this, ontology, getRootObject(), ax)); } }
protected OWLNegativeDataPropertyAssertionAxiom createAxiom(OWLDataPropertyConstantPair object) { return getOWLDataFactory().getOWLNegativeDataPropertyAssertionAxiom(object.getProperty(), getRootObject(), object.getConstant()); }
owlIndividualSections.add(new OWLNegativeObjectPropertyAssertionFrameSection(editorKit, this)); owlIndividualSections.add(new OWLDataPropertyAssertionAxiomFrameSection(editorKit, this)); owlIndividualSections.add(new OWLNegativeDataPropertyAssertionFrameSection(editorKit, this)); owlIndividualSections.add(new OWLSameIndividualsAxiomFrameSection(editorKit, this)); owlIndividualSections.add(new OWLDifferentIndividualsAxiomFrameSection(editorKit, this));
public OWLObjectEditor<OWLDataPropertyConstantPair> getObjectEditor() { if (editor == null) { editor = new OWLDataPropertyRelationshipEditor(getOWLEditorKit()); } return editor; }
@Override protected boolean isResettingChange(OWLOntologyChange change) { if (!change.isAxiomChange()) { return false; } OWLAxiom axiom = change.getAxiom(); if (axiom instanceof OWLNegativeDataPropertyAssertionAxiom) { return ((OWLNegativeDataPropertyAssertionAxiom) axiom).getSubject().equals(getRootObject()); } return false; }
/** * Refills the section with rows. This method will be called * by the system and should be directly called. */ protected void refill(OWLOntology ontology) { for (OWLNegativeDataPropertyAssertionAxiom ax : ontology.getNegativeDataPropertyAssertionAxioms(getRootObject())) { addRow(new OWLNegativeDataPropertyAssertionFrameSectionRow(getOWLEditorKit(), this, ontology, getRootObject(), ax)); } }
protected OWLNegativeDataPropertyAssertionAxiom createAxiom(OWLDataPropertyConstantPair object) { return getOWLDataFactory().getOWLNegativeDataPropertyAssertionAxiom(object.getProperty(), getRootObject(), object.getConstant()); }
owlIndividualSections.add(new OWLNegativeObjectPropertyAssertionFrameSection(editorKit, this)); owlIndividualSections.add(new OWLDataPropertyAssertionAxiomFrameSection(editorKit, this)); owlIndividualSections.add(new OWLNegativeDataPropertyAssertionFrameSection(editorKit, this)); owlIndividualSections.add(new OWLSameIndividualsAxiomFrameSection(editorKit, this)); owlIndividualSections.add(new OWLDifferentIndividualsAxiomFrameSection(editorKit, this));
public OWLObjectEditor<OWLDataPropertyConstantPair> getObjectEditor() { if (editor == null) { editor = new OWLDataPropertyRelationshipEditor(getOWLEditorKit()); } return editor; }
/** * Refills the section with rows. This method will be called * by the system and should be directly called. */ protected void refill(OWLOntology ontology) { for (OWLNegativeDataPropertyAssertionAxiom ax : ontology.getNegativeDataPropertyAssertionAxioms(getRootObject())) { addRow(new OWLNegativeDataPropertyAssertionFrameSectionRow(getOWLEditorKit(), this, ontology, getRootObject(), ax)); } }
protected OWLNegativeDataPropertyAssertionAxiom createAxiom(OWLDataPropertyConstantPair object) { return getOWLDataFactory().getOWLNegativeDataPropertyAssertionAxiom(object.getProperty(), getRootObject(), object.getConstant()); }