- From: Francois Bry <bry@ifi.lmu.de>
- Date: Fri, 02 Jun 2006 13:35:07 +0200
- To: public-rif-wg@w3.org
Gerd Wagner wrote > > You seem to overlook the fact that pure assertion PRs > correspond to (in fact, implement) logical derivation > rules, and so there is the possibility of interchange > between the two. > I am not su sure this is agood idea becaue it might in most cases raise difficvult problems. I would suggest to go for a RIF encompassing three kinds of rule (deduction rules, normative rules, and productiuon/ECA rules) and *not* consider an interchange between rulesets of the different kinds. Francois
Received on Friday, 2 June 2006 11:35:12 UTC