- 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