Re: testing that RDF datatypes can have more than one URI name

Yes it is Dan - sorry to have been so implicit :-)
The test is I5.8-017 and you can find the manifest at
http://www.w3.org/2002/03owlt/I5.8/Manifest017.rdf
As you came up with the test I had put you as the author.

--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/


                                                                                                                                       
                      Dan Connolly                                                                                                     
                      <connolly@w3.org>        To:       Jos De_Roo/AMDUS/MOR/Agfa-NV/BE/BAYER@AGFA                                    
                      Sent by:                 cc:       "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>, Brian McBride       
                      www-webont-wg-req         <bwm@hplb.hpl.hp.com>, Dan Brickley <danbri@w3.org>, www-webont-wg@w3.org              
                      uest@w3.org              Subject:  Re: testing that RDF datatypes can have more than one URI name                
                                                                                                                                       
                                                                                                                                       
                      2003-10-10 03:50                                                                                                 
                      PM                                                                                                               
                                                                                                                                       
                                                                                                                                       





Is this now in the OWL test suite? I don't really
know where to look. I'd like to tell RDF Core that
my action is done.

On Fri, 2003-08-15 at 08:20, Jos De_Roo wrote:
> Peter F. Patel-Schneider wrote:
[...]
> >
> > Here is a QName triples version (translate as appropriate for RDF/XML)
> >
> >            xsd:decimal owl:sameAs ex:bar .
> >            ex:xx ex:yy "01^^ex:bar .
>
> I had trouble parsing the last triple, but
>             ex:xx ex:yy "01"^^ex:bar .
> worked better ;-)
>
> > owl full entails
> >
> >            ex:xx ex:yy "1"^^xsd:decimal .
> >
> > because ex:bar and xsd:decimal have the same denotation and thus have
the
> > same L2V mapping.
> >
> > Note that this only depends on the datatype map mapping xsd:decimal to
> the
> > XSD decimal type, and does not depend on ex:bar being in the datatype
> map.
>
> I again had trouble to infer that, but this time due to
> a shortcoming in our implementation of the substitution
> of equals-for-equals; I made a trial change and then
> it worked (but I have to eventually reconsider it).
>
> jos
>
> > peter

--
Dan Connolly, W3C http://www.w3.org/People/Connolly/

Received on Thursday, 13 November 2003 16:07:29 UTC