jtp.disp
Interface RelationBasedFCReasoner

All Superinterfaces:

Reasoner, RelationBasedReasoner

All Known Implementing Classes:

AbstractRelationBasedFCReasoner, IntersectionTypeReasoner

public interface RelationBasedFCReasoner

extends RelationBasedReasoner

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. The interface shares signature with RelationBasedBCReasoner. They both inherit their methods from the base interface RelationBasedReasoner.

Field Summary

Fields inherited from interface jtp.disp.RelationBasedReasoner

ANY_ARITY, BOTH, NEGATIVE, POSITIVE

Methods inherited from interface jtp.disp.RelationBasedReasoner

getArity, getPolarity, getRelation

Methods inherited from interface jtp.Reasoner

acceptable, process