Re: in CWM, how does one know that a quad is asserted vs. quoted? from jos.deroo.jd@belgium.agfa.com on 2001-06-04 (www-rdf-interest@w3.org from June 2001)

From: <jos.deroo.jd@belgium.agfa.com>
Date: Mon, 4 Jun 2001 15:55:24 +0100
To: timbl@w3.org
Cc: www-rdf-interest@w3.org
Message-Id: <OF67D71F4E.1ABDA3EE-ON41256A61.0051F61A@bayer-ag.com>

[...]
> - 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)

are there examples of that at http://dev.w3.org/cvsweb/2000/10/swap/ yet?
what about the unordering of such builtin statements
(matter of variable binding)

--
Jos De Roo

Received on Monday, 4 June 2001 09:55:47 UTC