Protege 4.0 Menu Actions and Keyboard Shortcuts
This page contains a summary of Protege 4.0 menu items and keyboard shortcuts.
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
Additional tools will depend on which plugins you have installed (eg Export OWLDoc...). The default tools are shown below.
|
|
|
Create class hierarchy...
|
Enter a tab indented list of classes that will be added to the ontology
|
|
Usage
|
Display a view showing global usage of the currently selected entity
|
Refactor
|
|
Ctrl-U
|
Rename...
|
Globally change the URI for the selected entity (not the label of the entity)
|
|
Change ontology URI..."
|
Change the URI for the active ontology (note, this does not change the URIs of any entities)
|
|
Convert property assertion on class/individual puns to annotations
|
Converts any property assertions with a subject which is a pun to an annotation on the class which is punned
|
|
Split subclass axioms
|
Splits subclass axioms in the active ontologies into more fine grained axioms. For example, A subClassOf (B and C) would be split into A subClassOf B, and A subClassOf C
|
|
Amalgamate subclass axioms
|
Merges subclass axioms that have a common left hand side. For example, A subClassOf B, A subClassOf C would be merged into a single subclass axiom, A subClassOf (B and C)
|
|
Merge ontologies...
|
Merge one or more ontologies into an existing or new ontology
|
Tabs
The tabs that are available may be larger depending on which plugins you have installed. The default tabs are below.
|
|
|
Active Ontology
|
Metadata, imports and metrics for the active ontology
|
|
Entities
|
A view of the currently selected class, property or individual (can be used to replace the other entities tabs)
|
|
Classes
|
A tab specifically for viewing classes
|
|
Object Properties
|
A tab specifically for viewing object properties
|
|
Data Properties
|
A tab specifically for viewing data properties
|
|
Individuals
|
A tab specifically for viewing individuals
|
|
OWLViz
|
A graphical representation of the asserted and inferred subclass heirarchy (requires Graphviz)
|
|
DL Query
|
A tab for querying the reasoner with arbitrary class expressions (the ontology must be classified first)
|
|
Save current layout
|
Force the current layout to be saved (Will happen on a normal shutdown of Protege)
|
|
Reset selected tab to default
|
Factory reset for the current tab layout
|
View
Window
Ctrl-=
|
Increase font size
|
Ctrl--
|
Decrease font size
|
|
Look & Feel
|
Help
|
|
|
About
|
Version and build numbers for the core system and all installed plugins (please supply these in bug reports - Hint-hint)
|