Protege4Shortcuts
From Protege Wiki
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... | Compute the inferred class hierarchy (and enable this view if it is in the current tab) |
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 |