- From: <jos.deroo@agfa.com>
- Date: Thu, 23 Dec 2004 13:37:16 +0100
- To: public-cwm-talk@w3.org
while testing log:includes and log:notIncludes
cwm found that
{} log:notIncludes {_:x a rdfs:Resource}.
which is OK I think
(euler is not OK for that but I am fixing)
both cwm and euler found that
{} log:includes {(1 1) math:sum 2}.
which is not like simple entailment..
--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Thursday, 23 December 2004 12:39:53 UTC