- From: Carlos Tejo <carlos.tejo@fundacionctic.org>
- Date: Mon, 3 Jan 2011 10:17:05 +0100
- To: public-rif-comments@w3.org
Hello,
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
-->
(the CLAUSE element inside forall statement changes into RULE element).
we have found it in [1] and [2]
Best regards,
[1] http://www.w3.org/TR/rif-prd/#Appendix:_XML_schema
[2] http://www.w3.org/2010/rif-schema/prd/PRD.xsd
--
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 09:17:39 UTC