W3C home > Mailing lists > Public > public-rif-wg@w3.org > August 2008

Re: [RIF-test] Consistency/NegativeConsistency tests

From: Jos de Bruijn <debruijn@inf.unibz.it>
Date: Thu, 21 Aug 2008 17:03:54 +0200
Message-ID: <48AD83DA.2030705@inf.unibz.it>
To: Stella Mitchell <cleo@us.ibm.com>
CC: RIF WG <public-rif-wg@w3.org>
I was the one who raised this issue, but now I'm not so sure that we
should have this test, because of the fact (as Stella points out) that
BLD doesn't define a notion of consistency.

Best, Jos

Stella Mitchell wrote:
> 
> 
> The topic of  Consistency/NegativeConsistency tests came up during the last
> telecon.
> 
> If we have this type of test, would it mean that a BLD consumer will be
> required
> to, or can optionally, have a consistency-checking mode, where it takes
> an input
> document and gives an answer - consistent or inconsistent?
> 
> The BLD spec doesn't define a consistent document. Can we define this
> test as:  The document must be found consistent if there is some semantic
> structure (interpretation) that is a model of the document, and
> inconsistent
> otherwise.
> 
> Stella

-- 
Jos de Bruijn            debruijn@inf.unibz.it
+390471016224         http://www.debruijn.net/
----------------------------------------------
No one who cannot rejoice in the discovery of
his own mistakes deserves to be called a
scholar.
  - Donald Foster


Received on Thursday, 21 August 2008 15:03:41 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:53 GMT