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

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

Dave

Received on Friday, 17 August 2001 05:36:34 UTC