08:29:01 RRSAgent has joined #sml 08:29:01 logging to http://www.w3.org/2008/06/24-sml-irc 08:30:00 /invite rrsagent #sml 08:30:00 /invite zakim #sml 08:30:00 zakim, this will be SML 08:30:00 scribe: Kumar Pandit 08:30:00 ok, Kumar, I see XML_SMLWG()3:00AM already started 08:30:03 scribenick: kumar 08:30:07 meeting: SML WG f2f Meeting 08:30:10 chair: John 08:30:13 08:30:22 Kirk2 has joined #sml 08:33:45 http://www.w3.org/XML/2008/06/sml-bug5542.xml 08:35:25 Kirk2 has joined #sml 08:41:13 topic: action items 08:44:26 kumar: I will start email discussion for 5680 08:45:00 ginny: Let us discuss 5760. 08:45:32 yzhou has joined #sml 08:46:30 ginny: we should use 'target' to mean 0 or 1 element. 08:46:58 ginny: and fix other text to match this definition. 08:50:42 ginny: do others agree with this concept? 08:50:56 kumar, kirk, john: yes 08:53:38 ginny: I will write a proposal for changes based on the concept. 08:58:01 topic: bug# 5707 09:05:50 proposal: editor's draft 4.3.1 2 b currently reads 09:05:51 A document is obtained by dereferencing the URI reference ignoring any fragment component, using the appropriate operation defined for the URI scheme used in that URI reference. If it does not retrieve a document in the current model, the SML URI Reference Scheme instance is unresolved. 09:05:55 change to 09:07:56 A document is obtained by one of the following methods. If a document in the current model does not result, the SML URI Reference Scheme instance is unresolved. (2.b.1) by recognizing that the relative reference is a same-document reference (2.b.2) by dereferencing the URI reference ignoring any fragment component, using the appropriate operation defined for the URI scheme used in that URI reference. 09:09:45 Kirk has joined #sml 09:10:52 Kumar notes that 2nd proposed sentence could be part of 2.b.2 , Arwe agrees 09:18:45 john: does everyone agree with the proposed text above? 09:18:53 kumar, kirk, ginny: yes 09:20:34 next piece of 5707, smlif 5.3.4 1 a 09:20:50 proposal: change from If UR contains only a fragment component, 09:21:00 to If UR contains only a same-document reference, 09:21:25 If UR is only a same-document reference, 09:24:54 john: does everyone agree with the proposed text above? 09:24:59 kumar, kirk, ginny: yes 09:27:13 resolution: mark editorial. fix as proposed in comment# 4 09:29:25 topic: bug# 5760 09:33:06 resolution: proposal in comment# 1 rejected. ginny to make the editorial changes based on the concept target== 0 or 1 element. mark needsReview after changes. 09:34:39 topic: bug# 5656 09:42:43 kirk: currently the set of rules aimed at scheme writers do not include information that says how that scheme behaves in the sml-if context. 09:42:50 kirk: we should add such info. 09:46:36 ginny: I am not convinced that we should change the SMl spec to add this text. 09:47:51 kumar: we do not define such rules even for the SML URI scheme therefore we should avoid defining such text for user defined schemes. 09:48:34 john: we could add such text to sml-if. 09:50:00 ginny: but that text should not be called 'requirements on user defined schemes' because then we would need to change the sml spec. 09:53:42 Kirk has joined #sml 09:59:47 proposal to hack at 09:59:55 f2f consensus 09:59:55 09:59:55 SMLIF 4.5 item 4 09:59:55 09:59:55 The SML-IF document may use references schemes that do not use target-complete identifiers. In addition to the requirements imposed by SML on reference scheme definitions, SML-IF imposes additional requirements on references schemes that do not use target-complete identifiers in order to make them useful in the context of SML-IF [5.3.4 discussion of category 3]. 10:00:00 10:00:01 SMLIF 5.3.4 end, after category 1 & 2 URI processing 10:00:03 10:00:06 To process a URI reference UR that is within category #3 above, a set of steps corresponding to those described above for categories #1 and #2 MUST be defined as part of the reference scheme definition. 10:07:32 resolution: the text above is approved. add the text to appropriate sections in smlif. mark editorial. 10:22:49 Kirk has joined #sml 10:32:40 topic: bug# 5657 10:39:40 proposal as discussed: smlif 5.4.1 final sentence 10:39:45 from: implementation-dependent and hence outside the scope of 10:39:45 this specification. 10:39:53 to: impl-defined. 10:40:49 s/5.4.1/6.4.1/ 10:40:53 chg also reqd in 6.1 10:58:53 Kirk2 has joined #sml 11:00:06 Kirk2 is Kirk 11:02:08 Kirk2 has joined #sml 11:03:14 f2f consensus 11:03:14 11:03:14 item 1 - covered by 5635 11:03:14 item 2 - agree with proposal in this bug, no changes 11:03:14 item 3 - agree with proposal in this bug 11:03:15 item 4 - agree with proposal, change both sections, amended text 11:03:17 11:03:19 from: implementation-dependent and hence outside the scope of this specification. 11:03:21 to : implementation-defined. 11:03:23 11:03:25 item 5 - leave as impl-defined 11:03:27 11:03:29 Working group chose to err, if an error has been made, on the side of requiring the behavior to be documented. 11:04:24 resolution: accept item# 2 (retain current uses of impl. defined), accept item #3, accept item# 4 (+remove ...hence outside...), accept item# 5 11:04:51 ht has joined #sml 11:05:51 Working group chose to come down on the side of requiring the behavior to be documented. 11:06:58 resolution: mark editorial 11:09:21 zakim, who is on the phone? 11:09:21 On the phone I see no one 11:10:34 XML_SMLWG()3:00AM has ended 11:10:35 Attendees were 11:50:35 ht has joined #sml 11:55:30 Kirk has joined #sml 11:58:25 johnarwe_ has joined #sml 11:58:26 Kumar has joined #sml 11:59:11 http://dev.w3.org/cvsweb/~checkout~/2007/xml/sml/build/sml.html?content-type=text/html;%20charset=utf-8 12:01:15 http://dev.w3.org/cvsweb/~checkout~/2007/xml/sml/build/sml-if.html?content-type=text/html;%20charset=utf-8 12:03:01 julia has joined #sml 12:03:22 restarting in 1 minute to recover hardware state 12:03:59 XML_SMLWG()3:00AM has now started 12:07:51 Zakim has joined #sml 12:09:06 zakim, who is on the phone 12:09:06 I don't understand 'who is on the phone', ht 12:09:11 zakim, who is on the phone? 12:09:11 sorry, ht, I don't know what conference this is 12:09:12 On IRC I see julia, Kumar, johnarwe_, Kirk, ht, RRSAgent, ginny, MSM, trackbot 12:09:27 zakim, this is sml 12:09:27 ok, johnarwe_; that matches XML_SMLWG()3:00AM 12:09:28 zakim, this is sml 12:09:28 ht, this was already XML_SMLWG()3:00AM 12:09:30 ok, ht; that matches XML_SMLWG()3:00AM 12:09:43 zakim, who is on the phone? 12:09:43 On the phone I see +1.919.227.aaaa, ??P6 12:09:53 zakim, aaaa is me 12:09:53 +julia; got it 12:10:06 zakim, ??p6 is Edinburgh 12:10:06 +Edinburgh; got it 12:10:31 zakim, edinburgh has johnarwe_, ginny, ht, Kumar, Kirk 12:10:31 +johnarwe_, ginny, ht, Kumar, Kirk; got it 12:11:33 topic: review Pratul's bug list with Henry 12:11:43 topic: bug# 5522 12:12:17 http://www.w3.org/Bugs/Public/show_bug.cgi?id=5522 12:19:14 john: we made the change Henry requested. 12:20:47 henry: I am happy with the fix. 12:21:58 http://lists.w3.org/Archives/Public/public-sml/2008Jun/0081.html 12:26:14 Jan 4.3.1.1 http://www.w3.org/TR/2008/WD-sml-20080114/#SMLXPath1_Scheme 12:27:53 resolution: remove decide, add reviewerSatisfied 12:28:09 topic: bug# 5541 12:33:03 henry: I am happy with the fix. 12:33:37 resolution: remove decided, add reviewerSatisfied 12:34:58 topic: bug# 5513 12:43:05 henry: Given the overall architecture, depending literal _or_ implicit sml:ref to 12:43:06 signal the _existence_ of an SML reference is reasonable, so I agree that the 12:43:06 xlink:href issue can be dealt with separately, and I'm happy for this bug to be 12:43:06 closed. 12:43:53 topic: bug# 5529 12:53:06 henry I'm happy that the additional text in Appendix C removes the apparent contradiction. 12:53:25 resolution: add reviewerSatisfied 12:53:40 topic: bug# 5545 13:10:32 Sandy has joined #sml 13:17:05 3.2 Shorthand Pointer 13:17:05 13:17:05 A shorthand pointer, formerly known as a barename, consists of an NCName alone. It identifies at most one element in the resource's information set; specifically, the first one (if any) in document order that has a matching NCName as an identifier. The identifiers of an element are determined as follows: 13:17:05 13:17:06 1. 13:17:08 13:17:10 If an element information item has an attribute information item among its [attributes] that is a schema-determined ID, then it is identified by the value of that attribute information item's [schema normalized value] property; 13:17:14 2. 13:17:16 13:17:18 If an element information item has an element information item among its [children] that is a schema-determined ID, then it is identified by the value of that element information item's [schema normalized value] property; 13:17:21 3. 13:17:23 13:17:25 If an element information item has an attribute information item among its [attributes] that is a DTD-determined ID, then it is identified by the value of that attribute information item's [normalized value] property. 13:17:28 4. 13:17:30 13:17:32 An element information item may also be identified by an externally-determined ID value. 13:17:35 13:17:36 If no element information item is identified by a shorthand pointer's NCName, the pointer is in error. 13:19:45 +Sandy 13:20:27 Kirk has joined #sml 13:22:42 julia has joined #sml 13:24:07 henry: So, we end up with two remaining points here, possibly also addressed elsewhere. 13:24:08 13:24:08 Wrt the media type issue, I am happy that the current state of the text clarifies that this is effectively a coherence check on SML URI Reference scheme references. 13:24:08 13:24:11 Wrt the fragid issue, the thing I really care about is barenames, I'll accede to closing this issue (5545) and make a final comment about this concern under 5543. 13:24:14 13:30:29 action: henry to describe what processing a minimally conforming xml processor must do wrt ID processing. 13:30:29 Sorry, couldn't find user - henry 13:31:09 action: john to ask henry to describe what processing a minimally conforming xml processor must do wrt ID processing. 13:31:10 Created ACTION-200 - Ask henry to describe what processing a minimally conforming xml processor must do wrt ID processing. [on John Arwe - due 2008-07-01]. 13:31:12 ht has joined #sml 13:31:36 resolution: add reviewerSatisfied 13:32:19 topic: bug# 5520 13:36:46 henry: I am happy that the text which has been added addresses my concern 13:37:17 resolution: mark as reviewerSatisfied 13:37:26 topic: bug# 5523 13:51:20 henry: I am happy with the resolution. 13:52:36 Kirk has joined #sml 13:52:46 resolution: mark as reviewerSatisfied 13:57:07 http://www.w3.org/XML/2008/06/sml-bug5542.xml 14:02:28 ht has joined #sml 14:02:44 Kirk2 has joined #sml 14:03:23 What was my bug-to-close as I left? 14:08:05 5523 14:10:02 Kirk2 has joined #sml 14:11:05 text from infoset rec 14:11:06 Base URIs 14:11:06 14:11:06 Several information items have a [base URI] or [declaration base URI] property. These are computed according to [XML Base]. Note that retrieval of a resource may involve redirection at the parser level (for example, in an entity resolver) or below; in this case the base URI is the final URI used to retrieve the resource after all redirection. 14:11:06 14:11:08 The value of these properties does not reflect any URI escaping that may be required for retrieval of the resource, but it may include escaped characters if these were specified in the document, or returned by a server in the case of redirection. 14:11:12 14:11:14 In some cases (such as a document read from a string or a pipe) the rules in [XML Base] may result in a base URI being application dependent. In these cases this specification does not define the value of the [base URI] or [declaration base URI] property. 14:11:18 14:11:20 When resolving relative URIs the [base URI] property should be used in preference to the values of xml:base attributes; they may be inconsistent in the case of Synthetic Infosets. 14:17:59 schema 1.0 refers to 2001 infoset spec which says: Base URIs 14:17:59 14:17:59 Several information items have a [base URI] property. This is computed according to [XML Base]. Note that retrieval of a resource may involve redirection at the parser level (for example, in an entity resolver) or below; in this case the base URI is the final URI used to retrieve the resource after all redirection. 14:17:59 ``Unknown'' and ``N 14:41:13 Kirk has joined #sml 14:41:50 proposed normative addition to sml 4.1.1: It is implementation-defined whether non-validating SML processors (SML processors that are not also SML validators) use the XML Infoset [XML Information 14:41:50 Set] or the Post Schema Validation Infoset (PSVI) [XML Schema Structures] for 14:41:50 SML reference identification. 14:44:02 04 01proposed normative addition to sml 4.1.1: It is implementation-defined whether SML model processors that are not also SML model validators use the XML Infoset [XML Information 14:44:02 Set] or the Post Schema Validation Infoset (PSVI) [XML Schema Structures] for 14:44:02 SML reference identification. 14:46:04 topic: bug# 5740 14:47:08 resolution: split the note in 4.1.1. Add the proposed text above between the 2 notes. mark editorial. 14:47:52 going into bug, ok? F2F consensus: add following text to 4.1.1 SML Reference, as normative, between existing Notes 1 and 2. 14:47:52 14:47:52 It is implementation-defined whether non-validating model processors that are not also model validators use the XML Infoset [XML Information 14:47:52 Set] or the Post Schema Validation Infoset (PSVI) [XML Schema Structures] for 14:47:53 SML reference identification. 14:50:46 topic: bug# 5653 15:01:13 http://www.w3.org/TR/xmlschema-1/#concepts-conformance 15:03:01 http://www.w3.org/TR/xmlschema-2/ 15:06:47 5653, comment 2, part (2), revised proposal 15:06:50 from: assessed by a conforming schema-aware processor 15:09:39 to: from: assessed by a conforming schema aware processor [link to XML Schema Structures 2.4] 15:11:28 Kirk has joined #sml 15:17:03 pratul has joined #sml 15:17:41 revised proposal from Ginny: In each instance document in the model, the [validity] property of the root element and all of its attributes and descendants MUST NOT be "invalid" when schema validity is assessed with respect to the referenced XML Schema documents in the model's definition documents. [XML Schema Structures] 15:18:52 -Sandy 15:23:21 revised defs: SML-IF Producer 15:23:21 A SML-IF Producer is a program that generates a SML-IF Document from a SML 15:23:21 model [Conformance]. 15:23:21 SML-IF Consumer 15:23:21 A SML-IF Consumer is a program that processes a SML-IF Document using, in 15:23:22 whole or part, semantics defined by this specification. It MAY perform 15:23:24 interchange set validation [Conformance]. 15:27:59 SML-IF Producer 15:27:59 A SML-IF Producer is a program that generates a SML-IF Document from a SML 15:27:59 model. 15:27:59 15:27:59 SML-IF Consumer 15:28:00 A SML-IF Consumer is a program that processes a SML-IF Document using, in 15:28:02 whole or part, semantics defined by this specification. It may or may not perform 15:28:05 interchange set validation. 15:29:16 The editors may wish to search for unqualified "consumer" uses that readers 15:29:16 would find ambiguous. There are at least a few unqualified uses in normative 15:29:16 sections of the current editor's draft. 15:36:23 When performing interchange model validation over the SML model packaged in an 15:36:24 SML-IF instance, an SML-IF consumer must draw associations between XML Schema definition documents and 15:36:25 instance documents, both to completely validate XML Schema 15:36:27 documents themselves and to establish the schema-validity of the instance 15:36:29 documents. 15:40:03 resolution: mark editorial, does not need review 15:54:39 -julia 15:54:43 -Edinburgh 15:54:44 XML_SMLWG()3:00AM has ended 15:54:45 Attendees were +1.919.227.aaaa, julia, johnarwe_, ginny, ht, Kumar, Kirk, Sandy 16:03:04 rrsagent, make log public 16:03:10 rrsagent, generate minutes 16:03:10 I have made the request to generate http://www.w3.org/2008/06/24-sml-minutes.html johnarwe_ 16:06:13 Zakim has left #sml 16:06:45 julia has left #sml 16:10:32 kumar: question for msm: I have a question regarding bug# 5797 that you opened. Does the schema spec require all schema processors to expose the 4 modes of initiating validity assessment mentioned in the bug? 16:12:01 no 16:12:52 but this is not an area where it makes sense for us to say "whatever" -- the meaning of our definition is incomplete if we don't say what form of validation we are talking about. 16:13:28 is there a specific section of the structures spec that talks about the options an which might be rqd? 16:14:09 kumar: that is true in principle. however, if we pick one of the 4 options and if either the MS schema processor or the cosmos schema processor does not support it then we will have a problem with CR interop. 16:14:23 1.1 makes explicit the assumptions which also govern 1.0. It says in section 5.2 "conforming processors may but are not required to provide interfaces so that they can be invoked in ways consistent with any or all of these approaches." 16:14:45 we'll have even more trouble with interop if we don't specify what 'valid' means 16:15:32 If we need to make the decision based on examining the schema processors the two projects are using and seeing which modes of invocation they offer, then let's do that 16:16:11 Kirk has joined #sml 16:16:28 personally, i'll be rather surprised if they don't both offer wildcard validation mode 16:17:15 (and as I mentioned yesterday, strict and lax wildcard modes are identical from the valdator's pov -- the different terms only signal different expectations from the caller (here: us) 16:17:44 for the relevant text of both XSD 1.0 and 1.1: http://www.w3.org/TR/2008/WD-xmlschema11-1-20080620/structures.diff-1.0.html#validation_outcome 16:22:54 ht_home has joined #sml 16:23:11 John, you still there? 16:23:25 yupper 16:23:27 sup 16:23:28 Tomorrow morning is fine -- say 0930? 16:23:41 Yes, I agree, supper time soon :-) 16:25:23 if you become available then fine... we have a mix of early/late risers, so we plan to start at 0830 on some bugs we can handle purely w/in the wg. If 0900 is possible that might be better, insofar as we need to get through base uri before MSM leaves around 1030 for his flight to finland ("...finland, finland, the country where I quite want to be.."O 16:25:59 but if 0900 is a stretch, an hour might let us squeak by 16:26:32 I will make it as soon after 0900 as I can 16:26:38 ah, if we have 2 hrs w/ MSM I suspect 0930 for Henry would be great - sup-ah 17:25:19 John? ready to head out for supper? 17:27:44 sdflkj