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

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