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

Dan - it wasn't, but Jeremy has put your testcase

[[
<otest:PositiveEntailmentTest rdf:ID='test'>
   <rtest:status>PROPOSED</rtest:status>
   <dc:creator>Dan Connolly</dc:creator>
   <rtest:issue
rdf:resource='http://www.w3.org/2001/sw/WebOnt/webont-issues#I5.8-Datatypes'
 />
   <otest:level
rdf:resource='http://www.w3.org/2002/03owlt/testOntology#Full' />
   <otest:supportedDatatype
rdf:resource='http://www.w3.org/2001/XMLSchema#decimal'/>
   <rtest:description rdf:parseType='Literal'>
This explores aliases of builtin datatypes.</rtest:description>
   <rtest:premiseDocument>
         <rtest:RDF-XML-Document rdf:about='premises017' >
              <otest:level
rdf:resource='http://www.w3.org/2002/03owlt/testOntology#Full' />
         </rtest:RDF-XML-Document>
   </rtest:premiseDocument>
   <rtest:conclusionDocument>
         <rtest:RDF-XML-Document rdf:about='conclusions017' >
              <otest:level
rdf:resource='http://www.w3.org/2002/03owlt/testOntology#Full' />
         </rtest:RDF-XML-Document>
   </rtest:conclusionDocument>
</otest:PositiveEntailmentTest >
]]
   -- http://www.w3.org/2002/03owlt/I5.8/Manifest017

in the test suite which should complete your action.


--
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 Sunday, 12 October 2003 19:34:19 UTC