W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > May 2003

TEST: pfps-8

From: Jos De_Roo <jos.deroo@agfa.com>
Date: Thu, 1 May 2003 15:09:01 +0200
To: phayes@ai.uwf.edu
Cc: "w3c-rdfcore-wg" <w3c-rdfcore-wg@w3.org>
Message-ID: <1057786989.IAA22192@phantom.w3.org>

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