Re: Editorial changes in Section 2.5

I completely agree with Jos. I don't see the counter-example here.
--e.

On 27 Jan 2006, at 23:53, jos.deroo@agfa.com wrote:

>
> Pat Hayes wrote:
> [...]
>> it is broken, since it allows the bnodes in BGP to overlap with those
>> in G'. Example:
>>
>> G' is
>>
>> :a :p _:b .
>> :a  :q :e .
>>
>> and BGP is {?x :q _:b}. With this definition, this succeeds with x
>> bound to :a, since there is a bnode variant of BGP, say {?x :q _:bb}
>> , which satisfies the conditions; but the corresponding instance of
>> BGP itself, when unioned with the scoping graph, is not entailed by
>> the scoping graph.
>
> I take it that G is
>
> :a :p _:bbb .
> :a :q :e .
>
> and that G' is
>
> :a :p _:b .
> :a :q :e .
>
> and that BGP is
>
> {?x :q _:b}
>
> and that BGP' is
>
> {?x :q _:bb}
>
> and that the instance S(BPG') is
>
> :a :q _:bb.
>
> and anyhow find that G simply entails (G' union S(BGP'))
> i.e.
>
> :a :p _:bbb.
> :a :q :e.
>
> simply entails
>
> :a :p _:b.
> :a :q :e.
> :a :q _:bb.
>
> no?
>
> -- 
> Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
>

Received on Friday, 27 January 2006 23:53:05 UTC