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

[RIF-APS] AW: APS

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

APS:

[Conclusion] :- [Conditions]   

maps to (current) Full BLD PS

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

- Adrian

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

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:54 GMT