Difference between revisions of "Protege4Shortcuts"
From Protege Wiki
Nickdrummond (talk | contribs) m (→Refactor) |
Nickdrummond (talk | contribs) (→Tabs: Added all default tabs) |
||
| Line 208: | Line 208: | ||
==Tabs== | ==Tabs== | ||
| + | |||
| + | The tabs that are available may be larger depending on which plugins you have installed. The default tabs are below. | ||
| + | |||
| + | {|border="0" cellpadding="5" cellspacing="0" | ||
| + | !width="100" | | ||
| + | !width="150" | | ||
| + | |-valign="top" | ||
| + | | | ||
| + | | '''Active Ontology''' | ||
| + | | Metadata, imports and metrics for the active ontology | ||
| + | |-valign="top" | ||
| + | | | ||
| + | | '''Entities''' | ||
| + | | A view of the currently selected class, property or individual (can be used to replace the other entities tabs) | ||
| + | |-valign="top" | ||
| + | | | ||
| + | | '''Classes''' | ||
| + | | A tab specifically for viewing classes | ||
| + | |-valign="top" | ||
| + | | | ||
| + | | '''Object Properties''' | ||
| + | | A tab specifically for viewing object properties | ||
| + | |-valign="top" | ||
| + | | | ||
| + | | '''Data Properties''' | ||
| + | | A tab specifically for viewing data properties | ||
| + | |-valign="top" | ||
| + | | | ||
| + | | '''Individuals''' | ||
| + | | A tab specifically for viewing individuals | ||
| + | |-valign="top" | ||
| + | | | ||
| + | | '''OWLViz''' | ||
| + | | A graphical representation of the asserted and inferred subclass heirarchy (requires [http://www.graphviz.org Graphviz]) | ||
| + | |-valign="top" | ||
| + | | | ||
| + | | '''DL Query''' | ||
| + | | A tab for querying the reasoner with arbitrary class expressions (the ontology must be classified first) | ||
| + | |-valign="top" | ||
| + | | | ||
| + | | '''Save current layout''' | ||
| + | | Force the current layout to be saved (Will happen on a normal shutdown of Protege) | ||
| + | |-valign="top" | ||
| + | | | ||
| + | | '''Reset selected tab to default''' | ||
| + | | Factory reset for the current tab layout | ||
| + | |} | ||
==View== | ==View== | ||
Revision as of 07:02, 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.
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
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 |
