Pr4 UG rm Reasoner - Revision history

JenniferVendetti at 20:02, February 25, 2011

2011-02-25T20:02:33Z

JenniferVendetti: added fact++ menu item

2011-02-25T19:59:19Z

added fact++ menu item

JenniferVendetti: adding some content to the Reasoner -> Configure... menu item documentation

2011-02-03T02:09:58Z

adding some content to the Reasoner -> Configure... menu item documentation

JenniferVendetti: adding documentation for the Configure... menu item

2011-02-03T01:19:07Z

adding documentation for the Configure... menu item

JenniferVendetti: Updated this page to reflect changes in menu between Protege 4.1 alpha and beta versions.

2010-12-16T00:19:48Z

Updated this page to reflect changes in menu between Protege 4.1 alpha and beta versions.

RichMorin: Automated import of articles

2010-07-27T21:00:41Z

Automated import of articles

New page

== Reasoner Menu ==

<noinclude>{{Pr4_UG_rm_TOC}}<div id='pr4_ug'></noinclude>

The Reasoner [[{{#var:G}}Menu|menu]] is used to select
and operate Protege's [[{{#var:G}}Reasoner|reasoning]] function.
The exact content of this menu will depend
on the installed set of reasoners.

See also [{{#var:pws}}/Protege4Shortcuts Protege 4.X Shortcuts].

<b>Note:</b>
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 [[{{#var:G}}FaCT++|FaCT++]]
[[{{#var:G}}Reasoner|reasoner]].
This reasoner, written in C++,
was developed at the University of Manchester.

==== HermiT 1.2.2 ====

Use the [[{{#var:G}}HermiT|HermiT]]
[[{{#var:G}}Reasoner|reasoner]].
This reasoner, written in Java,
was developed at Oxford University.

==== Pellet 1.5 ====

Use the [[{{#var:G}}Pellet|Pellet]]
[[{{#var:G}}Reasoner|reasoner]].
This reasoner, written in Java,
was developed by Clark and Parsia.

==== None ====

Select the default reasoner.
This reasoner does not perform any inference.

</div>

@@ Line 41: / Line 41: @@
 ==== FaCT++ ====
-Use the FaCT++ [[{{#var:G}}Reasoner|reasoner]].  This reasoner, written in C++, is developed at The University of Manchester.
+Use the [[{{#var:G}}FaCT++|FaCT++]] [[{{#var:G}}Reasoner|reasoner]].  This reasoner, written in C++, is developed at The University of Manchester.
 ==== HermiT ====

← Older revision		Revision as of 02:09, February 3, 2011
Line 26:		Line 26:

	Launches the Preferences dialog with the Reasoner tab selected. The Reasoner tab contains the Displayed Inferences and and Initialization subtabs.		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.

	=== ------------------------------ ===		=== ------------------------------ ===

← Older revision		Revision as of 01:19, February 3, 2011
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.

	=== ------------------------------ ===		=== ------------------------------ ===

@@ Line 38: / Line 38: @@
 === ------------------------------ ===
 ==== HermiT ====
@@ Line 44: / Line 48: @@
 [[{{#var:G}}Reasoner|reasoner]].
 This reasoner, written in Java,
-was developed at Oxford University.
+is developed at Oxford University.
 ==== None ====

@@ Line 17: / Line 17: @@
 === ------------------------------ ===
-==== Classify... (Ctrl-R) ====
+==== Start Reasoner ====
-Compute the inferred class hierarchy
+Compute the inferred class hierarchy (and enable this view if it is in the current tab).
-=== ------------------------------ ===
+==== Synchronize Reasoner ====
-==== FaCT++ ====
+==== Configure... ====
-Use the [[{{#var:G}}FaCT++|FaCT++]]
+=== ------------------------------ ===
-==== HermiT 1.2.2 ====
+==== HermiT ====
 Use the [[{{#var:G}}HermiT|HermiT]]
@@ Line 37: / Line 33: @@
 This reasoner, written in Java,
 was developed at Oxford University.
 ==== None ====