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

• From: Peter Frederick Patel-Schneider <pfps@research.bell-labs.com>
• Date: Thu, 13 Oct 2011 07:21:09 -0400
• To: <phayes@ihmc.us>
• CC: <sandro@w3.org>, <public-rdf-wg@w3.org>
• Message-ID: <20111013.072109.1006794417217885536.pfps@research.bell-labs.com>

From: Pat Hayes <phayes@ihmc.us>
Subject: Re: more about dereference (notes from MIT post F2F2-day-1)
Date: Wed, 12 Oct 2011 22:58:08 -0500

>> 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.  

It is also very likely that some will not be consistent with this axiom,
so putting this theory in any privileged place is problematic.

> Pat

peter

Received on Thursday, 13 October 2011 11:22:16 UTC