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

[RIF-APS] Issue about implicit quantification

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


Currently BLD says:


"All free (non-quantified) variables in the rule must be quantified with
Forall outside of the rule (i.e., Forall ?vars (head :- body))."


a_Specialization_of_RIF-FLD, Point 5



To have a very compact format the Abridge Presentation Syntax currently has
the following convention:


   *  If not explicitly stated variables are universially quantified


To enable this convention in the APS I would propose to drop that
quantification requirement and say there is implicit quantification.




Received on Monday, 1 September 2008 20:15:43 UTC

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