W3C home > Mailing lists > Public > public-rif-wg@w3.org > November 2009

Re: [Testcases] Core Safeness test is wrong, should be removed

From: Jos de Bruijn <debruijn@inf.unibz.it>
Date: Tue, 03 Nov 2009 13:03:40 +0100
Message-ID: <4AF01C1C.5090504@inf.unibz.it>
To: Gary Hallmark <gary.hallmark@oracle.com>
CC: rif WG <public-rif-wg@w3.org>


Gary Hallmark wrote:
> this test http://www.w3.org/2005/rules/wiki/Core_Safeness incorrectly
> uses pred:numeric-add. When corrected to use func:numeric-add, the test

I made the correction.

> is the same as
> http://www.w3.org/2005/rules/wiki/Chaining_strategy_numeric-add_1
> (except the former is only a PositiveSyntaxTest whereas the latter is an
> entailment test).

This is the crucial difference.  The former is used to test whether
syntax validators correctly check safeness; the latter is used to test
the behavior of entailment checkers.


Best, Jos

> 
> I think this test should be removed.
> 

-- 
Jos de Bruijn            debruijn@inf.unibz.it
+390471016224         http://www.debruijn.net/


Received on Tuesday, 3 November 2009 12:04:08 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 3 November 2009 12:04:08 GMT