Overview
Package
Class
Use
Tree
Deprecated
Index
Help
JTP API Documentation
PREV NEXT
FRAMES
NO FRAMES
All Classes
Hierarchy For All Packages
Package Hierarchies:
jtp
,
jtp.classifier
,
jtp.context
,
jtp.context.daml
,
jtp.context.owl
,
jtp.context.rdf
,
jtp.demod
,
jtp.disp
,
jtp.fol
,
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
,
jtp.modelim
,
jtp.proof
,
jtp.proof.transform
,
jtp.rs
,
jtp.time
,
jtp.time.demod
,
jtp.time.func
,
jtp.time.tlgraph
,
jtp.time.tp
,
jtp.time.vocab
,
jtp.ui
,
jtp.ui.rs
,
jtp.undo
,
jtp.util
Class Hierarchy
class java.lang.
Object
class java.util.
AbstractCollection
(implements java.util.
Collection
)
class java.util.
AbstractList
(implements java.util.
List
)
class jtp.fol.
SubstitutableList
(implements java.io.
Serializable
, jtp.
Substitutable
)
class jtp.fol.
UnifyableList
(implements jtp.fol.
Unifyable
)
class java.util.
AbstractSet
(implements java.util.
Set
)
class jtp.util.
DevNullCollection
class jtp.util.
ReplacementHashSet
class jtp.frame.vc.
ValueCollection
(implements java.io.
Serializable
)
class jtp.frame.
SlotValueCollection
class java.util.
AbstractMap
(implements java.util.
Map
)
class jtp.util.
ArrayMap
(implements java.io.
Serializable
)
class jtp.util.
ReplacementHashMap
class jtp.util.
AbstractMapEntry
(implements java.util.
Map.Entry
)
class jtp.disp.AbstractRelationBasedReasoner (implements jtp.disp.
RelationBasedReasoner
, java.io.
Serializable
)
class jtp.disp.
AbstractRelationBasedBCReasoner
(implements jtp.disp.
RelationBasedBCReasoner
)
class jtp.func.
Equals
class jtp.frame.fc.
EquivalenceDemonstrator
class jtp.func.
EvaluableFunctionReasoner
class jtp.time.func.
TimePointFunctionReasoner
class jtp.time.func.
FirstTimePoint
class jtp.time.func.
MinusTimePoint
class jtp.time.func.
PlusTimePoint
class jtp.time.func.
TimePointToInteger
class jtp.func.
ForIn
class jtp.func.
GetSetof
(implements java.beans.beancontext.
BeanContextProxy
)
class jtp.func.
InEqual
class jtp.func.NumberComparator
class jtp.func.
Greater
class jtp.func.
Less
class jtp.func.
Unprovable
(implements java.beans.beancontext.
BeanContextProxy
)
class jtp.disp.
AbstractRelationBasedFCReasoner
(implements jtp.disp.
RelationBasedFCReasoner
)
class jtp.frame.fc.
BlendingRuleAction
(implements java.lang.
Cloneable
, jtp.demod.
DemodulationReplacementListener
, java.io.
Serializable
, jtp.frame.fc.
TriggerValidator
)
class jtp.frame.fc.
InconsistencyRuleAction
class jtp.frame.fc.
TrueLinkRuleAction
class jtp.frame.fc.
UnrollingRuleAction
class jtp.frame.fc.
EquivalenceEnforcer
(implements java.beans.beancontext.
BeanContextProxy
)
class jtp.context.
AbstractTracer
(implements jtp.context.
Tracer
)
class jtp.context.
PrintStreamTracer
class javax.swing.undo.
AbstractUndoableEdit
(implements java.io.
Serializable
, javax.swing.undo.
UndoableEdit
)
class javax.swing.undo.
CompoundEdit
class jtp.undo.
MultipleTellEdit
class jtp.undo.
TellEdit
class javax.swing.undo.
UndoManager
(implements javax.swing.event.
UndoableEditListener
)
class jtp.undo.
SnapshotUndoManager
class jtp.undo.
UntellUndoManager
class jtp.frame.
LinkAsserter.UndoInsert
class jtp.frame.
LinkAsserter.UndoRemove
class jtp.ui.
RDFQueryAnswerer.StackEdit
class jtp.frame.listen.
AbstractVCListener
(implements java.io.
Serializable
, jtp.frame.vc.
ValueCollectionListener
)
class jtp.frame.listen.
LinkingVCListener
class jtp.frame.listen.
OneWayValueInferringVCListener
class jtp.frame.listen.
UnrollingVCListener
class jtp.frame.listen.
ValueInferringVCListener
class jtp.modelim.
AncestorCycleCutReasoner
(implements jtp.
Reasoner
)
class jtp.ui.
AnswerUtil
class jtp.rs.
ArrayReasoningStepIterator
(implements jtp.
ReasoningStepIterator
)
class java.beans.beancontext.
BeanContextChildSupport
(implements java.beans.beancontext.
BeanContextChild
, java.beans.beancontext.
BeanContextServicesListener
, java.io.
Serializable
)
class java.beans.beancontext.
BeanContextSupport
(implements java.beans.beancontext.
BeanContext
, java.beans.
PropertyChangeListener
, java.io.
Serializable
, java.beans.
VetoableChangeListener
)
class jtp.context.
BasicReasoningContext
class jtp.frame.listen.
Context
class jtp.context.rdf.
RDFReasoningContext
class jtp.context.daml.
DamlReasoningContext
class jtp.context.daml.
TemporalReasoningContext
class jtp.context.owl.
OWLReasoningContext
class jtp.frame.fc.
Context
class jtp.util.
PropertyImporter
class jtp.frame.fc.
AbstractRuleCreator
(implements jtp.
Reasoner
)
class jtp.frame.fc.
InconsistencyActionCreator
class jtp.frame.fc.
PredefinedActionCreator
class jtp.frame.fc.
RuleUnroller
(implements jtp.disp.
SequentialDispatcher.LocationPreference
)
class jtp.frame.fc.
SimpleRuleCreator
(implements jtp.disp.
SequentialDispatcher.LocationPreference
)
class jtp.frame.fc.
TrueLinkCreator
class jtp.modelim.
AskingQueryProcessor
(implements jtp.fol.parser.
FirstOrderLogicTranslator
, jtp.
Reasoner
)
class jtp.frame.fc.
BackwardChainingStorage
(implements jtp.
Reasoner
)
class jtp.modelim.
BreadthFirstForwardReasoner
(implements jtp.
Reasoner
)
class jtp.classifier.
ClassifierTellingReasoner
(implements jtp.
Reasoner
)
class jtp.gmp.
ClauseOrientationKB
(implements jtp.
KnowledgeStore
, jtp.
Reasoner
, java.io.
Serializable
)
class jtp.frame.
FrameKB
class jtp.frame.listen.dl.
IntersectionTypeReasoner
(implements jtp.disp.
RelationBasedFCReasoner
, java.io.
Serializable
)
class jtp.context.
IterativeDeepening
(implements jtp.
Reasoner
)
class jtp.frame.
LinkAsserter
(implements jtp.
Reasoner
)
class jtp.modelim.
ModelEliminationReasoner
(implements jtp.
Reasoner
)
class jtp.frame.fc.
NewRuleConsequences
(implements jtp.
Reasoner
)
class jtp.frame.fc.
RuleClauseAndTriggerInstaller
(implements jtp.
Reasoner
)
class jtp.frame.fc.
RuleInstantiator
(implements jtp.
Reasoner
)
class jtp.frame.fc.
OptimizedRuleInstantiator
class jtp.time.
TimePointKnowledgeStore
(implements jtp.
KnowledgeStore
)
class jtp.frame.listen.
VCListenerCreator
(implements jtp.
Reasoner
)
class jtp.demod.
CanonicalMapping
class jtp.fol.
CanonicalVariables
class jtp.util.
CascadeIterator
(implements java.util.
Iterator
)
class antlr.CharScanner (implements antlr.TokenStream)
class jtp.fol.kif.
KIFLexer
(implements jtp.fol.kif.
KIFTokenTypes
, antlr.TokenStream)
class jtp.classifier.
Classifier
class jtp.classifier.
Classifier.ClassifyInfo
class jtp.classifier.
Classifier.RtXRt
class jtp.gmp.
ClauseOrientation
(implements java.io.
Serializable
)
class jtp.ui.cmd.Command
class jtp.ui.cmd.LoadKBCommand
class jtp.ui.
RDFQueryAnswerer.CheckpointLoadKB
class jtp.ui.
RDFQueryAnswerer.CreateCheckpoint
class jtp.ui.
RDFQueryAnswerer.RevertToCheckpoint
class java.awt.
Component
(implements java.awt.image.
ImageObserver
, java.awt.
MenuContainer
, java.io.
Serializable
)
class java.awt.
Container
class javax.swing.
JComponent
(implements java.io.
Serializable
)
class javax.swing.
JPanel
(implements javax.accessibility.
Accessible
)
class jtp.ui.rs.
RSBrowser
class javax.swing.text.
JTextComponent
(implements javax.accessibility.
Accessible
, javax.swing.
Scrollable
)
class javax.swing.
JEditorPane
class javax.swing.
JTextPane
class jtp.util.
SwingConsole
class jtp.ui.rs.
RSDetailsPane
class javax.swing.
JTree
(implements javax.accessibility.
Accessible
, javax.swing.
Scrollable
)
class jtp.ui.rs.
GoalTree
class jtp.ui.cmd.Console (implements jtp.ui.cmd.CommandIO)
class jtp.ui.cmd.ReasoningContextConsole
class jtp.ui.
RDFQueryAnswerer
class jtp.ui.
DamlQueryAnswerer
class jtp.ui.
OWLQueryAnswerer
class jtp.fol.
DefaultClause
(implements jtp.fol.
Clause
, java.io.
Serializable
)
class jtp.fol.
DefaultCNFSentence
(implements jtp.fol.
CNFSentence
, java.io.
Serializable
)
class jtp.context.
DefaultDepthMonitor
(implements jtp.context.
DepthMonitor
)
class jtp.fol.
DefaultLiteral
(implements jtp.fol.
Literal
, java.io.
Serializable
)
class jtp.rs.
DefaultReasoningStepCollector
(implements jtp.rs.
ReasoningStepCollector
, jtp.
ReasoningStepIterator
)
class jtp.time.vocab.
DefaultTimeVocab
(implements jtp.time.vocab.
TimeVocabulary
)
class jtp.rs.
DefaultTranslationReasoner
(implements jtp.
Reasoner
)
class jtp.demod.
DemodulatingProxy
(implements jtp.
Reasoner
)
class jtp.demod.
DemodulationProofTranslator
(implements jtp.
Translator
)
class jtp.demod.
DemodulationReasoner
(implements jtp.
Reasoner
, jtp.disp.
SequentialDispatcher.LocationPreference
)
class jtp.demod.
DemodUtils
class jtp.disp.
DispatcherUtils
class jtp.frame.
EnumeratingReasoner
(implements jtp.
Reasoner
)
class jtp.util.
FileObjectStorage
(implements jtp.util.
ObjectStorage
, java.io.
Serializable
)
class java.text.
Format
(implements java.lang.
Cloneable
, java.io.
Serializable
)
class jtp.ui.rs.
CompleteEnglishSentenceFormat
class jtp.ui.rs.
SentenceFormat
class jtp.ui.rs.
EnglishSentenceFormat
class jtp.ui.rs.
KIFSentenceFormat
class jtp.ui.rs.
SentenceFormatPlain
class jtp.ui.rs.
KIFSentenceFormatPlain
class jtp.fol.kif.
SymbolFormat
class jtp.ui.rs.
UnambiguousFormat
class jtp.ui.rs.
VariableBindingsFormat
class jtp.demod.
ForwardChainingDemodulationProxy
(implements jtp.
Reasoner
)
class jtp.frame.
FrameTranslators
class jtp.frame.
FrameTranslators.SubclassOfTranslator
(implements jtp.
Reasoner
, jtp.
Translator
)
class jtp.frame.
FrameTranslators.TemplateFacetValueTranslator
(implements jtp.
Reasoner
, jtp.
Translator
)
class jtp.frame.
FrameTranslators.TemplateSlotValueTranslator
(implements jtp.
Reasoner
, jtp.
Translator
)
class jtp.frame.vc.
Goal
(implements java.io.
Serializable
)
class jtp.frame.vc.
GraphWalker
(implements java.util.
Iterator
)
class jtp.frame.vc.
BackwardChainingWalker
class jtp.frame.
HoldsReasoner
(implements jtp.
Reasoner
, jtp.
Translator
)
class jtp.frame.
HoldsReasoner.Add
(implements jtp.
Translator
)
class jtp.proof.transform.
IdenticalSubgoalTransformer
(implements jtp.proof.transform.
ProofTransformer
)
class jtp.proof.transform.
IdenticalSubproofTrimmer
(implements jtp.proof.transform.
ProofTransformer
)
class jtp.proof.
Implication
class jtp.proof.
Inference
(implements java.io.
Serializable
)
class jtp.proof.
AndIntroductionInference
class jtp.proof.
AxiomInference
class jtp.proof.
ModusPonensInference
class jtp.proof.
UIInference
class jtp.frame.fc.
InferredValueRuleFactory
(implements jtp.frame.fc.
RuleFactory
, java.io.
Serializable
)
class jtp.rs.
IteratorBasedReasoningStepIterator
(implements jtp.
ReasoningStepIterator
)
class jtp.fol.rdf.JenaObjectConverter
class jtp.fol.rdf.RDFParser (implements jtp.fol.parser.
FirstOrderLogicParser
)
class jtp.fol.daml.
DAMLParser
class jtp.classifier.
Kb
class jtp.fol.kif.
KIF2CNF
(implements jtp.fol.parser.
FirstOrderLogicParser
)
class jtp.rs.
LinearizedProof
class jtp.modelim.
LinearReductionReasoner
(implements jtp.
Reasoner
)
class jtp.frame.listen.
ListenerTemplate
(implements java.io.
Serializable
, jtp.fol.
Unifyable
)
class jtp.frame.listen.
TripleTemplate
class jtp.frame.listen.
OneWayTripleTemplate
class jtp.frame.listen.
VCTemplate
class jtp.frame.listen.
VLTemplate
class jtp.modelim.
ModelEliminationReasoner.ProofCollector
(implements jtp.
ReasoningStepIterator
)
class jtp.gmp.
ModusPonensReasoner
(implements jtp.
Reasoner
, java.io.
Serializable
)
class jtp.gmp.
ModusPonensRecycler
(implements jtp.
ReasoningStepIterator
)
class jtp.frame.vc.
Multiplexor
(implements java.io.
Serializable
, jtp.frame.vc.
ValueCollectionListener
)
class jtp.util.
NativePropertyExporter
(implements jtp.util.
PropertyExporter
)
class jtp.time.tlgraph.
Node
class jtp.util.
ObjectStorage.Handle
(implements java.io.
Serializable
)
class jtp.frame.vocab.
OWL
class antlr.Parser
class antlr.LLkParser
class jtp.fol.kif.
KIFParser
(implements jtp.fol.kif.
KIFTokenTypes
)
class jtp.fol.parser.
ParserBasedTranslator
(implements jtp.fol.parser.
FirstOrderLogicTranslator
)
class jtp.proof.
Proof
(implements java.io.
Serializable
)
class jtp.
ReasoningStep
(implements java.lang.
Cloneable
, jtp.fol.
Unifyable
)
class jtp.modelim.
AskingQueryProcessor.ReformulationProofStep
class jtp.
Cut
class jtp.rs.
DefaultCut
class jtp.demod.
DemodulationReasoningStep
class jtp.
DirectAssertion
(implements java.io.
Serializable
)
class jtp.frame.
EnumeratingReasoner.ProofStep
class jtp.func.
FunctionProofStep
class jtp.frame.
InferredValueReasoningStep
class jtp.frame.
OneWayInferredValueReasoningStep
class jtp.classifier.
SubsumptionProofStep
class jtp.time.
TimePointKnowledgeStore.TimePointReasoningStep
class jtp.frame.vc.
MembershipProofStep
class jtp.gmp.
ModusPonensProofStep
class jtp.rs.
ReasoningStepStub
class jtp.rs.
StoredReasoningStep
class jtp.frame.fc.
RuleCreationReasoningStep
class jtp.frame.fc.
ActionCreationReasoningStep
class jtp.frame.fc.
RuleInstallationProofStep
class jtp.frame.fc.
RuleTriggeringProofStep
class jtp.time.demod.
TimePointMappingReasoningStep
(implements java.io.
Serializable
)
class jtp.rs.
TranslationReasoningStep
class jtp.frame.
ValueLinkCreationReasoningStep
class jtp.frame.listen.
VCListenerCreationReasoningStep
class jtp.proof.transform.
ProofTransformingEngine
(implements jtp.proof.transform.
ProofTransformer
)
class jtp.proof.transform.
ProofTransformingReasonerProxy
(implements jtp.
Reasoner
)
class jtp.proof.
ProofUtil
class jtp.util.
PropertyBinding
(implements java.beans.
PropertyChangeListener
, java.beans.
VetoableChangeListener
)
class java.beans.
PropertyChangeSupport
(implements java.io.
Serializable
)
class jtp.util.
PropertyExporterSupport
(implements jtp.util.
PropertyExporter
)
class jtp.util.
PropertyUtils
class jtp.context.rdf.
RDFModelCreator
class jtp.util.
RDFObjectFactory
class jtp.context.
Configurator
class jtp.ui.
RDFQueryUtils
class jtp.disp.
RelationBasedDispatcher
(implements jtp.
Dispatcher
)
class jtp.disp.
RelationBasedBCDispatcher
class jtp.disp.
RelationBasedFCDispatcher
class jtp.time.tlgraph.
Relations
class jtp.frame.
Renamer
class jtp.classifier.
Resource
(implements java.lang.
Comparable
)
class jtp.classifier.
Modifier
class jtp.classifier.
Relation
class jtp.classifier.
Resource.ResourceComparator
(implements java.util.
Comparator
)
class jtp.rs.
RSUtils
class jtp.frame.fc.
RuleUnroller.UnrollingTemplate
class jtp.rs.
SecondaryProofStorageLookup
class jtp.rs.
SecondaryProofStorageWriter
(implements java.io.
Serializable
)
class jtp.proof.transform.
SecondaryStorageLookupTransformer
(implements jtp.proof.transform.
ProofTransformer
)
class jtp.disp.
SequentialDispatcher
(implements jtp.
Dispatcher
)
class jtp.frame.fc.
RuleCreationDispatcher
class jtp.disp.
SequentialDispatcher.Ring
class jtp.frame.
SlotValueAskingReasoner
(implements jtp.
Reasoner
)
class jtp.frame.
SlotValueAskingReasoner.LinkResolvingReasoningStepIterator
(implements jtp.
ReasoningStepIterator
)
class jtp.frame.
SlotValueTellingReasoner
(implements jtp.
Reasoner
)
class jtp.undo.
Snapshot
class jtp.proof.transform.
StubTransformer
(implements jtp.proof.transform.
ProofTransformer
)
class jtp.fol.
SubstUtils
class jtp.ui.
SwingDamlQueryAnswerer
class jtp.fol.
Symbol
(implements java.lang.
Comparable
, java.io.
Serializable
)
class java.lang.
Throwable
(implements java.io.
Serializable
)
class java.lang.
Exception
class jtp.proof.
ImplicationConversionException
class jtp.proof.
ProofExtractionException
class jtp.
ReasoningException
class jtp.
InconsistencyException
class jtp.fol.parser.
ParsingException
class java.lang.
RuntimeException
class jtp.util.
UnexpectedException
class jtp.time.tp.
TimePoint
class jtp.time.tp.
CalendarTimePoint
(implements java.lang.
Comparable
)
class jtp.time.
TimePointKnowledgeStore.AskingReasoner
(implements jtp.
Reasoner
)
class jtp.time.
TimePointKnowledgeStore.TellingReasoner
(implements jtp.
Reasoner
, jtp.disp.
SequentialDispatcher.LocationPreference
)
class jtp.time.demod.
TimePointMapper
class jtp.time.tlgraph.
TLGraph
class jtp.rs.
TranslatingProxyReasoner
(implements jtp.
Reasoner
)
class antlr.TreeParser
class jtp.fol.kif.
CNFConverter
(implements jtp.fol.kif.
CNFConverterTokenTypes
)
class jtp.fol.kif.
CodeGenerator
(implements jtp.fol.kif.
CodeGeneratorTokenTypes
)
class jtp.fol.kif.
Simplifier
(implements jtp.fol.kif.
SimplifierTokenTypes
)
class jtp.frame.fc.
TriggerLiteralMatcher
(implements java.io.
Serializable
)
class jtp.classifier.
Triple
class jtp.classifier.
Triple.TripleComparator
(implements java.util.
Comparator
)
class jtp.classifier.
TripleSet
class jtp.proof.transform.
UnrolledRulesTransformer
(implements jtp.proof.transform.
ProofTransformer
)
class jtp.gmp.
Utils
class jtp.frame.listen.
Validator
(implements java.io.
Serializable
)
class jtp.frame.vc.
ValueLink
(implements java.io.
Serializable
)
class jtp.fol.
Variable
(implements java.lang.
Comparable
, java.io.
Serializable
, jtp.fol.
Unifyable
)
class jtp.fol.
Variable.NameComparator
(implements java.util.
Comparator
)
class java.io.
Writer
class java.io.
FilterWriter
class jtp.util.
IndentingWriter
Interface Hierarchy
interface jtp.fol.parser.
ClauseIterator
interface jtp.fol.kif.
CNFConverterTokenTypes
interface jtp.fol.kif.
CodeGeneratorTokenTypes
interface jtp.frame.vocab.
DAML
interface jtp.demod.
DemodulationReplacementListener
interface jtp.context.
DepthMonitor
interface jtp.fol.parser.
FirstOrderLogicParser
interface jtp.fol.kif.
KIFTokenTypes
interface jtp.
KnowledgeStore
interface jtp.util.
ObjectStorage
interface jtp.proof.transform.
ProofTransformer
interface jtp.util.
PropertyExporter
interface jtp.frame.vocab.
RDF
interface jtp.frame.vocab.
RDFS
interface jtp.
Reasoner
interface jtp.
Dispatcher
interface jtp.disp.
RelationBasedBCReasoner
interface jtp.disp.
RelationBasedFCReasoner
interface jtp.disp.
RelationBasedReasoner
interface jtp.disp.
RelationBasedBCReasoner
interface jtp.disp.
RelationBasedFCReasoner
interface jtp.rs.
ReasoningStepCollector
interface jtp.
ReasoningStepIterator
interface jtp.frame.vc.
ReferringValueCollection
interface jtp.frame.fc.
RuleFactory
interface jtp.disp.
SequentialDispatcher.LocationPreference
interface jtp.fol.kif.
SimplifierTokenTypes
interface jtp.frame.vocab.
StandardFrames
interface jtp.
Substitutable
interface jtp.fol.
Clause
interface jtp.fol.
Literal
interface jtp.fol.
CNFSentence
interface jtp.fol.
Clause
interface jtp.fol.
Literal
interface jtp.fol.
Literal
interface jtp.fol.
Literal
interface jtp.time.vocab.
TimeVocabulary
interface jtp.context.
Tracer
interface jtp.
Translator
interface jtp.fol.parser.
FirstOrderLogicTranslator
interface jtp.frame.fc.
TriggerValidator
interface jtp.fol.
Unifyable
interface jtp.frame.vc.
ValueCollectionListener
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
JTP API Documentation
PREV NEXT
FRAMES
NO FRAMES
All Classes