Difference between revisions of "Pr4 UG rm Reasoner"
(Automated import of articles) |
(No difference)
|
Revision as of 14:00, July 27, 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.
------------------------------
Classify... (Ctrl-R)
Compute the inferred class hierarchy (and enable this view if it is in the current tab).
------------------------------
FaCT++
Use the FaCT++ reasoner. This reasoner, written in C++, was developed at the University of Manchester.
HermiT 1.2.2
Use the HermiT reasoner. This reasoner, written in Java, was developed at Oxford University.
Pellet 1.5
Use the Pellet reasoner. This reasoner, written in Java, was developed by Clark and Parsia.
None
Select the default reasoner. This reasoner does not perform any inference.
