W3C home > Mailing lists > Public > public-rule-workshop-discuss@w3.org > July 2005

Re: car color defaults: a story about Scoped Negation As Failure/log:notIncludes

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
Message-Id: <1120776167.10719.115.camel@localhost>

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:16:21 GMT