Uses of Interface
jtp.disp.RelationBasedReasoner

Packages that use RelationBasedReasoner

jtp.disp
jtp.frame.fc
jtp.frame.listen.dl
jtp.func
jtp.time.func

Uses of RelationBasedReasoner in jtp.disp

Subinterfaces of RelationBasedReasoner in jtp.disp

interface	RelationBasedBCReasoner This interface represents backward-chaining reasoners whose goals are literals that can be dispatched based on their relation symbols, polarities and arities.
interface	RelationBasedFCReasoner This interface represents forward-chaining reasoners whose goals are reasoning steps proving literals, each such reasoning step can be dispatched based on the literal's relation symbol, polarity and arity.

Classes in jtp.disp that implement RelationBasedReasoner

class	AbstractRelationBasedBCReasoner
class	AbstractRelationBasedFCReasoner
(package private) class	jtp.disp.AbstractRelationBasedReasoner AbstractRelationBasedReasoner.java Created: Thu Dec 30 03:38:37 1999

Methods in jtp.disp with parameters of type RelationBasedReasoner

protected boolean	RelationBasedDispatcher.addRelationBasedReasoner(RelationBasedReasoner rr)
protected boolean	RelationBasedDispatcher.removeRelationBasedReasoner(RelationBasedReasoner r)

Uses of RelationBasedReasoner in jtp.frame.fc

Classes in jtp.frame.fc that implement RelationBasedReasoner

class	BlendingRuleAction BlendingRuleAction.java Created: Wed Feb 27 20:46:52 2002
class	EquivalenceDemonstrator
class	EquivalenceEnforcer EquivalenceEnforcer.java Created: Sun Aug 11 20:23:09 2002
class	InconsistencyRuleAction
class	TrueLinkRuleAction TrueLinkRuleAction.java Created: Tue Mar 12 01:03:59 2002
class	UnrollingRuleAction

Uses of RelationBasedReasoner in jtp.frame.listen.dl

Classes in jtp.frame.listen.dl that implement RelationBasedReasoner

class

IntersectionTypeReasoner A telling reasoner that is activated when literals with the relation daml:intersectionOf are told.

Uses of RelationBasedReasoner in jtp.func

Classes in jtp.func that implement RelationBasedReasoner

class	Equals Equals.java Created: Thu Dec 30 05:53:45 1999
class	EvaluableFunctionReasoner
class	ForIn ForIn.java Created: Thu Dec 30 06:03:43 1999
class	GetSetof
class	Greater Greater.java Created: Thu Dec 30 04:49:31 1999
class	InEqual Equals.java Created: Thu Dec 30 05:53:45 1999
class	Less Less.java Created: Thu Dec 30 05:24:51 1999
(package private) class	jtp.func.NumberComparator NumberComparator.java Created: Thu Dec 30 04:53:50 1999
class	Unprovable Unprovable.java Created: Thu Dec 30 04:00:16 1999

Uses of RelationBasedReasoner in jtp.time.func

Classes in jtp.time.func that implement RelationBasedReasoner

class	FirstTimePoint Functional reasoner that takes a CalendarTimePoint tp and a unit (e.g., 'week', 'day'), and returns the first time point in the unit that tp contains.
class	MinusTimePoint Functional reasoner that takes two CalendarTimePoints and returns the number of milliseconds separating the points.
class	PlusTimePoint Functional reasoner that takes a CalendarTimePoint and an integer representing a quantity of milliseconds and returns the timepoint that results in increasing the former by the latter.
class	TimePointFunctionReasoner Abstract class of reasoners that deal with evaluable functions whose arguments are TimePoints.
class	TimePointToInteger Functional reasoner that converts a CalendarTimePoint to an integer value.