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