Uses of Package
jtp

Packages that use jtp

jtp	Provides the basic, most general classes of the JTP architecture.
jtp.classifier
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.demod
jtp.disp
jtp.fol	Provides classes representing structures of first order logic.
jtp.fol.parser
jtp.frame
jtp.frame.fc
jtp.frame.listen
jtp.frame.listen.dl
jtp.frame.vc
jtp.func
jtp.gmp	Provides a knowledge store for Clauses and Generalized Modus Ponens reasoning capability.
jtp.modelim	Contains general-purpose reasoners, including a telling control reasoner, an asking control reasoner, and reasoners that implement the model elimination procedure.
jtp.proof.transform
jtp.rs	Contains important subclasses of ReasoningStep and ReasoningStepIterator as well as utility methods for ReasoningSteps.
jtp.time	Implements reasoners and classes that allow JTP to reason about temporal information in a KB.
jtp.time.demod
jtp.time.func
jtp.time.tlgraph
jtp.ui

Classes in jtp used by jtp

Reasoner
The basic interface for a reasoner.

ReasoningException
The basic class for an exception occuring during reasoning.

ReasoningStep
An extension to the InferenceWeb Proof class that specifies and implements much of the JTP-specific functionality required of proofs in JTP.

ReasoningStepIterator
A mechanism to iterate through reasoning steps.

Classes in jtp used by jtp.classifier

Reasoner
The basic interface for a reasoner.

ReasoningException
The basic class for an exception occuring during reasoning.

ReasoningStep
An extension to the InferenceWeb Proof class that specifies and implements much of the JTP-specific functionality required of proofs in JTP.

ReasoningStepIterator
A mechanism to iterate through reasoning steps.

Classes in jtp used by jtp.context

DirectAssertion
This class represents an act of directly asserting a sentence.

Dispatcher
A Dispatcher is a Reasoner that typically does not perform any reasoning itself, but rather redirects queries/assertions to its child reasoners.

Reasoner
The basic interface for a reasoner.

ReasoningException
The basic class for an exception occuring during reasoning.

ReasoningStepIterator
A mechanism to iterate through reasoning steps.

Classes in jtp used by jtp.context.daml

ReasoningException
The basic class for an exception occuring during reasoning.

ReasoningStepIterator
A mechanism to iterate through reasoning steps.

Classes in jtp used by jtp.context.owl

ReasoningException
The basic class for an exception occuring during reasoning.

ReasoningStepIterator
A mechanism to iterate through reasoning steps.

Classes in jtp used by jtp.context.rdf

ReasoningException
The basic class for an exception occuring during reasoning.

ReasoningStepIterator
A mechanism to iterate through reasoning steps.

Classes in jtp used by jtp.demod

Reasoner
The basic interface for a reasoner.

ReasoningException
The basic class for an exception occuring during reasoning.

ReasoningStep
An extension to the InferenceWeb Proof class that specifies and implements much of the JTP-specific functionality required of proofs in JTP.

ReasoningStepIterator
A mechanism to iterate through reasoning steps.

Translator
Interface for classes that provide functionality for translating from one representation into another.

Classes in jtp used by jtp.disp

Dispatcher
A Dispatcher is a Reasoner that typically does not perform any reasoning itself, but rather redirects queries/assertions to its child reasoners.

Reasoner
The basic interface for a reasoner.

ReasoningException
The basic class for an exception occuring during reasoning.

ReasoningStepIterator
A mechanism to iterate through reasoning steps.

Classes in jtp used by jtp.fol

Substitutable
This interface represents objects that can replace some of their data members with other objects using a substitution mapping.

Classes in jtp used by jtp.fol.parser

ReasoningException
The basic class for an exception occuring during reasoning.

Translator
Interface for classes that provide functionality for translating from one representation into another.

Classes in jtp used by jtp.frame

Reasoner
The basic interface for a reasoner.

ReasoningException
The basic class for an exception occuring during reasoning.

ReasoningStep
An extension to the InferenceWeb Proof class that specifies and implements much of the JTP-specific functionality required of proofs in JTP.

ReasoningStepIterator
A mechanism to iterate through reasoning steps.

Translator
Interface for classes that provide functionality for translating from one representation into another.

Classes in jtp used by jtp.frame.fc

Dispatcher
A Dispatcher is a Reasoner that typically does not perform any reasoning itself, but rather redirects queries/assertions to its child reasoners.

Reasoner
The basic interface for a reasoner.

ReasoningException
The basic class for an exception occuring during reasoning.

ReasoningStep
An extension to the InferenceWeb Proof class that specifies and implements much of the JTP-specific functionality required of proofs in JTP.

ReasoningStepIterator
A mechanism to iterate through reasoning steps.

Classes in jtp used by jtp.frame.listen

Reasoner
The basic interface for a reasoner.

ReasoningStep
An extension to the InferenceWeb Proof class that specifies and implements much of the JTP-specific functionality required of proofs in JTP.

ReasoningStepIterator
A mechanism to iterate through reasoning steps.

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

Reasoner
The basic interface for a reasoner.

ReasoningStep
An extension to the InferenceWeb Proof class that specifies and implements much of the JTP-specific functionality required of proofs in JTP.

ReasoningStepIterator
A mechanism to iterate through reasoning steps.

Classes in jtp used by jtp.frame.vc

ReasoningStep
An extension to the InferenceWeb Proof class that specifies and implements much of the JTP-specific functionality required of proofs in JTP.

Classes in jtp used by jtp.func

Reasoner
The basic interface for a reasoner.

ReasoningException
The basic class for an exception occuring during reasoning.

ReasoningStep
An extension to the InferenceWeb Proof class that specifies and implements much of the JTP-specific functionality required of proofs in JTP.

ReasoningStepIterator
A mechanism to iterate through reasoning steps.

Classes in jtp used by jtp.gmp

KnowledgeStore
A very basic interface for JTP knowledge stores.

Reasoner
The basic interface for a reasoner.

ReasoningException
The basic class for an exception occuring during reasoning.

ReasoningStep
An extension to the InferenceWeb Proof class that specifies and implements much of the JTP-specific functionality required of proofs in JTP.

ReasoningStepIterator
A mechanism to iterate through reasoning steps.

Classes in jtp used by jtp.modelim

Dispatcher
A Dispatcher is a Reasoner that typically does not perform any reasoning itself, but rather redirects queries/assertions to its child reasoners.

Reasoner
The basic interface for a reasoner.

ReasoningException
The basic class for an exception occuring during reasoning.

ReasoningStep
An extension to the InferenceWeb Proof class that specifies and implements much of the JTP-specific functionality required of proofs in JTP.

ReasoningStepIterator
A mechanism to iterate through reasoning steps.

Translator
Interface for classes that provide functionality for translating from one representation into another.

Classes in jtp used by jtp.proof.transform

Reasoner
The basic interface for a reasoner.

ReasoningException
The basic class for an exception occuring during reasoning.

ReasoningStepIterator
A mechanism to iterate through reasoning steps.

Classes in jtp used by jtp.rs

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.

Reasoner
The basic interface for a reasoner.

ReasoningException
The basic class for an exception occuring during reasoning.

ReasoningStep
An extension to the InferenceWeb Proof class that specifies and implements much of the JTP-specific functionality required of proofs in JTP.

ReasoningStepIterator
A mechanism to iterate through reasoning steps.

Translator
Interface for classes that provide functionality for translating from one representation into another.

Classes in jtp used by jtp.time

KnowledgeStore
A very basic interface for JTP knowledge stores.

Reasoner
The basic interface for a reasoner.

ReasoningException
The basic class for an exception occuring during reasoning.

ReasoningStep
An extension to the InferenceWeb Proof class that specifies and implements much of the JTP-specific functionality required of proofs in JTP.

ReasoningStepIterator
A mechanism to iterate through reasoning steps.

Classes in jtp used by jtp.time.demod

ReasoningException
The basic class for an exception occuring during reasoning.

ReasoningStep
An extension to the InferenceWeb Proof class that specifies and implements much of the JTP-specific functionality required of proofs in JTP.

Classes in jtp used by jtp.time.func

Reasoner
The basic interface for a reasoner.

ReasoningException
The basic class for an exception occuring during reasoning.

Classes in jtp used by jtp.time.tlgraph

ReasoningException
The basic class for an exception occuring during reasoning.

ReasoningStep
An extension to the InferenceWeb Proof class that specifies and implements much of the JTP-specific functionality required of proofs in JTP.

Classes in jtp used by jtp.ui

ReasoningException
The basic class for an exception occuring during reasoning.

ReasoningStep
An extension to the InferenceWeb Proof class that specifies and implements much of the JTP-specific functionality required of proofs in JTP.

ReasoningStepIterator
A mechanism to iterate through reasoning steps.