Uses of Interface
jtp.disp.RelationBasedFCReasoner

Packages that use RelationBasedFCReasoner

jtp.disp
jtp.frame.fc
jtp.frame.listen.dl

Uses of RelationBasedFCReasoner in jtp.disp

Classes in jtp.disp that implement RelationBasedFCReasoner

class

AbstractRelationBasedFCReasoner

Uses of RelationBasedFCReasoner in jtp.frame.fc

Classes in jtp.frame.fc that implement RelationBasedFCReasoner

class	BlendingRuleAction BlendingRuleAction.java Created: Wed Feb 27 20:46:52 2002
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 RelationBasedFCReasoner in jtp.frame.listen.dl

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

class

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