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

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

From: Tim Berners-Lee <timbl@w3.org>
Date: Sun, 3 Jun 2001 16:37:47 -0400
Message-ID: <005101c0ec6d$0cb62d30$c201a8c0@CREST>
To: <www-rdf-interest@w3.org>
from #rdfifg yesterday:
<jon-laptop> DanC: in CWM, how does one know that a quad is asserted vs.
quoted?
<AaronSw> i'm not DanC but i do it based on what context it's in
<jon-laptop> so some predicates refering to the context?
<AaronSw> huh?
<AaronSw> the context is the fourth part of the quad

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.


- log:implies rules in asserted forumlae are processed by -rules and -think.

- builtins in asserted forumlae are calculated in a query.  So for example
     "a" log:lessThan "b" will be matched by an asserted foumula even
  if it isn't explicitly in the formula.  (This doesn't pass through "a
truth" yet)
Received on Sunday, 3 June 2001 16:37:48 GMT

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