W3C home > Mailing lists > Public > public-rdf-wg@w3.org > February 2013

Re: Problem with auto-generated fragment IDs for graph names

From: Andy Seaborne <andy.seaborne@epimorphics.com>
Date: Sun, 17 Feb 2013 13:19:23 +0000
Message-ID: <5120D8DB.1020106@epimorphics.com>
To: Pat Hayes <phayes@ihmc.us>
CC: RDF-WG <public-rdf-wg@w3.org>


On 15/02/13 22:17, Pat Hayes wrote:
>
> On Feb 15, 2013, at 1:38 PM, Andy Seaborne wrote:
..
>>
>> One simple entailment design would be:
>>
>> {ex:doc1 :author "Bob" }
>> ex:doc1 {:TheMoon :madeOf :greenCheese }
>>
>> =>
>>
>> {_:x :author "Bob" }
>> _:x {:TheMoon :madeOf :greenCheese }
>>
>
> But that is exactly what would not be valid, using the current
> semantics (or rather lack of it) for the premises. That first graph does
> NOT require ex:doc1 to denote the graph {:TheMoon :madeOf :greenCheese
> }. The URI might denote something entirely different, and the default
> graph will say that Bill authored that, whatever it happens to be.
> Whereas (I am suggesting we can impose the condition that) in the second
> case, the bnode can only denote that graph.

OK - we're clear then that this is a proposal, and not something that 
automatically falls out of the current specs.

	Andy


>
> Pat
>
>
>> 	Andy
>>
>>
>
> ------------------------------------------------------------
> 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 Sunday, 17 February 2013 13:19:54 GMT

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