RE: MT for imports (was: Re: Imports Proposal)

Jerome- I understood what you wanted, and I didn't mean nonmon in a 
formal sense.  But suppose I was using the SW for e-commerce and we 
had a situation where

Document 1 says:
  I sell pencils
  pencils are a document2:commodity

Document 2 says:
  Commodity has restriction onproperty "quantity" of numeral 1000.
(i.e. commodities are sold in lots of 1000)

Then if document 2 is down and I negotiate to buy a pencil from 
document 1, when document 2 comes back up, I suddenly find I have to 
pay for 999 more pencils than I wanted.

If we assume that imports is used to mean "My meaning relies on the 
meaning of the other document" in any real sense, then if that 
document is missing, what does the first document mean?

My proposal is simply to do what programming languages do - if I say
  include foo.h
and foo.h can't be found for some reason, the program simply returns 
an error, rather than trying to compile - because you said it needs 
foo.h to run correctly and it knows that means it could possibly 
return erroneous values even if it compiles okay without it.

I actually expect the ontology documents to be relatively robust, so 
I don't think this is something we need to worry about a lot - but I 
think having a strong imports with "graceful degradation" is 
contradictory in settings like ecommerce where real money changes 
hands
  -JH

-- 
Professor James Hendler				  hendler@cs.umd.edu
Director, Semantic Web and Agent Technologies	  301-405-2696
Maryland Information and Network Dynamics Lab.	  301-405-6707 (Fax)
Univ of Maryland, College Park, MD 20742	  240-731-3822 (Cell)
http://www.cs.umd.edu/users/hendler

Received on Thursday, 14 November 2002 09:46:41 UTC