Difference between revisions of "Protege4Shortcuts"

From Protege Wiki
Jump to: navigation, search
(File: column width and alignment)
(Partial descriptions of edit menu)
Line 14: Line 14:
 
{| border="0" cellpadding="5" cellspacing="0"
 
{| border="0" cellpadding="5" cellspacing="0"
 
!width="100" |
 
!width="100" |
 +
!width="150" |
 
|-valign="top"
 
|-valign="top"
 
| Shift-Ctrl-N  
 
| Shift-Ctrl-N  
Line 63: Line 64:
 
| Configure behaviour for Protege 4.0
 
| Configure behaviour for Protege 4.0
 
|}
 
|}
 +
  
 
== Edit ==
 
== Edit ==
  
 
{| border="0" cellpadding="5" cellspacing="0"
 
{| border="0" cellpadding="5" cellspacing="0"
|-
+
!width="100" |
 +
!width="150" |
 +
|-valign="top"
 
| Ctrl-Z
 
| Ctrl-Z
 
| '''Undo'''
 
| '''Undo'''
|-
+
|-valign="top"
 
| Shift-Ctrl-Z
 
| Shift-Ctrl-Z
 
| '''Redo'''
 
| '''Redo'''
|-
+
|-valign="top"
 
| Ctrl-X
 
| Ctrl-X
 
| '''Cut'''
 
| '''Cut'''
|-
+
|-valign="top"
 
| Ctrl-C
 
| Ctrl-C
 
| '''Copy'''
 
| '''Copy'''
|-
+
|-valign="top"
 
| Ctrl-V
 
| Ctrl-V
 
| '''Paste'''
 
| '''Paste'''
|-
+
|-valign="top"
 
| Ctrl-Backspace
 
| Ctrl-Backspace
 
| '''Delete...'''
 
| '''Delete...'''
|-
+
| Delete the most recently selected entity and all references to it
 +
|-valign="top"
 
| Ctrl-F
 
| Ctrl-F
 
| '''Find in view'''
 
| '''Find in view'''
|-
+
| Perform a name search in the currently active view (the one that currently has focus - often the last used)
 +
|-valign="top"
 
| Ctrl-N
 
| Ctrl-N
 
| '''Create New'''
 
| '''Create New'''
|-
+
| Create a new entity of a type dependant on the active view
 +
|-valign="top"
 
| Ctrl-\
 
| Ctrl-\
 
| '''Create Child'''
 
| '''Create Child'''
|-
+
| Create a subclass/subproperty of the current selection in the active view
 +
|-valign="top"
 
| Ctrl-/
 
| Ctrl-/
 
| '''Create Sibling'''
 
| '''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)
 +
|-valign="top"
 
| Shift-Ctrl-C
 
| Shift-Ctrl-C
 
| '''Duplicate selected class'''
 
| '''Duplicate selected class'''
|-
+
| Create a copy of the selected class including all asserted superclass and equivalent class axioms (not including annotations)
 +
|-valign="top"
 
| Ctrl-P
 
| Ctrl-P
 
| '''Convert to primitive class'''
 
| '''Convert to primitive class'''
|-
+
| Move all equivalent classes for the currently selected class to superclasses (and split an intersection into separate superclass axioms)
 +
|-valign="top"
 
| Ctrl-D
 
| Ctrl-D
 
| '''Convert to defined class'''
 
| '''Convert to defined class'''
|-
+
| Move all superclasses for the currently selected class into a new equivalent class (by building an intersection of the superclasses)
 +
|-valign="top"
 
|
 
|
 
| '''Add covering axiom'''
 
| '''Add covering axiom'''
|-
+
|-valign="top"
 
|
 
|
 
| '''Make all individuals distinct...'''
 
| '''Make all individuals distinct...'''
|-
+
|-valign="top"
 
| Ctrl-J
 
| Ctrl-J
 
| '''Make primitive siblings disjoint'''
 
| '''Make primitive siblings disjoint'''
|-
+
|-valign="top"
 
| Shift-Ctrl-P
 
| Shift-Ctrl-P
 
| '''Prefixes...'''
 
| '''Prefixes...'''
Line 123: Line 135:
  
 
{|border="0" cellpadding="5" cellspacing="0"
 
{|border="0" cellpadding="5" cellspacing="0"
|-
+
!width="100" |
 +
!width="150" |
 +
|-valign="top"
 
| Ctrl-R
 
| Ctrl-R
 
| '''Classify...'''
 
| '''Classify...'''
|-
+
|-valign="top"
 
|
 
|
 
| '''Fact++'''
 
| '''Fact++'''
 
| Select a C++ reasoner developed at The University of Manchester
 
| Select a C++ reasoner developed at The University of Manchester
|-
+
|-valign="top"
 
|
 
|
 
| '''None'''
 
| '''None'''
 
| Select the default reasoner that does not perform any inference
 
| Select the default reasoner that does not perform any inference
|-
+
|-valign="top"
 
|
 
|
 
| '''Pellet'''
 
| '''Pellet'''

Revision as of 06:58, 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.


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
Make all individuals distinct...
Ctrl-J Make primitive siblings disjoint
Shift-Ctrl-P Prefixes...

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

Help