Protege4Shortcuts

From Protege Wiki
Revision as of 07:38, November 30, 2007 by Nickdrummond (talk | contribs) (Refactor)

Jump to: navigation, search

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
Merge ontologies... Merge one or more ontologies into an existing or new ontology
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)

Tabs

View

Window

Ctrl-= Increase font size
Ctrl-- Decrease font size
Look & Feel

Help