- 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>
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 UTC