Difference between revisions of "Pr4 UG rm Reasoner"
From Protege Wiki
(Automated import of articles) |
(Updated this page to reflect changes in menu between Protege 4.1 alpha and beta versions.) |
||
| 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... ==== |
| − | + | === ------------------------------ === | |
| − | |||
| − | |||
| − | |||
| − | ==== HermiT | + | ==== HermiT ==== |
Use the [[{{#var:G}}HermiT|HermiT]] | Use the [[{{#var:G}}HermiT|HermiT]] | ||
| Line 37: | Line 33: | ||
This reasoner, written in Java, | This reasoner, written in Java, | ||
was developed at Oxford University. | was developed at Oxford University. | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
==== None ==== | ==== None ==== | ||
Revision as of 17:19, December 15, 2010
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...
------------------------------
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.
