- From: Pat Hayes <phayes@ihmc.us>
- Date: Wed, 12 Oct 2011 22:58:08 -0500
- To: Sandro Hawke <sandro@w3.org>
- Cc: public-rdf-wg <public-rdf-wg@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 UTC