Pat, in http://lists.w3.org/Archives/Public/www-rdf-comments/2003AprJun/0117.html you wrote [[[ It would not, however, support an inference of the following form (in Ntriples): ex:bar owl:sameIndividualAs rdf:XMLLiteral . ex:s ex:p "foo"@tag^^rdf:XMLLiteral . |- ex:s ex:p "foo"@tag^^ex:bar since the RDF semantic conditions require that language tags are ignored in non-XML typed literals. ]]] I did a test and (unfortunately) we get that :bar owl:sameAs rdf:XMLLiteral. :s :p "foo"@fr^^rdf:XMLLiteral. entails :s :p "foo"@fr^^:bar. on the grounds of our owl:sameAs interpretation (we substitute equals for equals) I wonder what we should do with that... -- , Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/Received on Thursday, 1 May 2003 09:09:12 EDT
This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:57:26 EDT