From: Peter F. Patel-Schneider (pfps@research.bell-labs.com)
Date: 03/22/01
From: pat hayes <phayes@ai.uwf.edu> Subject: terminating 'imports' loops Date: Thu, 22 Mar 2001 12:06:40 -0600 > 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 > Sounds fine to me. peter
This archive was generated by hypermail 2.1.4 : 04/02/02 EST