Difference between revisions of "Protege4Shortcuts"
From Protege Wiki
Nickdrummond (talk | contribs) (Partial descriptions of edit menu) |
Nickdrummond (talk | contribs) (→Edit: completed descriptions of edit actions) |
||
Line 121: | Line 121: | ||
| | | | ||
| '''Add covering axiom''' | | '''Add covering axiom''' | ||
+ | | Add an equivalent class to the currently selected class containing a union of its subclasses | ||
|-valign="top" | |-valign="top" | ||
| | | | ||
| '''Make all individuals distinct...''' | | '''Make all individuals distinct...''' | ||
+ | | Create an allDifferent axiom containing all of the individuals in the ontology | ||
|-valign="top" | |-valign="top" | ||
| Ctrl-J | | Ctrl-J | ||
| '''Make primitive siblings disjoint''' | | '''Make primitive siblings disjoint''' | ||
+ | | Create an allDisjoint axiom containing the currently selected class and all of its siblings | ||
|-valign="top" | |-valign="top" | ||
| Shift-Ctrl-P | | Shift-Ctrl-P | ||
| '''Prefixes...''' | | '''Prefixes...''' | ||
+ | | Manage renderings of namespaces | ||
|} | |} | ||
Revision as of 07:11, 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 | Add an equivalent class to the currently selected class containing a union of its subclasses | |
Make all individuals distinct... | Create an allDifferent axiom containing all of the individuals in the ontology | |
Ctrl-J | Make primitive siblings disjoint | Create an allDisjoint axiom containing the currently selected class and all of its siblings |
Shift-Ctrl-P | Prefixes... | Manage renderings of namespaces |
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 |