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

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 Friday, 10 October 2003 09:51:01 UTC