TEST: pfps-8

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 UTC