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 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:01:04 UTC