- From: Andy Seaborne <andy.seaborne@epimorphics.com>
- Date: Sun, 17 Feb 2013 13:19:23 +0000
- 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 UTC