Difference between revisions of "Pr4 UG rm Reasoner"
(Automated import of articles) |
|||
| (4 intermediate revisions by the same user not shown) | |||
| Line 17: | Line 17: | ||
=== ------------------------------ === | === ------------------------------ === | ||
| − | ==== | + | ==== Start Reasoner ==== |
| − | Compute the inferred class hierarchy | + | Compute the inferred class hierarchy (and enable this view if it is in the current tab). |
| − | (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. | ||
| + | |||
| + | <strong>Displayed Inferences</strong> | ||
| + | |||
| + | Allows the user to customize which inferences are displayed in the user interface. Selectively disabling automatic inference may improve performance. | ||
| + | |||
| + | [[Image:Pr4_UG_rm_Reasoner_Displayed_Inferences.jpg|thumb|none|Displayed Inferences subtab]] | ||
| + | |||
| + | <strong>Initialization</strong> | ||
| + | |||
| + | Allows the user to override which precomputation tasks (eg, classification, realization) are performed by plug-ins during initialization of reasoners. | ||
=== ------------------------------ === | === ------------------------------ === | ||
| Line 26: | Line 41: | ||
==== FaCT++ ==== | ==== FaCT++ ==== | ||
| − | Use the [[{{#var:G}}FaCT++|FaCT++]] | + | Use the [[{{#var:G}}FaCT++|FaCT++]] [[{{#var:G}}Reasoner|reasoner]]. This reasoner, written in C++, is developed at The University of Manchester. |
| − | [[{{#var:G}}Reasoner|reasoner]]. | ||
| − | This reasoner, written in C++, | ||
| − | |||
| − | ==== HermiT | + | ==== HermiT ==== |
Use the [[{{#var:G}}HermiT|HermiT]] | Use the [[{{#var:G}}HermiT|HermiT]] | ||
[[{{#var:G}}Reasoner|reasoner]]. | [[{{#var:G}}Reasoner|reasoner]]. | ||
This reasoner, written in Java, | This reasoner, written in Java, | ||
| − | + | is developed at Oxford University. | |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
==== None ==== | ==== None ==== | ||
Latest revision as of 13:02, February 25, 2011
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.
Displayed Inferences
Allows the user to customize which inferences are displayed in the user interface. Selectively disabling automatic inference may improve performance.
Initialization
Allows the user to override which precomputation tasks (eg, classification, realization) are performed by plug-ins during initialization of reasoners.
------------------------------
FaCT++
Use the FaCT++ reasoner. This reasoner, written in C++, is developed at The University of Manchester.
HermiT
Use the HermiT reasoner. This reasoner, written in Java, is developed at Oxford University.
None
Select the default reasoner. This reasoner does not perform any inference.
