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

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

From: Dave Beckett <dave.beckett@bristol.ac.uk>
Date: Fri, 17 Aug 2001 10:36:30 +0100
To: pat hayes <phayes@ai.uwf.edu>
cc: w3c-rdfcore-wg@w3.org
Message-ID: <7550.998040990@tatooine.ilrt.bris.ac.uk>

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 EDT

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