Re: [RIF-test] Consistency/NegativeConsistency tests

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