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 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 July 2008 08:08:33 GMT