- From: Anthony Finkelstein <anthony@systemwire.com>
- Date: Fri, 8 Jul 2005 18:45:33 +0100
- To: Sandro Hawke <sandro@w3.org>
- Cc: Dan Connolly <connolly@w3.org>, public-rule-workshop-discuss@w3.org
I am interested primarily in constraint checking (with diagnosis) but there are obviously cases in which you want to automatically repair constraints which break (which may require constraint solving). Constraint repair is difficult in a distributed, federated ownership setting. Anthony > > >Thanks for the examples. Just to double check, what is the user >functionality here? Are we talking about constraint enforcement >(validation) or constraint solving (as in CHR [1])? It sounds like >just popping up an error window is fine, and one can just use rules >like: "if not condition then error", perhaps packaged more succinctly >as a list of named conditions. Is that right? > > -- sandro > >[1] http://www.cs.kuleuven.ac.be/~dtai/projects/CHR/ -- _________________________________________________________________________ Anthony Finkelstein Systemwire Director of Strategy TEL: +44 (0)20 7679 7293 (Direct Dial) MOB: +44 (0)7771 813981 EMAIL: anthony@systemwire.com WEB: http://www.systemwire.com _________________________________________________________________________
Received on Friday, 8 July 2005 17:45:43 UTC