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 

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 :-)

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

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:53:50 UTC