ontology names (was Re: Minutes from webont telecon of 8 May)

From: ewallace@cme.nist.gov
Subject: Minutes from webont telecon of 8 May
Date: Fri, 9 May 2003 19:24:01 -0400 (EDT)

[...]
> - Peter Patel-Schneider to piddle with ontology name.
[...]

The relevant section of S&AS is:

<p>
Names of ontologies are used in the abstract syntax to carry the meaning
associated with publishing an ontology on the Web.  The name of an ontology
is thus the URI where it would be found.  Imports annotations, in
effect, are directives to retrieve a Web document and treat it as an OWL
ontology.
However, most aspects of the Web, including missing, unavailable, and
time-varying documents, reside outside the OWL specification; all that is
carried here is that a URI can be ``dereferenced'' into an OWL ontology.
In several places in this document, therefore, idealizations of this
operational meaning for imports are used.
</p>

This could be changed to:

<p>
Names of ontologies are used in the abstract syntax to carry the meaning
associated with publishing an ontology on the Web.  
It is thus intended that the name of an ontology in the abstract syntax
would be the URI where it could be found, although this is not part of the
formal meaning of OWL.
Imports annotations, in
effect, are directives to retrieve a Web document and treat it as an OWL
ontology.  
However, most aspects of the Web, including missing, unavailable, and
time-varying documents, reside outside the OWL specification; all that is
carried here is that a URI can be ``dereferenced'' into an OWL ontology.
In several places in this document, therefore, idealizations of this
operational meaning for imports are used.
</p>

Received on Wednesday, 14 May 2003 13:32:57 UTC