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

Re: How to specify prefixes for test case conclusions

From: Jos de Bruijn <debruijn@inf.unibz.it>
Date: Fri, 30 Jan 2009 10:16:35 +0100
Message-ID: <4982C573.5030305@inf.unibz.it>
To: Chris Welty <cawelty@gmail.com>
CC: "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>

Chris Welty wrote:
> This fulfills ACTION-633.
> In test cases, we have the (very minor) problem of how to advise
> implementors to treat the conclusion specifications - are they different
> documents or the same document as the test case premise.  If they are

They are not documents.  They are simply condition formulas.

> the same document, then it is possible to reuse the namespace prefixes
> from the premise and not re-declare them in the conclusion.  Also, if

We can have this as a convention in the test case specification:
CURIES in the conclusion are understood as full IRIs, expanded according
to the prefix definitions in the premise.
Another possibility would be to have a number of prefix definitions on
the test case level, which would be used to expand CURIES both in the
premise and conclusion.

> they are the same document then the "Local_Constant" test case [1] will
> not work properly.

I cannot see how this would work.  The BLD syntax does not have a place
for conclusions in documents.

Best, Jos

> </chair>
> I suggest we approve the convention that the conclusion is the same
> document, and rewrite the local constant test case to use imports to
> achieve its effect. This convention appears to have been adopted in most
> test cases anyway.
> <chair>
> I am extremely wary of any proposal to change BLD in order to address
> what seems like a fairly simple problem.
> -Chris
> [1] http://www.w3.org/2005/rules/wiki/Local_Constant

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
  - Donald Foster

Received on Friday, 30 January 2009 09:16:48 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:54 UTC