- From: Sandro Hawke <sandro@w3.org>
- Date: Thu, 13 Oct 2011 07:37:17 -0400
- To: Pat Hayes <phayes@ihmc.us>
- Cc: public-rdf-wg <public-rdf-wg@w3.org>
On Wed, 2011-10-12 at 22:58 -0500, Pat Hayes wrote:
> 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.
Agreed. I would leave this up to, for instance, the people providing an
ontology for foaf:Person to say it's disjoint from GraphContainer.
-- Sandro
> 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 13:41:32 UTC