[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

Received on Tuesday, 16 June 2009 09:21:27 UTC