W3C home > Mailing lists > Public > www-webont-wg@w3.org > October 2003

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

From: Dan Connolly <connolly@w3.org>
Date: Fri, 10 Oct 2003 08:50:57 -0500
To: Jos De_Roo <jos.deroo@agfa.com>
Cc: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>, Brian McBride <bwm@hplb.hpl.hp.com>, Dan Brickley <danbri@w3.org>, www-webont-wg@w3.org
Message-Id: <1065793857.13833.1548.camel@dirk.dm93.org>

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:02 GMT