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

Re: Typo in comment of RIF PRD XML schema

From: Carlos Tejo <carlos.tejo@fundacionctic.org>
Date: Mon, 3 Jan 2011 15:40:18 +0100
Message-ID: <AANLkTinAmEm8g2nq4QJc1n5fsUMHYC1e893tZp6YYkGT@mail.gmail.com>
To: public-rif-comments@w3.org
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
Received on Monday, 3 January 2011 14:40:51 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 3 January 2011 14:40:52 GMT