Package jtp.frame

Class Summary

EnumeratingReasoner	EnumeratingReasoner.java Created: Fri Jan 12 00:38:44 2001
EnumeratingReasoner.ProofStep	This intermediate proof step is necessary for the frame system when the query does not have enough variables bound to prove the goal directly.
FrameKB	FrameKB.java Created: Wed Oct 25 05:45:33 2000
FrameTranslators	FrameTranslators.java Created: Fri Jan 12 10:03:59 2001
FrameTranslators.SubclassOfTranslator
FrameTranslators.TemplateFacetValueTranslator
FrameTranslators.TemplateSlotValueTranslator
HoldsReasoner	HoldsReasoner.java Created: Wed Dec 20 00:47:27 2000
HoldsReasoner.Add
InferredValueReasoningStep	A proof step representing a Generalized Modus Ponens inference made through forward-chaining.
LinkAsserter
LinkAsserter.UndoInsert	Class of undoable edits that corresponds to adding a ValueLink to a ValueCollection's input links.
LinkAsserter.UndoRemove
OneWayInferredValueReasoningStep	A proof step representing a Generalized Modus Ponens Inference made throught forward-chaining.
Renamer	Renamer.java Created: Sun Apr 28 18:19:48 2002
SlotValueAskingReasoner
SlotValueAskingReasoner.LinkResolvingReasoningStepIterator	a reasoning step iterator based on the supplied collection of ValueLinks.
SlotValueCollection	SlotValueCollection.java Created: Mon Mar 15 18:22:10 1999
SlotValueTellingReasoner	SlotValueTellingReasoner.java Created: Sun Dec 3 02:42:44 2000
ValueLinkCreationReasoningStep	This forward-chaining proof step represents the inference that one ValueCollection should include all of the values in another ValueCollection.