Pr4 UG rm Reasoner
From Protege Wiki
Revision as of 18:19, February 2, 2011 by JenniferVendetti (talk | contribs) (adding documentation for the Configure... menu item)
Contents
Reasoner Menu
comment Editing Glossary Outline
| Protege 4 User's Guide |
|---|
| Menus |
| Protege |
| File |
| Edit |
| View |
| Reasoner |
| Tools |
| Refactor |
| Window |
| Help |
The Reasoner menu is used to select and operate Protege's reasoning function. The exact content of this menu will depend on the installed set of reasoners.
See also Protege 4.X Shortcuts.
Note: In the keyboard shortcuts below, substitute "Cmd" for "Ctrl" on Mac OS X.
------------------------------
Start Reasoner
Compute the inferred class hierarchy (and enable this view if it is in the current tab).
Synchronize Reasoner
Configure...
Launches the Preferences dialog with the Reasoner tab selected. The Reasoner tab contains the Displayed Inferences and and Initialization subtabs.
------------------------------
HermiT
Use the HermiT reasoner. This reasoner, written in Java, was developed at Oxford University.
None
Select the default reasoner. This reasoner does not perform any inference.
