Difference between revisions of "Pr4 UG rm Reasoner"

From Protege Wiki
Jump to: navigation, search
(Updated this page to reflect changes in menu between Protege 4.1 alpha and beta versions.)
(adding documentation for the Configure... menu item)
Line 24: Line 24:
  
 
==== Configure... ====
 
==== Configure... ====
 +
 +
Launches the Preferences dialog with the Reasoner tab selected.  The Reasoner tab contains the Displayed Inferences and and Initialization subtabs.
  
 
=== ------------------------------ ===
 
=== ------------------------------ ===

Revision as of 17:19, February 2, 2011

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.