- From: pat hayes <phayes@ai.uwf.edu>
- Date: Mon, 27 Aug 2001 11:46:41 -0700
- To: Dave Beckett <dave.beckett@bristol.ac.uk>
- 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 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