Pr4 UG rm Reasoner

From Protege Wiki
Jump to: navigation, search

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.

Displayed Inferences subtab

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.