Uses of Interface
jtp.KnowledgeStore

Packages that use KnowledgeStore

jtp.gmp	Provides a knowledge store for Clauses and Generalized Modus Ponens reasoning capability.
jtp.time	Implements reasoners and classes that allow JTP to reason about temporal information in a KB.

Uses of KnowledgeStore in jtp.gmp

Classes in jtp.gmp that implement KnowledgeStore

class

ClauseOrientationKB A general-purpose telling reasoner and knowledge store for Clauses.

Uses of KnowledgeStore in jtp.time

Classes in jtp.time that implement KnowledgeStore

class

TimePointKnowledgeStore A KnowledgeStore for time points.