Protege4Shortcuts

From Protege Wiki
Revision as of 08:48, November 30, 2007 by Nickdrummond (talk | contribs) (added backlink)

Jump to: navigation, search

Protege 4.x Menu Actions and Keyboard Shortcuts

This page contains a summary of Protege 4.x menu items and keyboard shortcuts.


Back to Protege4UserDocs


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

All interface components in a tab are Ontology Views. The views are categorised for ease of navigation. The contents of this menu depend on which plugins you have installed. Selecting a view will allow you to add it to the currently selected tab. You can configure any of your tabs by adding and deleting new views.

For details of how to configure tabs please see notes on configuring the interface.

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)