terminating 'imports' loops

From: pat hayes (phayes@ai.uwf.edu)
Date: 03/22/01


I suggest adding the following sentence to the end of the paragraph 
in the ref manual.
Comments? re-wordings?

Pat
-----------------


Imports

Each daml:imports statement references another DAML+OIL ontology 
containing definitions that apply to the current DAML+OIL resource. 
Each reference
consists of a URI specifying from where the ontology is to be 
imported from. See the example above. Imports statements are 
transitive, that is, if ontology A
imports B, and B imports C, then A imports both B and C.  Importing 
an ontology into itself is considered a null action, so if ontology A 
imports B and B imports A, then they are
considered to be equivalent.
---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
phayes@ai.uwf.edu 
http://www.coginst.uwf.edu/~phayes


This archive was generated by hypermail 2.1.4 : 04/02/02 EST