W3C home > Mailing lists > Public > public-cwm-talk@w3.org > October to December 2004

testing log:includes and log:notIncludes

From: <jos.deroo@agfa.com>
Date: Thu, 23 Dec 2004 13:37:16 +0100
To: public-cwm-talk@w3.org
Message-ID: <OF8B3AD92B.33371C71-ONC1256F73.0043FE3C-C1256F73.004553F5@agfa.com>

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:11:01 GMT