- From: Dan Connolly <connolly@w3.org>
- Date: Thu, 07 Jul 2005 17:42:47 -0500
- To: Michael Kifer <kifer@cs.sunysb.edu>
- Cc: Gerd Wagner <wagnerg@tu-cottbus.de>, public-rule-workshop-discuss@w3.org
On Thu, 2005-07-07 at 18:28 -0400, Michael Kifer wrote: [...] > > But you (Michael) say > > that FLORA-2 supports making the scope explicit, right? > > Maybe you can give us an example how this looks like > > in FLORA-2 and what it means in the underlying formal > > semantics? > > FLORA-2 has the concept of modules, ... This explanation helps some, but I'd especially appreciate it if you'd try expressing this car color defaults case in FLORA-2. Also, I'd appreciate a pointer to some documentation on this aspect of FLORA-2. -- Dan Connolly, W3C http://www.w3.org/People/Connolly/ D3C2 887B 0F92 6005 C541 0875 0F91 96DE 6E52 C29E
Received on Thursday, 7 July 2005 22:42:50 UTC