Uses of Package
jtp.context

Packages that use jtp.context

jtp.context	Provides a basic configuration and interface for JTP.
jtp.context.daml	Provides a DAML+OIL configuration and interface for JTP.
jtp.context.owl
jtp.context.rdf
jtp.frame.listen
jtp.modelim	Contains general-purpose reasoners, including a telling control reasoner, an asking control reasoner, and reasoners that implement the model elimination procedure.
jtp.rs	Contains important subclasses of ReasoningStep and ReasoningStepIterator as well as utility methods for ReasoningSteps.

Classes in jtp.context used by jtp.context

AbstractTracer
Default implementation of Tracer.

DepthMonitor
This interface provides the basic search control functionality.

Tracer
Traces the path of goals and subgoals as they are processed by the asking system, and assertions and inferred consequences as they are processed by the telling system.

Classes in jtp.context used by jtp.context.daml

BasicReasoningContext
A basic interface for JTP with a default configuration.

Classes in jtp.context used by jtp.context.owl

BasicReasoningContext
A basic interface for JTP with a default configuration.

Classes in jtp.context used by jtp.context.rdf

BasicReasoningContext
A basic interface for JTP with a default configuration.

IterativeDeepening
An asking control reasoner that ensures that an iterative deepening search method is used to prove queries.

Classes in jtp.context used by jtp.frame.listen

BasicReasoningContext
A basic interface for JTP with a default configuration.

Classes in jtp.context used by jtp.modelim

DepthMonitor
This interface provides the basic search control functionality.

Tracer
Traces the path of goals and subgoals as they are processed by the asking system, and assertions and inferred consequences as they are processed by the telling system.

Classes in jtp.context used by jtp.rs

DepthMonitor
This interface provides the basic search control functionality.