- From: Christian de Sainte Marie <csma@ilog.fr>
- Date: Tue, 04 Dec 2007 15:57:22 +0100
- To: Dave Reynolds <der@hplb.hpl.hp.com>
- CC: RIF WG <public-rif-wg@w3.org>
Dave Reynolds wrote: > Resend: I replied to just Christian by mistake.] [Resend: since I did not know whether it was a mistake or not, I replied to Dave only] Dave Reynolds wrote: >> PROPOSED: Resolve issue 42 (rif:text) according to option 1 in >> Jos's analysis [6], that is, by keeping rif:text and changing nothing >> in it definition > > That proposal does not resolve the issue. The issue is that in the XML >> serialization we will (I presume) use xml:lang not a "@lang" >> concatenation; so to resolve the issue in the style of [6]a will also >> require text as part of the XML syntax explaining how that syntax >> maps into the formal specification. I would prefer to see that text >> before agreeing to this resolution. I suppose that is because there are solutions you would prefer and others that you would object to: what would be your prefered solution? I assumed that the specification for Const with the XML:lang tag would look something like (in the style of the definition I used in PRD): The `Const` element has a required `type` attribute and an optional `xml:lang`attribute: - The value of the `type` attribute is the identifier of the variable symbol space. It must be an absolute IRI - The value of the `xml:lang` attribute is the identifier of the language for the presentation of the Const to the user. It should one of the two-letter codes defined in ISO-639. The attribute MUST be omitted if the type of the Const is not rif:text (alternatively: a compliant implementation MUST ignore the xml:lang attribute...; or anything to that effect). The content of the `Const` element is the constant's name, which can be any Unicode character string. XML Syntax (in pseudo-BNF): <Const type="IRI" xml:lang="language identifier"> Unicode character string </Const> WHat would be wrong with something like that? Cheers, Christian
Received on Tuesday, 4 December 2007 14:57:07 UTC