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 C29EReceived on Thursday, 7 July 2005 22:42:50 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:16:21 GMT