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

Re: [RIFWG] [Requirements?] A vision for the RIF

From: Bijan Parsia <bparsia@isr.umd.edu>
Date: Mon, 24 Apr 2006 15:32:05 -0400
Message-Id: <9b6b5f4df806ea72ad7d8bf1e9d26bf5@isr.umd.edu>
Cc: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>, public-rif-wg@w3.org
To: Michael Kifer <kifer@cs.sunysb.edu> 

On Apr 24, 2006, at 2:13 PM, Michael Kifer wrote:

Peter wrote:

>> I'm not sure why it is necessary for constraints to be interpreted in 
>> a CWA
>> environment.
[snip
>> Yes, this is not what LP people think of as their way of working with
>> constraints, but I don't see why it is not an acceptable way of 
>> thinking
>> about constraints.
>>
>> peter
[snip]
> It is only when you depart from first-order semantics then you can
> meaningfully distinguish constraints from deductive rules.

Just to bring in what I think of the *locus classicus* of this debate, 
here's a link to Reiter's "On Integrity Constraints":
	<http://www.tark.org/proceedings/tark_mar7_88/p97-reiter.pdf>

Cheers,
Bijan.
Received on Monday, 24 April 2006 19:32:28 GMT

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