Package jtp

Provides the basic, most general classes of the JTP architecture.

See:
Description

Interface Summary

Dispatcher	A Dispatcher is a Reasoner that typically does not perform any reasoning itself, but rather redirects queries/assertions to its child reasoners.
KnowledgeStore	A very basic interface for JTP knowledge stores.
Reasoner	The basic interface for a reasoner.
ReasoningStepIterator	A mechanism to iterate through reasoning steps.
Substitutable	This interface represents objects that can replace some of their data members with other objects using a substitution mapping.
Translator	Interface for classes that provide functionality for translating from one representation into another.

Class Summary

Cut	When a reasoner returns a Cut reasoning step, it means that there are no more solutions left for the goal of the reasoning step.
DirectAssertion	This class represents an act of directly asserting a sentence.
ReasoningStep	An extension to the InferenceWeb Proof class that specifies and implements much of the JTP-specific functionality required of proofs in JTP.

Exception Summary

InconsistencyException	This exception is thrown when an inconsistency is produced during reasoning.
ReasoningException	The basic class for an exception occuring during reasoning.

Package jtp Description

Provides the basic, most general classes of the JTP architecture.