- From: Michael Kifer <kifer@cs.sunysb.edu>
- Date: Thu, 04 May 2006 03:33:00 -0400
- To: Francois Bry <bry@ifi.lmu.de>
- Cc: public-rif-wg@w3.org
> 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.
I am curious to see what syntax you are proposing and how it is
substantially different from the above, which uses aggregates.
--michael
Received on Thursday, 4 May 2006 07:34:22 UTC