- 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
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. --michael
Received on Monday, 13 March 2006 16:22:46 UTC