Re: LANG: need to CLOSE Issue 5.6 Imports as magic syntax

Whoops, I gave you Pat's message, but not my response. The pointer I
meant to send was:

http://lists.w3.org/Archives/Public/www-webont-wg/2002Oct/0141.html

Jeff


Dan Connolly wrote:
> 
> On Tue, 2002-10-29 at 13:29, Jeff Heflin wrote:
> > Dan Connolly wrote:
> > >
> > > No, entailment is a relationship between formulas; it doesn't
> > > depend on the state of the Web.
> >
> > The Semantic Web can be viewed as a collection of distributed formulas.
> > The proposal above depends on the state of the Web only in the same
> > sense that what is entailed by a set of formulas depends on what
> > formulas you are considering. Please see my earlier message to Pat on
> > this point:
> >
> > http://lists.w3.org/Archives/Public/www-webont-wg/2002Oct/0057.html
> 
> Hmm... I hadn't read that sufficiently carefully before. Sorry.
> 
> That's an interesting design... i.e. observation of the web
> is on a per-interpretation basis. Interesting.
> 
> I'll have to think about that a bit more.
> 
> --
> Dan Connolly, W3C http://www.w3.org/People/Connolly/

Received on Tuesday, 29 October 2002 17:35:36 UTC