RE: [BLD][Core] 2 small errors in the XML schema

Schema updates done for FLD/BLD/Core, Harold
 


________________________________

From: public-rif-wg-request@w3.org [mailto:public-rif-wg-request@w3.org] On Behalf Of Christian De Sainte Marie
Sent: June 16, 2009 6:21 AM
To: RIF
Subject: [BLD][Core] 2 small errors in the XML schema



All, 

Checking the alignment of the BLD/Core and PRD XML syntax, I found two smallish errors in BLD/Core: 
- the arguments of Import, location and profile, contain xs:anyURI, not rif:iri constants (per resolution at F2F13 [1]) 
- the <args> element is optional in an UNITERM, but the minimum occurence of TERMs inside the args element is 0, which means that there are two different ways to represent a nullary predicate/function. I think that we said, when the question was raised in earlier discussion, that the args element would be optional, which implies that the minOccur of TERMs inside args must be 1. 

The PRD schema conforms to these. The BLD/Core schema must be aligned. 

Btw, IRICONST is not defined in the Core EBNF (and, in BLD, it is used in the EBNF, but defined only in the text). 

Cheers, 

Christian

ILOG, an IBM Company
9 rue de Verdun
94253 - Gentilly cedex - FRANCE
Tel. +33 1 49 08 35 00
Fax +33 1 49 08 35 10


Sauf indication contraire ci-dessus:/ Unless stated otherwise above:
Compagnie IBM France
Siège Social : Tour Descartes, 2, avenue Gambetta, La Défense 5, 92400 Courbevoie
RCS Nanterre 552 118 465
Forme Sociale : S.A.S.
Capital Social : 609.751.783,30 €
SIREN/SIRET : 552 118 465 02430