Difference between revisions of "Protege4Shortcuts"
From Protege Wiki
Nickdrummond (talk | contribs) (→File: column width and alignment) |
Nickdrummond (talk | contribs) (Partial descriptions of edit menu) |
||
Line 14: | Line 14: | ||
{| border="0" cellpadding="5" cellspacing="0" | {| border="0" cellpadding="5" cellspacing="0" | ||
!width="100" | | !width="100" | | ||
+ | !width="150" | | ||
|-valign="top" | |-valign="top" | ||
| Shift-Ctrl-N | | Shift-Ctrl-N | ||
Line 63: | Line 64: | ||
| Configure behaviour for Protege 4.0 | | Configure behaviour for Protege 4.0 | ||
|} | |} | ||
+ | |||
== Edit == | == Edit == | ||
{| border="0" cellpadding="5" cellspacing="0" | {| border="0" cellpadding="5" cellspacing="0" | ||
− | |- | + | !width="100" | |
+ | !width="150" | | ||
+ | |-valign="top" | ||
| Ctrl-Z | | Ctrl-Z | ||
| '''Undo''' | | '''Undo''' | ||
− | |- | + | |-valign="top" |
| Shift-Ctrl-Z | | Shift-Ctrl-Z | ||
| '''Redo''' | | '''Redo''' | ||
− | |- | + | |-valign="top" |
| Ctrl-X | | Ctrl-X | ||
| '''Cut''' | | '''Cut''' | ||
− | |- | + | |-valign="top" |
| Ctrl-C | | Ctrl-C | ||
| '''Copy''' | | '''Copy''' | ||
− | |- | + | |-valign="top" |
| Ctrl-V | | Ctrl-V | ||
| '''Paste''' | | '''Paste''' | ||
− | |- | + | |-valign="top" |
| Ctrl-Backspace | | Ctrl-Backspace | ||
| '''Delete...''' | | '''Delete...''' | ||
− | |- | + | | Delete the most recently selected entity and all references to it |
+ | |-valign="top" | ||
| Ctrl-F | | Ctrl-F | ||
| '''Find in view''' | | '''Find in view''' | ||
− | |- | + | | Perform a name search in the currently active view (the one that currently has focus - often the last used) |
+ | |-valign="top" | ||
| Ctrl-N | | Ctrl-N | ||
| '''Create New''' | | '''Create New''' | ||
− | |- | + | | Create a new entity of a type dependant on the active view |
+ | |-valign="top" | ||
| Ctrl-\ | | Ctrl-\ | ||
| '''Create Child''' | | '''Create Child''' | ||
− | |- | + | | Create a subclass/subproperty of the current selection in the active view |
+ | |-valign="top" | ||
| Ctrl-/ | | Ctrl-/ | ||
| '''Create Sibling''' | | '''Create Sibling''' | ||
− | |- | + | | Create a subclass/subproperty of the parents of the current selection in the active view (in effect, on the same level as the current selection) |
+ | |-valign="top" | ||
| Shift-Ctrl-C | | Shift-Ctrl-C | ||
| '''Duplicate selected class''' | | '''Duplicate selected class''' | ||
− | |- | + | | Create a copy of the selected class including all asserted superclass and equivalent class axioms (not including annotations) |
+ | |-valign="top" | ||
| Ctrl-P | | Ctrl-P | ||
| '''Convert to primitive class''' | | '''Convert to primitive class''' | ||
− | |- | + | | Move all equivalent classes for the currently selected class to superclasses (and split an intersection into separate superclass axioms) |
+ | |-valign="top" | ||
| Ctrl-D | | Ctrl-D | ||
| '''Convert to defined class''' | | '''Convert to defined class''' | ||
− | |- | + | | Move all superclasses for the currently selected class into a new equivalent class (by building an intersection of the superclasses) |
+ | |-valign="top" | ||
| | | | ||
| '''Add covering axiom''' | | '''Add covering axiom''' | ||
− | |- | + | |-valign="top" |
| | | | ||
| '''Make all individuals distinct...''' | | '''Make all individuals distinct...''' | ||
− | |- | + | |-valign="top" |
| Ctrl-J | | Ctrl-J | ||
| '''Make primitive siblings disjoint''' | | '''Make primitive siblings disjoint''' | ||
− | |- | + | |-valign="top" |
| Shift-Ctrl-P | | Shift-Ctrl-P | ||
| '''Prefixes...''' | | '''Prefixes...''' | ||
Line 123: | Line 135: | ||
{|border="0" cellpadding="5" cellspacing="0" | {|border="0" cellpadding="5" cellspacing="0" | ||
− | |- | + | !width="100" | |
+ | !width="150" | | ||
+ | |-valign="top" | ||
| Ctrl-R | | Ctrl-R | ||
| '''Classify...''' | | '''Classify...''' | ||
− | |- | + | |-valign="top" |
| | | | ||
| '''Fact++''' | | '''Fact++''' | ||
| Select a C++ reasoner developed at The University of Manchester | | Select a C++ reasoner developed at The University of Manchester | ||
− | |- | + | |-valign="top" |
| | | | ||
| '''None''' | | '''None''' | ||
| Select the default reasoner that does not perform any inference | | Select the default reasoner that does not perform any inference | ||
− | |- | + | |-valign="top" |
| | | | ||
| '''Pellet''' | | '''Pellet''' |
Revision as of 06:58, November 30, 2007
Protege 4.0 Menu Actions and Keyboard Shortcuts
This page contains a summary of Protege 4.0 menu items and keyboard shortcuts.
Contents
All mnemonics are displayed next to the appropriate menu items.
On a mac, the Command key is used in place of the Ctrl key.
File
Shift-Ctrl-N | New... | Create a new ontology in a new workspace |
Ctrl-O | Open... | Open an ontology (and its imports) from a file |
Open recent | Open a recently worked on ontology | |
Shift-Ctrl-O | Open from URI... | Open an ontology from the web |
Ctrl-S | Save... | Save any changed open ontologies |
Ctrl-W | Close | Exit Protege4.0 |
Shift-Ctrl-S | Save as... | Save the currently active ontology as a new ontology |
Shift-Ctrl-G | Gather Ontologies... | Pulls all open ontologies into a single folder (useful for ontologies that have been opened from the web or from other libraries) |
Export inferred axioms as ontology... | After classification, save the inferred hierarchy as an ontology. Leaves the current ontologies alone. | |
Ctrl-L | Ontology Libraries... | Manage locations for commonly used shared ontologies to reside |
Loaded ontology sources... | Show a summary of the physical locations of the currently loaded ontologies | |
Ctrl-, | Preferences... | Configure behaviour for Protege 4.0 |
Edit
Ctrl-Z | Undo | |
Shift-Ctrl-Z | Redo | |
Ctrl-X | Cut | |
Ctrl-C | Copy | |
Ctrl-V | Paste | |
Ctrl-Backspace | Delete... | Delete the most recently selected entity and all references to it |
Ctrl-F | Find in view | Perform a name search in the currently active view (the one that currently has focus - often the last used) |
Ctrl-N | Create New | Create a new entity of a type dependant on the active view |
Ctrl-\ | Create Child | Create a subclass/subproperty of the current selection in the active view |
Ctrl-/ | Create Sibling | Create a subclass/subproperty of the parents of the current selection in the active view (in effect, on the same level as the current selection) |
Shift-Ctrl-C | Duplicate selected class | Create a copy of the selected class including all asserted superclass and equivalent class axioms (not including annotations) |
Ctrl-P | Convert to primitive class | Move all equivalent classes for the currently selected class to superclasses (and split an intersection into separate superclass axioms) |
Ctrl-D | Convert to defined class | Move all superclasses for the currently selected class into a new equivalent class (by building an intersection of the superclasses) |
Add covering axiom | ||
Make all individuals distinct... | ||
Ctrl-J | Make primitive siblings disjoint | |
Shift-Ctrl-P | Prefixes... |
Reasoner
Ctrl-R | Classify... | |
Fact++ | Select a C++ reasoner developed at The University of Manchester | |
None | Select the default reasoner that does not perform any inference | |
Pellet | Select a java reasoner developed by Clark & Parsia |
Tools
Refactor
Ctrl-U | Rename... |
Tabs
View
Window
Ctrl-= | Increase font size |
Ctrl-- | Decrease font size |
Look & Feel |