|
JTP API Documentation | ||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||||
See:
Description
| Class Summary | |
| DamlReasoningContext | The context for accessing JTP's DAML reasoning mechanisms. |
| TemporalReasoningContext | |
Provides a DAML+OIL configuration and interface for JTP.
DamlReasoningContext provides a configuration
that is geared towards reasoning with DAML+OIL KBs. It contains the
asking, telling,
and KB loading functionality that is extremely useful for interacting with
JTP.
The jar file jtp/context/daml/rules.xml contains the DAML+OIL inference rules that are set up in the DamlReasoningContext.
|
JTP API Documentation | ||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||||