Difference between revisions of "Protege4Shortcuts"
From Protege Wiki
Nickdrummond (talk | contribs) m (→Refactor) |
Nickdrummond (talk | contribs) m (→Refactor) |
||
Line 197: | Line 197: | ||
| '''Split subclass axioms''' | | '''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 | | 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 | ||
+ | |-valign="top" | ||
+ | | | ||
+ | |'''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) | ||
|-valign="top" | |-valign="top" | ||
| | | | ||
| '''Merge ontologies...''' | | '''Merge ontologies...''' | ||
| Merge one or more ontologies into an existing or new ontology | | Merge one or more ontologies into an existing or new ontology | ||
− | |||
− | |||
− | |||
− | |||
|} | |} | ||
Revision as of 07:39, 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
View
Window
Ctrl-= | Increase font size |
Ctrl-- | Decrease font size |
Look & Feel |