[RIF Test Cases] Abridged Presentation syntax

Hi Jos,

You asked: 

> In
>addition, it is unclear to me which syntax they use. it is certainly not
>valid presentation syntax.

It is the abridged presentation syntax from UCR
(http://www.w3.org/2005/rules/wiki/UCR#Use_Cases) which was introduced there
to have a very compact and easy readable human-oriented format.

It might be also usable for the test cases to get a quick picture what the
rules of the test case are. The full presentation syntax can become very
complex, take e.g. the simple example of "?X>= (?Y+2) " which would be very
long-winded in the full presentation syntax and hard to read for a human.

But you are right; we need full presentation syntax to automatically
translate them into the concrete XML syntax. 

Hence, I would propose to describe the test cases in full presentation
syntax in the premises and conclusion field (or alternatively already in
concrete XML syntax) and optionally represent them in abridged presentation
syntax together with the narrative description of the test case in the
"Description" field. 
An alternative would be to have several (optional) premise / conclusion
fields which represent the test case in different syntaxes (abridge, full,
XML, PRD, BLD, ...).

- Adrian


-----Ursprüngliche Nachricht-----
Von: public-rif-wg-request@w3.org [mailto:public-rif-wg-request@w3.org] Im
Auftrag von Jos de Bruijn
Gesendet: Donnerstag, 21. August 2008 15:46
An: Chris Welty
Cc: Public-Rif-Wg (E-mail)
Betreff: Re: Call for test cases



> Below are instructions to create new test cases on the WIKI. The test
> cases will be automatically classified into the category of the used
> template and the specified dialect. We probably might need more
> templates (categories) later,  as described here
> http://www.w3.org/2005/rules/wiki/Test#Categories_of_RIF_Test_Cases
> 
> But let's start simple first and collect positive entailment tests which
> demonstrate BLD and DTB.
> 
> The properties of the templates for test cases are described here
> http://www.w3.org/2005/rules/wiki/Test_Case_Format

The page lacks descriptions of the properties Text and Format and
guidelines about how to format the title.
Then, it is not very clear to me what the difference is between the
properties Purpose and Description.

> Some example test cases for BLD (positive entailment test cases) can be
> found here
> 
> http://www.w3.org/2005/rules/wiki/Test_Case_Ordered_Relations
> http://www.w3.org/2005/rules/wiki/Test_Case_Unordered_Relations
> http://www.w3.org/2005/rules/wiki/Test_Case_Frames
> http://www.w3.org/2005/rules/wiki/Test_Case_Equality

All the examples like the required properties title and purpose.  In
addition, it is unclear to me which syntax they use. it is certainly not
valid presentation syntax.


I tried to write a test case (a negative entailment test), but I was not
sure whether it is in the correct format.  Please check:
http://www.w3.org/2005/rules/wiki/Test_Case_Local_Constant


Best, Jos

Received on Friday, 22 August 2008 13:18:42 UTC