W3C home > Mailing lists > Public > public-rif-wg@w3.org > March 2006

Re: Constraints explained

From: Michael Kifer <kifer@cs.sunysb.edu>
Date: Mon, 13 Mar 2006 11:22:29 -0500
To: Francois Bry <bry@ifi.lmu.de>
Cc: public-rif-wg@w3.org
Message-ID: <27333.1142266949@kiferserv.kiferhome.com>

Francois Bry <bry@ifi.lmu.de> wrote:
> PS: I do not follow you in the non-FOL of ICs...

I formally pointed out something that many people don't realize: The use of
constraints implies that the rulesets to which these constraints apply must
not have an FOL semantics.

This is significant to understand, since if we include constraints in Phase
1 then already in Phase 1 we must talk about the difference between FOL and
LP semantics.

Received on Monday, 13 March 2006 16:22:46 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:37 UTC