- From: Ivan Herman <ivan@w3.org>
- Date: Fri, 30 Mar 2012 10:41:52 +0200
- To: Pat Hayes <phayes@ihmc.us>
- Cc: Sandro Hawke <sandro@w3.org>, public-rdf-wg <public-rdf-wg@w3.org>
- Message-Id: <74985EEF-4B8A-40A2-AD82-DB1FF8FC2063@w3.org>
Pat,
just wondering...
On Mar 29, 2012, at 17:47 , Pat Hayes wrote:
>
> Contrary to what I said in the telecon yesterday, I now don't think there is any way out of this within the current RDF framework. Basically, you want to talk about the naming relation between a URI and a denotation, and you can't do that in a conventional rdf-2004-style model theory. You need a small amount of referential opacity to make this work. We will have to change something to get that.
>
My disagreement[1] with Sandro on his approach has been on his usage of the rdf:hasGraph relationship and his approach of describing things through these terms. Ie, to try to explain things in terms of the RDF semantics.
My approach was much looser; we do define RDF classes for the various relationships (say, rdf:GraphLabel and rdf:Graph) but only as some sort of categorization for applications that require that, but the exact, hm, behaviour (I did not want to use the word 'semantics') of what
<a> { a b c }
means in term of loose labeling, equality, or strict HTTP retrieval, would be left to English prose, _not_ part of the RDF semantics per se. Is this what you mean? Would that be a way out at least for the coming years?
Ivan
[1] http://lists.w3.org/Archives/Public/public-rdf-wg/2012Mar/0126.html
> Pat
>
>
>
>>
>> That page includes answers to all the current GRAPHS issues, including
>> ISSUE-5, ISSUE-14, etc.
>>
>> Eric has started going through Why Graphs and adding the examples as
>> addressed by Proposal 6.1:
>> http://www.w3.org/2011/rdf-wg/wiki/Why_Graphs_6.1
>>
>> -- Sandro (with Eric nearby)
>>
>>
>>
>
> ------------------------------------------------------------
> IHMC (850)434 8903 or (650)494 3973
> 40 South Alcaniz St. (850)202 4416 office
> Pensacola (850)202 4440 fax
> FL 32502 (850)291 0667 mobile
> phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes
>
>
>
>
>
>
----
Ivan Herman, W3C Semantic Web Activity Lead
Home: http://www.w3.org/People/Ivan/
mobile: +31-641044153
FOAF: http://www.ivan-herman.net/foaf.rdf
Attachments
- application/pkcs7-signature attachment: smime.p7s
Received on Friday, 30 March 2012 08:40:45 UTC