Difference between revisions of "ProtegeReasonerAPI"

From Protege Wiki
Jump to: navigation, search
(New page: <div style="background:#F0E6CA; border:1px solid #AE5B08; padding:10px 15px 10px 20px; margin:2em 0 0 0;"> === Protege-OWL Reasoning API === This page describes the Protege-OWL Reasoner AP...)
 
Line 3: Line 3:
 
This page describes the Protege-OWL Reasoner API that provides programmatic access to a direct or a DIG-compliant reasoner.  
 
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.
 
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 [http://protege.stanford.edu/plugins/owl/api/ReasonerAPIExamples.html here] has been deprecated and should not be used anymore.
 
This Reasoner API is available since '''Protege 3.4 beta 118'''. The old Reasoner API described [http://protege.stanford.edu/plugins/owl/api/ReasonerAPIExamples.html here] has been deprecated and should not be used anymore.
Line 12: 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>
 +
 +
 +
''' <nowiki>---</nowiki> TO BE CONTINUED <nowiki>---</nowiki> '''

Revision as of 19:09, November 16, 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.


--- TO BE CONTINUED ---