- From: Dan Connolly <connolly@w3.org>
- Date: 24 Apr 2002 11:37:35 -0500
- To: Drew McDermott <drew.mcdermott@yale.edu>
- Cc: www-archive@w3.org, Dan Connolly <connolly@w3.org>, Dan Brickley <danbri@w3.org>
On Tue, 2002-04-23 at 16:32, Drew McDermott wrote: [...] > Another version at a different level of abstraction would be that the > current document "in-some-sense-buys-into" the worldview, claims > etc (including associated axioms etc) of the referenced > document. This is hard to get right. > > Au contraire. It's extremely easy to get right. [...] Do tell how to get the specification of daml:imports right, please! It seems, to me, to involve messy stuff like log:semantics, cyc-style 'lifting', and that sort of thing. Doesn't look easy to me. -- Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Wednesday, 24 April 2002 12:37:27 UTC