Re: A triple is not unique.

• From: <ssarkar@ayushnet.com>
• Date: 21 Nov 2000 15:24:09 -0800
• To: jos.deroo.jd@belgium.agfa.com
• Cc: melnik@db.stanford.edu, www-rdf-interest@w3.org
• Message-ID: <20001121232409.20388.cpmta@c001.snv.cp.net>

> 
> > - every statement has a unique ID generated using a Skolem function
> >   reify(s, p, o).
>>
> > A triple is unique.
> 
> We should proof that:
>   Forall s,p,o Exists t: t is unique [F]
> Skolem has found that we can eliminate exists 

(Most likely) We should prove ::

  Forall s,p,o Exists a Model M, Exists t: M(t) and t is unique

  We have to apply Skolem function repeatedly 
to eliminate all existential quantifiers.

--ssarkar@ayushnet.com

Received on Tuesday, 21 November 2000 18:24:18 UTC