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

getting daml:imports right is easy?

From: Drew McDermott <drew.mcdermott@yale.edu>
Date: Wed, 24 Apr 2002 21:32:33 -0400 (EDT)
Message-Id: <200204250132.g3P1WXU26415@pantheon-po01.its.yale.edu>
To: www-rdf-logic@w3c.org

[I'm forwarding a short interchange between Dan Connolly and me and
the "importing" issue, with his permission.]

From: Dan Connolly <connolly@w3.org>
To: Drew McDermott <drew.mcdermott@yale.edu>

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 21:32:36 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:37 UTC