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

[RIF-APS] Rules Sign

From: Adrian Paschke <adrian.paschke@biotec.tu-dresden.de>
Date: Mon, 1 Sep 2008 22:09:13 +0200
To: <public-rif-wg@w3.org>
Message-Id: <20080901200918.1F8D970000E0@mailserver.biotec.tu-dresden.de>


With respect to the abridged presentation syntax there is still an open
issue about the sign to distinguish the head and the body of a rule.


Currently, we use ":-" in the examples e.g. in UCR and PRD, which is
well-known in the logic community but not so much in others including
production rules.


I shortly discussed this issue with the BLD/FLD editors Michael and Harold
and we came up with this unambiguous proposal to distinguish classical
implication and rules head and body.


<== for PRD and BLD

<-- for classical


<== and <-- might be also reverted ==> -->





Received on Monday, 1 September 2008 20:09:58 UTC

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