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

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

Received on Wednesday, 24 April 2002 12:37:27 UTC