W3C home > Mailing lists > Public > www-webont-wg@w3.org > October 2002

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

From: Dan Connolly <connolly@w3.org>
Date: 29 Oct 2002 16:09:40 -0600
To: Jeff Heflin <heflin@cse.lehigh.edu>
Cc: webont <www-webont-wg@w3.org>
Message-Id: <1035929381.2320.8259.camel@dirk>

On Tue, 2002-10-29 at 13:29, Jeff Heflin wrote:
> Dan Connolly wrote:
> > 
> > On Tue, 2002-10-29 at 09:20, Jeff Heflin wrote:
> > [...]
> > > Therefore, I propose the following:
> > >
> > > 1) The syntax for imports be the same as that of DAML+OIL
> > >
> > > 2) The semantics essentially be "A imports B means if B entails P then A
> > > entails P."
> > 
> > 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:09:24 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:53 GMT