public OWLIndividualFrame(OWLEditorKit editorKit) { super(editorKit.getModelManager().getOWLOntologyManager()); addSection(new OWLClassAssertionAxiomTypeFrameSection(editorKit, this)); addSection(new OWLSameIndividualsAxiomFrameSection(editorKit, this)); addSection(new OWLDifferentIndividualsAxiomFrameSection(editorKit, this)); } }
public void initialiseIndividualsView() throws Exception { list = new OWLFrameList<OWLNamedIndividual>(getOWLEditorKit(), new OWLIndividualFrame(getOWLEditorKit())); setLayout(new BorderLayout()); add(new JScrollPane(list)); list.addToPopupMenu(new CreateNewEquivalentClassAction<OWLNamedIndividual>()); }
public void initialiseIndividualsView() throws Exception { list = new OWLFrameList<>(getOWLEditorKit(), new OWLIndividualFrame(getOWLEditorKit())); setLayout(new BorderLayout()); add(new JScrollPane(list)); list.addToPopupMenu(new CreateNewEquivalentClassAction<>()); }
public OWLIndividualFrame(OWLEditorKit editorKit) { super(editorKit.getModelManager().getOWLOntologyManager()); addSection(new OWLClassAssertionAxiomTypeFrameSection(editorKit, this)); addSection(new OWLSameIndividualsAxiomFrameSection(editorKit, this)); addSection(new OWLDifferentIndividualsAxiomFrameSection(editorKit, this)); } }
public void initialiseIndividualsView() throws Exception { list = new OWLFrameList<>(getOWLEditorKit(), new OWLIndividualFrame(getOWLEditorKit())); setLayout(new BorderLayout()); add(new JScrollPane(list)); list.addToPopupMenu(new CreateNewEquivalentClassAction<>()); }
public OWLIndividualFrame(OWLEditorKit editorKit) { super(editorKit.getModelManager().getOWLOntologyManager()); addSection(new OWLClassAssertionAxiomTypeFrameSection(editorKit, this)); addSection(new OWLSameIndividualsAxiomFrameSection(editorKit, this)); addSection(new OWLDifferentIndividualsAxiomFrameSection(editorKit, this)); } }
public void initialiseIndividualsView() throws Exception { list = new OWLFrameList<OWLNamedIndividual>(getOWLEditorKit(), new OWLIndividualFrame(getOWLEditorKit())); setLayout(new BorderLayout()); add(new JScrollPane(list)); list.addToPopupMenu(new CreateNewEquivalentClassAction<OWLNamedIndividual>()); }
public OWLIndividualFrame(OWLEditorKit editorKit) { super(editorKit.getModelManager().getOWLOntologyManager()); addSection(new OWLClassAssertionAxiomTypeFrameSection(editorKit, this)); addSection(new OWLSameIndividualsAxiomFrameSection(editorKit, this)); addSection(new OWLDifferentIndividualsAxiomFrameSection(editorKit, this)); } }