Re: [RIF] Reaction to the proposal by Boley, Kifer et al

Michael Kifer wrote:
>> We have also just seen a proposal to add counted quantifiers.
>>     
>
> This was thrown in but to make it fly one would have to incorporate these
> quantifiers into the answer-set and well-founded semantics. (My understanding
> is that Francois main interest is in CWA-based dialects.)
> I think a better and a more natural way to express this kind of features is to
> use aggregate functions. (For CWA-based dialects.)
>   
C pounting quantifiers" can be expressed by aggregate functions. As
shorthand, or syntactic sugaring, they aree very uimportant *in practice*.

François

Received on Wednesday, 3 May 2006 12:30:39 UTC