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

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

From: Dan Connolly <connolly@w3.org>
Date: 24 Apr 2002 13:22:03 -0500
To: Drew McDermott <drew.mcdermott@yale.edu>
Cc: www-archive@w3.org, danbri@w3.org
Message-Id: <1019672524.17366.202.camel@dirk>
On Wed, 2002-04-24 at 12:39, Drew McDermott wrote:
>    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.

I'm not sure what log:semantics is either, formally;
but re cyc-style lifting, see

  Contexts: A Formalization and Some Applications

> But, as I said on www-rdf-logic, importing an ontology just means
> incorporating its contents.  What's hard about that?

ont:imports isn't just magic syntax. It's a property
that relates ontology documents. It can be specialized
using subProperty.

For example, in OntX:

	my:imports rdfs:subPropertyOf ont:imports.

	<> my:imports <OntY>.

	:Collie rdfs:subClassOf :Dog.
	:Lassie rdf:type :Collie.

in OntY:

	:Dog rdfs:subClassOf :Animal.

So Lassie is an animal; but you have to do reasoning
to figure out what to import from OntX.

> 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
Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Wednesday, 24 April 2002 14:21:54 UTC

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