JTP API Documentation

Packages

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.daml
jtp.fol.kif
jtp.fol.parser
jtp.frame
jtp.frame.fc
jtp.frame.listen
jtp.frame.listen.dl
jtp.frame.vc
jtp.frame.vocab
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	Classes supporting JTP's implementation of InferenceWeb proofs.
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.time.tp
jtp.time.vocab
jtp.ui
jtp.ui.rs
jtp.undo
jtp.util