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

Michael Kifer wrote:
> If you just mean a shortcut for the count aggregate function then it is
> fine. The only question is whether this new syntax for counting quantifiers
> is really needed. IMO, expressions like 3 > count{?X|condition(?X)} or 7 <
> count{?X|condition2(?X)} are much clearer and don't require any new syntax,
> since aggregates are going to be there anyway.
>
>
>   
Existential quantifiers with counting is dewfinitely needed in practice.
They considerably help modeling many applications and often give rise to
more efficient evaluations. Not including them would be, I think, a
rather unformtunate "academic" attitude and would harm the deployment of
the RIF.

Francois

Received on Thursday, 4 May 2006 07:12:11 UTC