- From: Jonathan Borden <jborden@mediaone.net>
- Date: Sun, 3 Jun 2001 22:01:58 -0400
- To: "Tim Berners-Lee" <timbl@w3.org>, <www-rdf-interest@w3.org>
Tim Berners-Lee wrote: > > cwm's root of knowledge is the command line. Giving cwm > an input file puts the top level forumula of that file to the > working forumla. You can think of that as things which are > asserted. > > If a forumla is asserted contains a "F a log:truth" for some > subforumula F, then F is asserted to, recursively. > This is true for the processing of rules. thanks for the clarification. to be clear, CWM/N3 diverges from RDF 1.0 in that: 1) statements are 'automatically' asserted merely by being present in the graph 2) statements are represented as quads (p,s,o,context) Much of the rdf-logic discussion comes down to these particular issues. -Jonathan
Received on Sunday, 3 June 2001 22:03:26 UTC