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

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 UTC