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: <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

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:07:36 UTC