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