|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
See:
Description
| Class Summary | |
|---|---|
| DIGConverter | Methods for converting internal representation to DIG and vice versa. |
| DIGHTTPConnector | Methods for sending messages to a DIG-capable reasoner and receiving answers using Apache XML Beans. |
| DIGReasoner | DIG 1.1 implementation of the reasoner interface. |
| FastInstanceChecker | Reasoner for fast instance checks. |
| FastRetrieval | |
| FastRetrievalReasoner | Reasoner for fast retrieval inference (other tasks redirected to OWL API reasoner). |
| OWLAPIDIGConverter | |
| OWLAPIReasoner | Mapping to OWL API reasoner interface. |
| PelletReasoner | |
| ProtegeReasoner | |
| SPARQLReasoner | |
| Enum Summary | |
|---|---|
| ReasonerType | Enumeration of available reasoner types |
Implements the connection to other reasoner or own reasoning/caching algorithms.
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||