W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > August 2001

Re: New RDF model theory (well, damn nearly)

From: pat hayes <phayes@ai.uwf.edu>
Date: Mon, 27 Aug 2001 11:46:41 -0700
Message-Id: <v04210105b7b045e7a1ae@[130.107.66.237]>
To: Dave Beckett <dave.beckett@bristol.ac.uk>
Cc: w3c-rdfcore-wg@w3.org
>Having a look at
> 
>http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2001Aug/att-0051/01 
>-RDF_Model_Theory_postF2F.html
>
>I noticed:
>-------------------------------------------------------------------
>  For example, the graph defined by the triples
>  _:x a b
>  c b _:x
>  _:x a c
>
>  translates to the logical expression (written in KIF syntax)
>
>  (exists (?y)(and (a ?y b)(b c ?y)(a c ?y)))
>-------------------------------------------------------------------
>
>shouldn't that be:
>
>  (exists (?y)(and (a ?y b)(b c ?y)(a ?y c)))
>
>i.e. in third triple, predicate is a, subject ?y, object c

Yes, it should, thanks.

>I have trouble with this wierd non subject-predicate-object stuff :-)

Me too, as you can see.

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:45:39 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:38:48 EDT