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 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:08:02 UTC