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

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 UTC