Re: OWL Abstract Syntax and Semantics review comments

On Fri, 13 Jun 2003, Peter F. Patel-Schneider wrote:

> Here is a reply for the unanswered issue in your message.
>
> > --- owlsas-rdfcore-unnamed-ontologies
> >
> > Section 3.4
> > Unnamed ontologies: informally, multiple Annontations on an unnamed
> > ontology don't need to be satisfied by the same "x" according to this
> > table. Don't think that's right.
>
> The newest editor's draft of S&AS (of 4 June 2003, available at
> http://www-db.research.bell-labs.com/usr/pfps/owl/) has a new Section 3.4
> that should satisfactorily address this issue.
>
> The basic change is that the interpretation of Ontology Annotations is done
> in an environment where there is a resource for the ontology, named or not
> as evidenced by the following wording:
>
> 	there is some o ∈ R such that
> 	for each Ontology Annotation of the form
> 	<span class="syntax">Annotation(</span>p v<span class="syntax">)</span>,
> 	&lt;o,S(v)&gt; &isin; ER(p)
> 	and that if O has name n, then
> 	S(n) = o;
>
> Please reply to this message as to whether this response is satisfactory,
> copying public-webont-wg@w3.org. Again, thank you for your comments.
>
> Peter F. Patel-Schneider
> Bell Labs Research
> Lucent Technologies

I'm sorry for the delay in responding; I missed this the first time
around. This is a satisfactory change, thanks.


-- 
jan grant, ILRT, University of Bristol. http://www.ilrt.bris.ac.uk/
Tel +44(0)117 9287088 Fax +44 (0)117 9287112 http://ioctl.org/jan/
Lambda calculus? I hardly know 'er!

Received on Sunday, 6 July 2003 08:52:25 UTC