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

>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 UTC