Re: RDF semantics redux

On Tue, 2005-11-08 at 01:17 -0600, Pat Hayes wrote:
[...]
> With the local option, we can define an answer as a substitution S such that
> 
> G entails Q[S]
> 
> where 'entails' is a parameter. Putting [entails] = [simply entails] 
> gives us the current design,

Really? My understanding is that the last call design does _not_
work this way.

[telcon now].

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E

Received on Tuesday, 8 November 2005 14:49:18 UTC