W3C home > Mailing lists > Public > public-rdf-wg@w3.org > October 2011

Re: more about dereference (notes from MIT post F2F2-day-1)

From: Pat Hayes <phayes@ihmc.us>
Date: Wed, 12 Oct 2011 22:58:08 -0500
Cc: public-rdf-wg <public-rdf-wg@w3.org>
Message-Id: <EFF8C5E3-D218-4612-9D2C-364F42558F5A@ihmc.us>
To: Sandro Hawke <sandro@w3.org>
Actually, I want to subtly change (1).

On Oct 12, 2011, at 4:04 PM, Sandro Hawke wrote:

> Some of us kept talking for a few more hours.    Everyone was
> more-or-less cool with these observations about dereference:
> 
> 1. If a system successfully dereferences URL "L" and obtains a
> representation of an RDF graph, then <L> is a GraphContainer.

That seems like http-range-14 wearing a Hawaiian shirt. 

>  That
> is, "L" denotes a GraphContainer.  Logically, GraphContainer is
> disjoint from foaf:Person (I think!!) so a document that includes "<>
> a foaf:Person" is (by this proposal) logically inconsistent with it
> being served on the Web.

No, its not *logically* inconsistent. What it implies is that there is something in the intersection of foaf:Person and GraphContainer. But these being disjoint has to be part of an ontology of GraphContainers rather than a *logical* axiom, I suggest. That is, we don't build this into the very semantics. 

Pat

------------------------------------------------------------
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
Received on Thursday, 13 October 2011 03:58:37 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:25:45 GMT