W3C home > Mailing lists > Public > www-rdf-interest@w3.org > November 2000

Re: A triple is not unique.

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

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:51:46 GMT