swoopframe.java

来自「Semantic Web Ontology Editor」· Java 代码 · 共 1,892 行 · 第 1/5 页

		optionPanel.setVisible(true); //display option bar
		if (swoopModel.isShowChangeAnnotBar())
			this.toggleChangeAnnotationPane(true);
		else
			this.viewChangeBarMenu.setSelected(false);
		this.viewSideBarMenu.setSelected(true);
		this.viewOptionBarMenu.setSelected(true);
		this.changeLog.getOntRadio().setSelected(true);
		this.changeLog.scope = changeLog.ONTOLOGY_SCOPE;
	}

	/*
	 * Expand ontology combo box into a list box displaying all ontologies
	 */
	public void expandOntPanel() {
		ontPanel.removeAll();
		ontPanel.setLayout(new BorderLayout());
		ontPanel.add(ontDisplay.ontToolBar, "North");
		ontPanel.add(ontDisplay.ontListPane, "Center");
		sidePanel.setDividerLocation(sidePanel.getLastDividerLocation());
		repaint();
	}

	/*
	 * Collapse ontology list box into a drop down list
	 */
	public void collapseOntPanel() {
		ontPanel.removeAll();
		ontPanel.setLayout(new BorderLayout());
		ontPanel.add(ontDisplay.ontToolBar, "North");
		ontPanel.add(ontDisplay.ontHideBox, "Center");
		sidePanel.setDividerLocation(sidePanel.getMinimumDividerLocation());
		repaint();
	}

	/*
	 * Display ontology pane in swoop frame when ontology is selected
	 */
	public void displayOntologyPane() {

		swoopModel.selectedOWLObject = swoopModel.selectedOntology;
		swoopModel.selectedEntity = null;
		ontDisplay.ontDescTab.setVisible(true);
		termDisplay.termDisplayEditPane.setVisible(false);
		termDisplay.showIconsChk.setVisible(false);
		termDisplay.clearSelections();
	}

	/*
	 * Display entity pane in swoop frame when entity is selected
	 */
	public void displayEntityPane() {
		ontDisplay.ontDescTab.setVisible(false);
		termDisplay.termDisplayEditPane.setVisible(true);
		termDisplay.showIconsChk.setVisible(true);
		swoopModel.selectedOWLObject = swoopModel.selectedEntity;
	}

	/**
	 * setup look and feel of UI depending on OS (Windows/Mac etc)
	 */
	private void setupLookFeel() {

		try {
			UIManager
					.setLookAndFeel("com.sun.java.swing.plaf.windows.WindowsLookAndFeel");
		} catch (Exception ex) {
			try {
				UIManager
						.setLookAndFeel("com.sun.java.swing.plaf.mac.MacLookAndFeel");
			} catch (Exception ex2) {
				try {
					UIManager.setLookAndFeel(UIManager
							.getSystemLookAndFeelClassName());
				} catch (Exception ex3) {
				}
			}
		}
	}

	private void setupMenuBar() {

		// setup menu bar
		JMenuBar JmenuBar = new JMenuBar();

		// create file menu
		JMenu JMenuFile = new JMenu("File");
		newOntMItem = new JMenuItem("New Ontology");
		newOntMItem.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_N,
				ActionEvent.CTRL_MASK));
		newOntMItem.setToolTipText("Create New Ontology in SWOOP");
		JMenu loadMItem = new JMenu("Load");
		loadOntMItem = new JMenuItem("Ontology");
		loadOntMItem.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_L,
				ActionEvent.CTRL_MASK));
		loadWkspMItem = new JMenuItem("Workspace");
		loadWkspMItem.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_L,
				ActionEvent.CTRL_MASK + ActionEvent.SHIFT_MASK));
		loadMItem.add(loadOntMItem);
		loadMItem.add(loadWkspMItem);
		JMenu saveMItem = new JMenu("Save");
		ontSaveMItem = new JMenuItem("Ontology ");
		ontSaveMItem.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_S,
				ActionEvent.CTRL_MASK));
		saveWkspMItem = new JMenuItem("Workspace");
		saveWkspMItem.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_S,
				ActionEvent.CTRL_MASK + ActionEvent.SHIFT_MASK));
		saveMItem.add(ontSaveMItem);
		saveMItem.add(saveWkspMItem);
		ontRemoveMItem = new JMenuItem("Remove Ontology");
		ontRemoveMItem.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_R,
				ActionEvent.CTRL_MASK));
		ontRemoveMItem.setToolTipText("Remove Selected Ontology from SWOOP");
		clearMItem = new JMenuItem("Clear All");
		clearMItem.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_R,
				ActionEvent.CTRL_MASK + ActionEvent.SHIFT_MASK));
		saveAsMItem = new JMenuItem("Save As..");
		exportMItem = new JMenuItem("Export Remotely");
		exportMItem.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_E,
				ActionEvent.CTRL_MASK));
		exportMItem
				.setToolTipText("Export Selected Ontology to remote WebDav Store");
		exportStatsMItem = new JMenuItem("Export Ontology Statistics");
		exportStatsMItem.setToolTipText("Export Ontology Statistics to a .txt file");
		
		exportTreeMItem = new JMenuItem("Export Class Tree");
		exportTreeMItem.setToolTipText("Export the current class tree to treemap files (tm3) for visualization");		
		
		exportHTMLMItem = new JMenuItem("Export HTML");
		exportHTMLMItem.setToolTipText("Export HTML for Currently Selected Entity / Ontology");
		
		exportInferredKB = new JMenuItem("Export Inferred Ontology");
		exportInferredKB.setToolTipText("Classify and Export the Inferred State of the Selected Ontology");
		
		JMenuItem exitMItem = new JMenuItem("Exit");
		JMenuAdvanced = new JMenu("Advanced");

		// by default need to disable certain menu options (save etc) on startup
		this.disableMenuOptions();

		JMenuFile.add(newOntMItem);
		JMenuFile.add(ontRemoveMItem);
		JMenuFile.addSeparator();
		JMenuFile.add(loadMItem);
		JMenuFile.add(saveMItem);
		JMenuFile.add(saveAsMItem);
		JMenuFile.addSeparator();
		JMenuFile.add(exportMItem);
		JMenuFile.add(exportHTMLMItem);
//		JMenuFile.add(exportStatsMItem);
		JMenuFile.add(exportTreeMItem);
		JMenuFile.add(exportInferredKB);
		JMenuFile.addSeparator();
		JMenuFile.add(clearMItem);
		JMenuFile.addSeparator();

		prefMItem = new JMenuItem("Preferences");
		prefMItem.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_P,
				ActionEvent.CTRL_MASK));
		JMenuFile.add(prefMItem);
		JMenuFile.addSeparator();

		JMenuFile.add(exitMItem);
		JmenuBar.add(JMenuFile);

		// create View menu
		JMenu viewPanel = new JMenu("View");
		JMenu sideBars = new JMenu("SideBars");
		viewSideBarMenu = new JCheckBoxMenuItem("Navigation SideBar");
		viewChangeBarMenu = new JCheckBoxMenuItem("Changes/Annotations SideBar");
		viewOptionBarMenu = new JCheckBoxMenuItem("Option-Bar");
		sideBars.add(viewSideBarMenu);
		sideBars.add(viewChangeBarMenu);
		sideBars.add(viewOptionBarMenu);

		launchBarMenu = new JCheckBoxMenuItem("Launch Bar");
		launchBarMenu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_F2, 0));

		refreshOntMenu = new JMenuItem("Refresh");
		refreshOntMenu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_R,
				ActionEvent.ALT_MASK));
		reloadOntMenu = new JMenuItem("Reload..");
		reloadOntMenu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_L,
				ActionEvent.ALT_MASK));
		ontCodeMenu = new JMenuItem("Source - RDF/XML");
		ontCodeMenu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_F3, 0));
		ontCodeASMenu = new JMenuItem("Source - Abstract Syntax");
		ontCodeASMenu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_F4, 0));
		browserMenu = new JMenuItem("Current URL (page) in default Web Browser");
		browserMenu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_F10, 0));

		viewPanel.add(sideBars);
		viewPanel.add(launchBarMenu);
		viewPanel.addSeparator();
		viewPanel.add(refreshOntMenu);
		viewPanel.add(reloadOntMenu);
		viewPanel.addSeparator();
		viewPanel.add(ontCodeMenu);
		viewPanel.add(ontCodeASMenu);
		viewPanel.addSeparator();
		viewPanel.add(browserMenu);
		JmenuBar.add(viewPanel);

		// create bookmark menu
		bookmarkMenu = new JMenu("Bookmarks");
		addBookmarkMenu = new JMenuItem("Add Bookmark");
		addBookmarkMenu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_B,
				ActionEvent.CTRL_MASK));
		addBookmarkMenu.addActionListener(this);
		remBookmarkMenu = new JMenuItem("Remove Bookmark");
		remBookmarkMenu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_B,
				ActionEvent.CTRL_MASK + ActionEvent.SHIFT_MASK));
		remBookmarkMenu.addActionListener(this);
		sortBookmarkMenu = new JMenuItem("Sort Bookmarks Alphabetically");
		sortBookmarkMenu.addActionListener(this);
		bookmarkMenu.add(addBookmarkMenu);
		bookmarkMenu.add(remBookmarkMenu);
		bookmarkMenu.add(sortBookmarkMenu);
		bookmarkMenu.addSeparator();
		JmenuBar.add(bookmarkMenu);

		JMenu RHMenu = new JMenu("Resource Holder");
		addResHoldMItem = new JMenuItem("Add Current Entity to Holder");
		addResHoldMItem.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_F11,
				0));
		RHMenu.add(addResHoldMItem);
		viewResHoldMItem = new JMenuItem("View Resource Holder");
		viewResHoldMItem.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_F12,
				0));
		RHMenu.add(viewResHoldMItem);
		JmenuBar.add(RHMenu);

		// create advanced menu		
		// add debug menu
		JMenu debugMenu = new JMenu("Debugging / Explanation");
//		debugMenu.add(termDisplay.debugChk);
		tableauSOSMenu = new JCheckBoxMenuItem("Compute Explanation: Black Box Method");
		tableauSOSMenu.setSelected(!swoopModel.isUseTableau());
		debugMenu.add(tableauSOSMenu);
		debugMenu.addSeparator();
		debugMenu.add(termDisplay.debugGlassChk);
		JMenu sosMenu = new JMenu("Advanced Clash / SOS");
		sosMenu.setEnabled(swoopModel.isDebugGlass());		
//		sosMenu.add(tableauSOSMenu);
		tableauSOSMenu.addActionListener(this);
		findAllMUPSMenu = new JCheckBoxMenuItem("Display All SOS (only done inline)");
		findAllMUPSMenu.setSelected(swoopModel.isFindAllMUPS());
		sosMenu.add(findAllMUPSMenu);		
		findAllMUPSMenu.addActionListener(this);
//		debugMenu.add(sosMenu);
		debugMenu.add(findAllMUPSMenu);
		debugMenu.add(termDisplay.debugBlackChk);
		JMenuAdvanced.add(debugMenu);
		//Module extraction
		extractModMenu = new JMenuItem("Extract Module");
		extractModMenu.addActionListener(this);
		JMenuAdvanced.add(extractModMenu);
		
		//
		//Dual module extraction
		extractModDualMenu = new JMenuItem("Extract (Dual) Module");
		extractModDualMenu.addActionListener(this);
		JMenuAdvanced.add(extractModDualMenu);
		
		//
		JMenuItem showOntGraph = new JMenuItem("Fly The MotherShip");
		showOntGraph.addActionListener(new ActionListener() {
			public void actionPerformed(ActionEvent arg0) 
			{
				flyTheMothership();
			}
		});
		JMenuAdvanced.add(showOntGraph);
		
		
		// axiomatic view
		/*
		JMenuItem showClassAxioms= new JMenuItem("Show Told Class Axioms");
		showClassAxioms.addActionListener(new ActionListener() {
			public void actionPerformed(ActionEvent arg0) 
			{
				showToldClassAxioms();
			}
		});
		JMenuAdvanced.add(showClassAxioms);
		*/
		
		// axiomatic view
		JMenuItem showClassAxioms2= new JMenuItem("Show Class Expression Table");
		showClassAxioms2.addActionListener(new ActionListener() {
			public void actionPerformed(ActionEvent arg0) 
			{
				showInferredClassAxioms();
			}
		});
		JMenuAdvanced.add(showClassAxioms2);
		
		
		
		
		JMenuAutomatic = new JMenuItem("Partition Automatically");		
		JMenuAutomatic.setToolTipText("Partition the Selected Ontology using the E-connections Framework");
		JMenuAdvanced.add(JMenuAutomatic);
		showEnableRules = new JCheckBoxMenuItem("Enable Rules");	
		JMenuAdvanced.add(showEnableRules);
		queryMItem = new JMenuItem("Pellet Query");
		JMenuAdvanced.add(queryMItem);
		repairMItem = new JMenuItem("Repair Ontology");
		JMenuAdvanced.add(repairMItem);
		versionMItem = new JMenuItem("Version Control");
		JMenuAdvanced.add(versionMItem);
		sudokuMItem = new JMenuItem("Play Sudoku");
		JMenuAdvanced.add(sudokuMItem);
		splitOntMItem = new JMenuItem("Split Ontology");
		JMenuAdvanced.add(splitOntMItem);
		splitOntMItem.addActionListener(new ActionListener() {
			public void actionPerformed(ActionEvent arg0) {
				OWLOntSplitter os = new OWLOntSplitter(swoopModel);
				OWLOntology ont = swoopModel.getSelectedOntology();
				OWLOntology newOnt = os.splitAxioms(ont);
				try {
					swoopModel.removeOntology(ont.getURI());
	        		termDisplay.removeFromCache(ont);
	        		swoopModel.addOntology(newOnt);
	        		swoopModel.setSelectedOntology(newOnt);
	    			JOptionPane.showMessageDialog(null, "Ontology model updated successfully", "Update", JOptionPane.INFORMATION_MESSAGE);
				} 
				catch (OWLException e) {
					e.printStackTrace();
				}	
			}
		});
		
		JMenuItem showClsGraph = new JMenuItem("Show class hierarchy graph");
		showClsGraph.addActionListener(new ActionListener() {
			public void actionPerformed(ActionEvent arg0) {
				try {
					Box msgPanel = Box.createHorizontalBox();
					OWLClass top = null;

					OWLEntity entity = swoopModel.getSelectedEntity();
					if (entity != null && entity instanceof OWLClass) {
						top = (OWLClass) entity;
					} else {
						OWLOntology ont = swoopModel.getSelectedOntology();
						if (ont == null) {
							JOptionPane.showMessageDialog(null,
									"No ontology selected");
							return;
						} else
							top = ont.getOWLDataFactory().getOWLThing();
					}
					msgPanel.add(new ClassHierarchyGraph(swoopModel, top));

					JFrame frame = new JFrame("Class Hierarchy");
					frame.getContentPane().add(msgPanel);
					frame.setSize(600, 500);
					frame.show();
				} catch (Exception e) {
					e.printStackTrace();
				}
			}
		});
//		JMenuAdvanced.add(showClsGraph);

		// *** For debugging purposes only (TEMPORARY STUFF) ****
		JMenuItem debugMItem = new JMenuItem("Run Debug Tests");
		JMenuAdvanced.add(debugMItem);
		debugMItem.addActionListener(new ActionListener() {
			public void actionPerformed(ActionEvent arg0) {
				try {
					((ConciseFormatEntityRenderer) termDisplay.renderers.get(0)).runDebugTests();
				} catch (Exception e) {
					e.printStackTrace();
				}
			}
		});
		JmenuBar.add(JMenuAdvanced);