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. 


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 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 22:02:01 UTC