RE: significant problem for moving OWL to Last Call

> Herman ter Horst just brought to my attention a significant change to the
> RDFS semantics in the editor's version of the RDF semantics document.
>
> This change involves adding new constructs to the definition of RDFS
> interpretations as follows:
>
>  	An rdfs-interpretation of V is an rdf-interpretation
> 	I of (V union rdfV union rdfsV) *with a distinguished subset IC
> 	of the universe and a mapping ICEXT from IC to the set of
> 	subsets of IR*, which satisfies the following semantic
> 	conditions and all the triples in the subsequent table,
> 	called the RDFS axiomatic triples.  [Emphasis added]
>
> Previously RDFS interpretations used the same structure as RDF
> interpretations, and IC and ICEXT were conveniences only.
>
> To track this change will require significant changes to S&AS.  I do not
> feel that OWL can go to last call without some resolution of this new
> issue.

as an RDF Core member, my limited understanding of the key role of the
current semantics editors draft was for you and Herman to make sure you were
satisfied with it before we go to the next stage.

I think the level of detail has gone beyond what myself at least, and I
guess
other members of the RDF Core WG, feel able to comment on intelligently.

In particular, my understanding is that if the OWL Semantics is made more
difficult
by changes
suggested in the editors draft, then either
these changes should be undone, or RDF will probably need a second last call
to sort them out.

In summary, I believe RDF core is motivated to sort this out to Peter and
Herman's satisfaction - and we should put the ball in their court by moving
to last call on the basis of the RDF last call.

Jeremy

Received on Thursday, 27 March 2003 11:13:36 UTC