Difference between revisions of "ProtegeReasonerAPI"
| Line 14: | Line 14: | ||
'''If you want to use the Reasoner API with a previous version of Protege than 3.4 beta 118 (from 2007/11/16), please refer to this [http://protege.stanford.edu/plugins/owl/api/ReasonerAPIExamples.html page].''' | '''If you want to use the Reasoner API with a previous version of Protege than 3.4 beta 118 (from 2007/11/16), please refer to this [http://protege.stanford.edu/plugins/owl/api/ReasonerAPIExamples.html page].''' | ||
</font> | </font> | ||
| + | |||
| + | |||
| + | |||
| + | == The Reasoning API == | ||
| + | |||
| + | |||
| + | The following sections provide a rough outline of how to use the Protégé-OWL reasoning API. The examples use an ontology that describes pizzas, which can be downloaded from [http://www.co-ode.org/ontologies/pizza/2005/05/16/pizza.owl here]. | ||
| + | |||
| + | |||
| + | === 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). | ||
''' <nowiki>---</nowiki> TO BE CONTINUED <nowiki>---</nowiki> ''' | ''' <nowiki>---</nowiki> TO BE CONTINUED <nowiki>---</nowiki> ''' | ||
Revision as of 11:31, November 17, 2007
Protege-OWL Reasoning API
This page describes the Protege-OWL Reasoner API that provides programmatic access to a direct or a DIG-compliant reasoner. 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.
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.
This Reasoner API is available since Protege 3.4 beta 118. The old Reasoner API described here has been deprecated and should not be used anymore.
If you want to use the Reasoner API with a previous version of Protege than 3.4 beta 118 (from 2007/11/16), please refer to this page.
The Reasoning API
The following sections provide a rough outline of how to use the Protégé-OWL reasoning API. The examples use an ontology that describes pizzas, which can be downloaded from here.
The inference Package
The reasoning API is encapsulated in the edu.stanford.smi.protegex.owl.inference package. The main classes that will be used are the ReasonerManager (used to obtain a reasoner) and ProtegeReasoner (an interface to the direct or DIG reasoner).
--- TO BE CONTINUED ---
