- From: Francois Bry <bry@ifi.lmu.de>
- Date: Thu, 04 May 2006 09:12:07 +0200
- To: Michael Kifer <kifer@cs.sunysb.edu>
- CC: "Peter F. Patel-Schneider" <pfps@inf.unibz.it>, paula.patranjan@ifi.lmu.de, public-rif-wg@w3.org, francois.bry@pms.ifi.lmu.de
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