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

Peter F. Patel-Schneider wrote:
> From: Dan Connolly <>
> Subject: testing that RDF datatypes can have more than one URI name
> Date: Thu, 14 Aug 2003 15:59:35 -0500
> >
> > Peter, Jeremy, Jos, and everybody,
> >
> > In response to a comment from Peter, RDFCore changed
> > some details about how datatypes work... Peter seems
> > to think this was the right thing to do...
> >
> >
> > In a July 11 RDF Core telcon,
> >
> > we observed that you can't really test that the same datatype
> > can have two URI-names using only RDF machinery, but you probably
> > can with OWL (I think that's the crux of the matter, but it's
> > been so long that I'm not sure). I accepted an action (20030711#4)
> > to ask the OWL WG to add such a test.
> >
> > I meant to actually design the test and propose it to the WG,
> > but it's been several weeks and I haven't managed to do that,
> > so before this action item gets any stinkier, I'm going to
> > just ask. Peter, maybe you can design a test? Jeremy? Jos?
> >
> > This isn't on the critical path for OWL CR publication, FYI.
> >
> > --
> > Dan Connolly, W3C
> It is quite easy in OWL Full, at least it is easy to do what I think you
> want.
> 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
> XSD decimal type, and does not depend on ex:bar being in the datatype

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).


> peter

Jos De Roo, AGFA

PS Is there any kind of tool out there that can re-write OWL documents
   in (what I would call) "Intersection Normal Form" (INF) I mean
   re-write sets as intersections of unions of (complements of) sets?
   Is/will Jena 2 have such a mode?
   (then I can throw away many implications...)

Received on Friday, 15 August 2003 09:21:46 UTC