- From: Bijan Parsia <bparsia@isr.umd.edu>
- Date: Mon, 13 Mar 2006 23:20:34 -0500
- To: Michael Kifer <kifer@cs.sunysb.edu>
- Cc: Francois Bry <bry@ifi.lmu.de>, public-rif-wg@w3.org
On Mar 13, 2006, at 11:22 AM, Michael Kifer wrote: > 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. +1, 2, 3, 4, 5 :) Cheers, Bijan.
Received on Tuesday, 14 March 2006 04:20:48 UTC