W3C home > Mailing lists > Public > public-rif-wg@w3.org > September 2008


From: Adrian Paschke <adrian.paschke@biotec.tu-dresden.de>
Date: Thu, 4 Sep 2008 21:51:01 +0200
To: "'Hassan Ait-Kaci'" <hak@ilog.com>
Cc: <public-rif-wg@w3.org>
Message-Id: <20080904195110.6977D70000E6@mailserver.biotec.tu-dresden.de>
>Hi Adrian,
>In http://www.w3.org/2005/rules/wiki/APS, the last rule in the
>table APS -> PS reads:
>[Conlusion] :- [Conditions]     [Conclusion] :- [Conditions]    for
derivation rules in BLD
>Isn't this a vacuous line?

The line should show the difference to production rules which map to IF
[Conditions] Then [Actions]. 

But you are right I should be more precise here and say something like


[Conclusion] :- [Conditions]   

maps to (current) Full BLD PS

Forall [Vars]  [Conclusion] :- And([Conditions])

- Adrian

Received on Thursday, 4 September 2008 19:51:51 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:52 UTC