|
||||||||||
| 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 | |
| JenaOWLDIGConverter | |
| OWLAPIDIGConverter | |
| OWLAPIReasoner | Mapping to OWL API reasoner interface. |
| 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 | |||||||||