- From: Drew McDermott <drew.mcdermott@yale.edu>
- Date: Wed, 24 Apr 2002 21:37:23 -0400 (EDT)
- To: www-rdf-logic@w3.org
[I'm forwarding a short interchange between Dan Connolly and me and the "importing" issue, with his permission.] From: Drew McDermott <drew.mcdermott@yale.edu> To: connolly@w3.org 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. I don't know what log:semantics and cyc-style lifting are. But, as I said on www-rdf-logic, importing an ontology just means incorporating its contents. What's hard about that? Perhaps we're having some confusion about "importing" vs. "translation." The latter is a much more difficult problem, and we know where most of the bodies are buried. For instance, ontology 1 wants to use ontology 2, but everything in ontology 2 is temporally scoped, whereas ontology 1 concerns a static world. The two have to be merged in such a way that time information is removed from onto-2 assertions without garbling them. Please follow up. -- Drew
Received on Wednesday, 24 April 2002 21:37:25 UTC