Re: Existential Quantification [Re: New RDF model theory]

>In Pat's impressive document I note the following:
>
>As far as I can tell the following two graphs (which I represent in a
>bastardized ntriple) entail one another:
>
>G1:
><a> <b> <c>.
>
>
>G2:
><a> <b> <c>.
>_:x <b> <c>.
>
>
>Have I understood this right?

I would say so, yes, presuming that G2 is considered wellformed.

>If so, is this desired?

Hmmm...why not?

>I am a little confused at the moment about it ...
>
>reading _:x <b> <c>. as existentially quanitifed then it seems trivial that
>G1 and G2 entail one another, whereas the interpolation lemma seems to be
>false.

Ah.  Yes, I hadn't noticed that one can add redundancy. I need to 
state it more carefully. Thanks!!

I think I will strip out all the 'proof theory' from the normative MT 
document and write that up separately. For one thing, it is dragging 
the MT since its easier to write equations than to do proofs :-)

Pat Hayes

---------------------------------------------------------------------
(650)859 6569 w
(650)494 3973 h (until September)
phayes@ai.uwf.edu 
http://www.coginst.uwf.edu/~phayes

Received on Monday, 27 August 2001 14:44:26 UTC