- From: Francois Bry <bry@ifi.lmu.de>
- Date: Wed, 03 May 2006 13:52:48 +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: >> 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