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

Re: Constraints explained

From: Bijan Parsia <bparsia@isr.umd.edu>
Date: Mon, 13 Mar 2006 23:20:34 -0500
Message-Id: <eb362789f9af3a095fe64a626a044b4a@isr.umd.edu>
Cc: Francois Bry <bry@ifi.lmu.de>, public-rif-wg@w3.org
To: Michael Kifer <kifer@cs.sunysb.edu>

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:27 GMT