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