ProtegeReasonerAPI - Revision history

TaniaTudorache at 01:37, December 1, 2009

2009-12-01T01:37:21Z

2009-12-01T01:36:47Z

2009-04-03T18:18:53Z

2008-05-27T23:05:17Z

2008-05-22T23:31:51Z

categorizing page

2007-11-17T23:14:20Z

2007-11-17T23:01:46Z

2007-11-17T21:46:46Z

2007-11-17T21:17:25Z

2007-11-17T20:53:51Z

@@ Line 4: / Line 4: @@
 It provides methods for consistency checking, classification, etc. of an ontology as well as methods for getting the inferred information for a particular OWL entity.
-This page is an updated version of the Reasoning API documentation and describes the reasoner API available since '''Protege 3.4 beta 120'''. The original version is available [http://protege.stanford.edu/plugins/owl/api/ReasonerAPIExamples.html here].
+This page is an updated version of the Reasoning API documentation and describes the reasoner API for Protege 3.4.1 and later (available since Protege 3.4 beta 120). The original version is available [http://protege.stanford.edu/plugins/owl/api/ReasonerAPIExamples.html here].
 The previous reasoner API has been deprecated and should not be used anymore.

← Older revision		Revision as of 01:36, December 1, 2009
Line 10:		Line 10:
	</div><br />		</div><br />

−	~~<font color="red">~~
−	'''''If you want to use the Reasoner API with a Protege version prior to 3.4 beta 120 (from 2007/11/17), please refer to this [http://protege.stanford.edu/plugins/owl/api/ReasonerAPIExamples.html page].'''''
−	~~</font>~~
−	~~<br /><br />~~

	__TOC__		__TOC__

← Older revision		Revision as of 18:18, April 3, 2009
Line 116:		Line 116:
	</pre>		</pre>

		+
		+	To get access to the internal Pellet reasoner and Pellet KB, you can use the methods from the <code>ProtegePelletOWLAPIReasoner</code> interface:
		+
		+	public Reasoner getPelletReasoner()
		+
		+	public KnowledgeBase getPelletKB()
		+
		+
		+	To get access to the converted OWL-API model, you can call from the <code>ProtegePelletOWLAPIReasoner</code> interface:
		+
		+	public OWLOntology getOwlApiOntology() throws ProtegeReasonerException
		+
		+
		+	'''Note.''' Even if these functionalities are available in Protege 3.x, we do recommend to use Protege-4 that accesses the OWL-API directly and has much more advanced reasoning capabilities.

@@ Line 13: / Line 13: @@
 '''''If you want to use the Reasoner API with a Protege version prior to 3.4 beta 120 (from 2007/11/17), please refer to this [http://protege.stanford.edu/plugins/owl/api/ReasonerAPIExamples.html page].'''''
 </font>
-<br /><br /><br />
+<br /><br />
 __TOC__
@@ Line 182: / Line 182: @@
 In order to compile and run this example, you will need to include on your Java classpath the <tt>protege.jar</tt>, all the jars from protege-owl plugins folder and also all jars from the <tt>edu.stanford.smi.protegex.owl.inference.pellet</tt> plugin folder.
-[[Category:Protege Developer Documentation]]
+[[Category:Protege developer documentation]]

← Older revision		Revision as of 23:31, May 22, 2008
Line 181:		Line 181:

	In order to compile and run this example, you will need to include on your Java classpath the <tt>protege.jar</tt>, all the jars from protege-owl plugins folder and also all jars from the <tt>edu.stanford.smi.protegex.owl.inference.pellet</tt> plugin folder.		In order to compile and run this example, you will need to include on your Java classpath the <tt>protege.jar</tt>, all the jars from protege-owl plugins folder and also all jars from the <tt>edu.stanford.smi.protegex.owl.inference.pellet</tt> plugin folder.
		+
		+	[[Category:Protege Developer Documentation]]
		+	[[Category:Protege 3 Documentation]]
		+	[[Category:Protege-OWL Documentation]]

@@ Line 11: / Line 11: @@
 <font color="red">
-'''''If you want to use the Reasoner API with a previous version of Protege than 3.4 beta 120 (from 2007/11/17), please refer to this [http://protege.stanford.edu/plugins/owl/api/ReasonerAPIExamples.html page].'''''
+'''''If you want to use the Reasoner API with a Protege version prior to 3.4 beta 120 (from 2007/11/17), please refer to this [http://protege.stanford.edu/plugins/owl/api/ReasonerAPIExamples.html page].'''''
 </font>
 <br /><br /><br />

@@ Line 178: / Line 178: @@
 === Example ===
-You can download the Java file for the example used in this page from [http://protege.stanford.edu/ here].
+You can download the Java file for the example used in this page from [http://protege.stanford.edu/plugins/owl/download/ProtegeReasonerExample.java here].
 In order to compile and run this example, you will need to include on your Java classpath the <tt>protege.jar</tt>, all the jars from protege-owl plugins folder and also all jars from the <tt>edu.stanford.smi.protegex.owl.inference.pellet</tt> plugin folder.

@@ Line 22: / Line 22: @@
 The following sections provide a rough outline of how to use the Protégé-OWL reasoning API.
-A new plugin type, the reasoner plugin, has been added that allows the integration of other reasoners into Protege. A reasoner implementing the reasoner plugin interface will be accessible through the Protege user interface the same way that the built-in reasoners are.
+A new plugin type, the [[ProtegeReasonerPlugin|reasoner plugin]], has been added that allows the integration of other reasoners into Protege. A reasoner implementing the reasoner plugin interface will be accessible through the Protege user interface the same way that the built-in reasoners are.
 The examples on this page use an ontology that describes pizzas, which can be downloaded from [http://www.co-ode.org/ontologies/pizza/2005/05/16/pizza.owl here].

@@ Line 23: / Line 23: @@
-=== The inference Package ===
+=== The inference package ===
 The reasoning API is encapsulated in the <code> edu.stanford.smi.protegex.owl.inference </code> package. The main classes that will be used are the [http://protege.stanford.edu/download/prerelease_javadoc_owl/edu/stanford/smi/protegex/owl/inference/protegeowl/ReasonerManager.html ReasonerManager] (used to obtain a reasoner) and [http://protege.stanford.edu/download/prerelease_javadoc_owl/edu/stanford/smi/protegex/owl/inference/reasoner/ProtegeReasoner.html ProtegeReasoner] (an interface to the direct or DIG reasoner).
@@ Line 112: / Line 112: @@
 </pre>
 ''' <nowiki>---</nowiki> TO BE CONTINUED <nowiki>---</nowiki> '''