W3C home > Mailing lists > Public > public-rif-comments@w3.org > June 2011

Re: Typo in comment of RIF PRD XML schema

From: Carlos Tejo <carlos.tejo@fundacionctic.org>
Date: Wed, 8 Jun 2011 12:28:12 +0200
Message-ID: <BANLkTikQBEF+rDRq+WW4mBFnP2Z4juj8cQ@mail.gmail.com>
To: public-rif-comments@w3.org
Hello,

I haven't received any comments about this issue yet. Could someone
have a look on it?

Best regards,

On 3 January 2011 15:40, Carlos Tejo <carlos.tejo@fundacionctic.org> wrote:
> Hello (again),
>
>> IMHO I think that there is a small bug in a comment of RIF PRD XML Schema
>>
>> <xs:group name="RULE">
>>    <!--
>>  RULE      ::= (IRIMETA? 'Forall' Var+ '(' CLAUSE ')') | CLAUSE
>>    -->
>>
>> should be
>>
>> <xs:group name="RULE">
>>    <!--
>>  RULE      ::= (IRIMETA? 'Forall' Var+ '(' RULE ')') | CLAUSE
>>    -->
>
> going deeper into the specification, it looks like the comment should be
>
> <xs:group name="RULE">
> !--
> RULE      ::= (IRIMETA? 'Forall' Var+ (' such that ' FORMULA+)?  '('
> RULE ')') | CLAUSE
> -->
>
> like is written in RIF PRD PS [1]
>
> Best Regards,
>
> [1] [1] http://www.w3.org/TR/rif-prd/#Presentation_syntax_.28Informative.29
>
> Carlos Tejo Alonso
> CTIC-Centro Tecnológico
> Parque Científico y Tecnológico de Gijón
> c/ Ada Byron, 39 Edificio Centros Tecnológicos
> 33203 Gijón - Asturias - España
> Tel.: +34 984 29 12 12
> Fax: +34 984 39 06 12
> E-mail: carlos.tejo@fundacionctic.org
> http://www.fundacionctic.org
> Política de Privacidad: http://www.fundacionctic.org/privacidad
>



-- 
Carlos Tejo Alonso
CTIC-Centro Tecnológico
Parque Científico y Tecnológico de Gijón
c/ Ada Byron, 39 Edificio Centros Tecnológicos
33203 Gijón - Asturias - España
Tel.: +34 984 29 12 12
Fax: +34 984 39 06 12
E-mail: carlos.tejo@fundacionctic.org
http://www.fundacionctic.org
Política de Privacidad: http://www.fundacionctic.org/privacidad
Received on Wednesday, 8 June 2011 10:29:09 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 19:49:20 UTC