W3C home > Mailing lists > Public > www-rdf-interest@w3.org > June 2001

RE: in CWM, how does one know that a quad is asserted vs. quoted?

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>
Message-ID: <000f01c0ec9a$566cbf20$0201a8c0@ne.mediaone.net>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:51:49 GMT