Re: "Did Lois know that Clark was Superman" problem

Richard H. McCullough wrote:

> Seth Russell mentioned this problem in a recent email.  I'm not sure 
> what the "problem" is supposed to be, but the identification of the 
> concepts involved is very straightforward.  Expressed in KR (of course!)
>  
>     *at* view = Lois knows { Clark *is* Superman }
>  
> Now "Lois knows" is a named context, and we can ask any question we 
> want to, e.g.
>  
>     Lois knows *has* truth-value = true *?*

That works for me.   Its only a problem in RDF where we cannot name 
contexts or even talk about them.  N3 is better in that we can at least 
talk about the scope of a formula.

Seth Russell