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>
Hi,

 

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))."

 

http://www.w3.org/2005/rules/wiki/BLD#The_Presentation_Syntax_of_RIF-BLD_as_
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
(Forall)

 

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

 

-Adrian

 

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

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