W3C home > Mailing lists > Public > www-archive@w3.org > April 2002

getting daml:imports right is easy? [was: DAML Level of Effort for FY03-FY05]

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>
Message-Id: <1019666256.17366.123.camel@dirk>
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,

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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:31:43 UTC