00:00:44 rrsagent, generate minutes 00:00:44 I have made the request to generate http://www.w3.org/2008/04/01-sml-minutes.html zeckert 00:00:46 RRSAgent, please make records public 00:00:53 rrsagent, make log public 00:01:18 rrsagent, generate minutes 00:01:18 I have made the request to generate http://www.w3.org/2008/04/01-sml-minutes.html zeckert 00:06:13 http://www.w3.org/2005/02/minutes 00:07:30 log at http://www.w3.org/2008/03/31-sml-irc.txt 00:07:43 http://www.w3.org/2008/03/31-sml-irc.html 00:09:21 Julia has left #sml 00:10:56 -Julia 00:15:20 johnarwe has left #sml 00:15:56 disconnecting the lone participant, OracleMtgRm, in XML_SMLWG(F2F)10:00AM 00:16:01 XML_SMLWG(F2F)10:00AM has ended 00:16:02 Attendees were OracleMtgRm, Jordan, Sandy, +1.828.645.aaaa, Julia 03:53:56 MSM has joined #sml 16:08:15 RRSAgent has joined #sml 16:08:15 logging to http://www.w3.org/2008/04/01-sml-irc 16:13:08 XML_SMLWG(F2F)10:00AM has now started 16:13:15 +Julia 16:13:54 06zakim, who's on the phone? 16:15:33 MSM has joined #sml 16:18:53 ginny has joined #sml 16:19:58 zakim, this is sml 16:19:58 MSM, this was already XML_SMLWG(F2F)10:00AM 16:20:00 ok, MSM; that matches XML_SMLWG(F2F)10:00AM 16:20:00 Kirk has joined #sml 16:20:03 +pdatta 16:20:15 +Jordan 16:20:16 zakim, who's here? 16:20:17 On the phone I see Julia, pdatta, Jordan (muted) 16:20:18 On IRC I see Kirk, ginny, MSM, RRSAgent, Zakim, johnarwe, Julia, Jordan, Sandy, trackbot-ng 16:24:27 scribeNick: Kirk 16:24:43 scribe: Kirk Wilson 16:24:46 +Sandy 16:25:22 pratul has joined #sml 16:25:45 MSM has changed the topic to: SML ftf, agenda at http://lists.w3.org/Archives/Public/public-sml/2008Mar/0083.html 16:26:57 TITLE: SML F2F, April 1, AM 16:28:11 [scribe quickstart guide: http://dev.w3.org/2002/scribe/scribedoc.htm] 16:28:57 http://dev.w3.org/cvsweb/%7Echeckout%7E/2002/scribe/scribedoc.htm 16:29:10 http://lists.w3.org/Archives/Member/member-ws-policy/2006Oct/0001.html 16:29:15 http://lists.w3.org/Archives/Member/member-ws-policy/2006Oct/0001.html 16:29:35 RRSAgent, help? 16:29:35 I'm logging. Sorry, nothing found for 'help' 16:29:45 RRSAgent, help 16:31:18 Triage unclassified bugs - we have some new ones arriving from XQuery! 16:32:33 Topic: 5598: http://www.w3.org/Bugs/Public/show_bug.cgi?id=5598 16:33:23 rrsagent, this meeting spans midnight 16:33:28 Add namespace prefix deref function in section title 16:33:39 MSM: Add the word "The" 16:34:10 Ginny: recommends not fixing it. Makes title longer. Style objection to fixing the bug. 16:35:07 MSM: Prefers to add it. (Kirk agrees.) 16:35:29 s/it/namespace prefix/ 16:36:10 Sandy: We need to add it somewhere. First occurrence of namespace prefix is in section 5. 16:36:51 Ginny: We can mention it in the section. 16:37:45 Pratul: Proposal: fix according to the bug. 16:39:58 John: 4 votes (MSM, Kirk, Pratul, Sandy to make the change. 16:40:50 John: Question is whether we should include "The". 16:42:31 The sense of the work group is not to add a "The" just to this title. 16:43:15 Ginny: Does not want to change all the titles. 16:44:02 RESOLUTION: Fix this bug as per bug and mark as editorial. 16:44:44 Topic: 5599: http://www.w3.org/Bugs/Public/show_bug.cgi?id=5599 16:47:05 MSM: We need to turn acyclic on in cases where sml:ref is not specified. 16:48:10 MSM: Our response should be: This is clear from the text , we believe it is necessary to allow this, and made clear in table 5-2. 16:50:34 MSM: A sophisticated validator may detect a situation in which the complex type would not be able to support an SML reference (e.g., no attribute wild-card). A validator is free to this. 16:53:27 MSM: In the schema, one can specify: 16:54:32 ...1. sml:ref is specified with Fixed Value (true or false) 16:55:01 ...2. sml:ref explicitly declared as attribute as part of CT def. "intent" 16:55:21 ...3. anyAttribute on ctd allows sml:ref 16:55:42 ..4. "silent" ==> sml:ref Forbidden 16:56:17 Julia, 16:56:28 is the placement of the mics better? 16:58:59 Julia has left #sml 16:59:20 Julia has joined #sml 17:00:04 John: response to bug: acyclic is allowed on any ctd. 17:01:04 ...MSM : We should quote the text that it is allowed on any ctd element, and from table 5.2. 17:04:16 MSM: There are no restriction to the ctd elements that allow the sml:ref attribute. 17:06:41 RESOLTUION: The spec makes it clear that there are no restriction to ctd elements that allow sml:ref attribute. Bug is marked Decided. 17:07:31 Topic: 5600 http://www.w3.org/Bugs/Public/show_bug.cgi?id=5600 17:07:53 Need focus small examples in-line 17:08:15 Pratul: We had that and took them at! 17:08:55 MSM: Can say globally that examples are non-normative. 17:09:23 John: We could point to specific examples in the text. 17:10:03 Pratul: Proposal: We say that we don't fix since we had it that way. 17:11:46 Ginny: They might be able to point out where they would the examples. 17:13:46 MSM: Suggests putting in the short examples. 17:16:36 John: Proposal: To address bug by referring the existing examples to the appendices from the text instead of writing new examples. 17:17:58 s/referring the/referring to the 17:19:01 Ginny: Suggests putting anchors in existing examples to use more focused references. 17:19:44 s/RESOLTUION/RESOLUTION 17:22:27 RESOLUTION: WG agrees to insert references to the examples in the appendices within the text. They should let us know where examples would help. Moved to Editorial / Decided. 17:25:58 Topic: Other reference schemes 5561 & 5562 17:27:04 xlink: 5561: http://www.w3.org/Bugs/Public/show_bug.cgi?id=5561 17:27:54 href: 5562: http://www.w3.org/Bugs/Public/show_bug.cgi?id=5562 17:28:25 Decision: let's start with 5562 (href) 17:33:15 John: This is a "paper exercise" to see how easy it is to define SML references. 17:34:36 ...Issue--what do we with this: publish as a note, just keep it to ourselves as an exercise, or publish as part of spec. 17:35:04 ...MSM prefers using this as part of spec (normative) 17:36:13 MSM: Two href ref schemes are possible: one that covers everything of interest and one that covers easy cases. 17:37:18 http://www.w3.org/TR/html4/struct/objects.html#h-13.3 17:38:02 -Sandy 17:40:32 XHMTL: a formal, XML definition of HTML document. 17:40:53 http://www.w3.org/TR/2000/REC-xhtml1-20000126/ 17:42:27 MSM: easy one: href in , . 17:46:36 Pratul: Proposal: Attributes of the Class Id, codebase, data, usemap whose values are of type anyURI, these are to be treated as SML reference provided that sml:ref="true" on the element. 17:48:37 MSM: need targetType constraint on each of these attributes. 17:49:10 Hypothesis: could be we define these as different reference schemes for each attribute. 17:49:23 ...We can only use one targetType attribute. 17:50:15 ...If we have two reference schemes on same element, then have different objects. Violate SML ref semantics. 17:50:18 +Sandy 18:00:03 Discussion of our goals relative to this use case. 18:04:09 MSM: Our response had been that anyone could do this, easily. But we are now seeing that it is not possible. 18:05:31 Pratul: Henry only mentioned one attribute. We can do that. 18:07:02 MSM: Henry has asked if we can have link checking. 18:09:38 MSM: HTML is a widespread language. We can't say we have a tool that doesn't work with the signature language of the W3C. We need to weigh the tradeoffs. 18:10:12 ...We need to support widely used references in widely used languages is an important use case. 18:16:05 MSM: Problem is an interaction between XML and how decisions on SML Reference. 18:19:24 Issues regarding linking in XHTML: 18:20:59 1. If SML references are elements, HTML elements that carry multiple hyperlinks is a problem. 18:21:36 ...a. If some hyperlinks are in children, we have a solution. 18:22:04 2. Where multiple hyperlinks are in attributes, this is a problem for current spec. 18:23:30 ...a. Problem is there can be multiple objects pointed to by different attributes, thereby violating semantics of SML ref. Treating them as multiple schemes is a non-starter. 18:24:09 Example. in HTML has 4 URL attributes 18:24:09 src URL The URL of the image to display 18:24:09 ismap URL Defines the image as a server-side image map 18:24:09 longdesc URL A URL to a document that contains a long description of the image 18:24:09 usemap URL Defines the image as a client-side image map. Look at the and tags to figure out how it works 18:24:57 MSM: Change conception of SML reference to allow attributes; then treat element as having multiple references: 18:25:10 ...Can we have constratins? 18:25:28 ...Can we be selective about what attributes are SML references. 18:25:51 s/constratins/constraints 18:26:34 ...Since that one attribute be an instance of multiple schemes? 18:26:52 s/Since/Can 18:30:16 http://www.w3.org/TR/html4/struct/links.html#h-12.2 18:30:18 MSM: Can we describe a reference scheme for . What do we need to say to make that work? 18:31:35 Pratul: We could just put all attributes we want on the element. 18:34:47 We need to say: 18:35:37 1. It is an element with an href attribute, and sml.ref="true" 18:36:49 2. Rules for resolution: We need specify that you can use bare-names. You need to resolve to elements. 18:38:06 ...Note: if href goes to something not an element, this is unresolved. 18:38:35 Kumar has joined #sml 18:39:38 3. Target-complete identifier: Yes. 18:43:52 Discussion of resolution process: 18:46:30 ...MSM: Use a termporary element that maps to the mime-type of what is returned. Thus, you get an element back and can correctly say that the reference resolves, and correctly identifies when link fails. 18:47:42 question: is the "temporary element" considered as part of the model being processed/validated? 18:49:20 MSM: Map to a unique element for each different mime-type. 18:49:37 It will be considered a part of model since we're evaluating constraints on it 18:50:04 MSM: insight: as long as you can generate a complete list of types you do accept, then you can create a target type constraint to exclude others. if you cannot generate the complete list, not clear that we have a solution. 18:50:08 Whether we want to allow models to contain non XML doc is an interesting issue 18:50:28 MSM: We want to use targetRequired, targetType could be used. 18:50:31 and that temporary element belongs to a document? and that document will be validated as part of the model validation? 18:51:15 Sandy the short answer is no 18:51:33 MSM: Tentative result is that we can handle href on . 18:51:36 IMO, we should not allow non XML docs in an SML model 18:52:03 MSM: Sandy's first question: Yes, the temp elements are considered parts of the model. 18:52:53 ...This should follow what is required by the SML spec 18:55:05 MSM: These special elements would have to be in model for this to work. 18:56:22 ...SML-IF must include these elements in the package. . .WITH ALIASES 18:57:08 ...SML, however, the link checker says "they are in the model". 19:02:11 MSM: The "temporary" elements are elements in a document because we require what is referenced has to be an XML document or fragment. 19:08:41 MSM: Version 2 of HTML resolution scheme: You go to the net. Then that is not interoperability. Have we violated any of the rules in our specs? Should there be rules that prevent this. 19:09:08 Kumar: If target-complete we can do alias matching. 19:11:34 Pratul: Should the elements be part of the model? 19:14:42 MSM: What a priori knowledge are we allowed to have with regard to an SML implementation? 19:18:00 ...One answer: A referenced document is in the model. I infer that the document is in the documentl 19:19:29 ...Other answer: We begin with the documents in the model, then anything outside the model is not an SML reference. 19:20:42 A model is a set of documents 19:21:05 How this set is specified is implementation dependent 19:21:43 Sandy: We don't need to be clear, both should be allowed. You need a definition of your model before you start. 19:22:05 So an implementation can take the transitive closure of the inter-doc references and use it to define the model 19:22:16 MSM: His point is to say one way or the other, or that it is implementation defined. 19:23:17 Sandy: Not an implementation choice. We should say: we don't care how you define your model. You just need a definition to start. 19:23:48 MSM: This is a matter of how processor behaves. 19:25:19 Not sure how "we don't care" differs from "implementation defined" 19:25:20 Pratul: This is clear in SML-IF. 19:25:58 Kumar: Have we achieved the goal of having an href scheme? 19:26:27 What I meant is that the defn of model is very clear in SML IF, which is needed to ensure interop 19:26:55 There is no problem if two implementations allow users to specify models in different ways 19:27:24 E.g., one may require explicit enumeration of documents 19:27:44 another could compute transitive closure starting from a set of docs 19:28:17 MSM: We should walk the example on more time. We must be able to provide a persuasive description of how an href scheme on elements? It seems that we are close. We need to see how this works in IF. 19:29:31 MSM: Dynamic adding of document is legal in SML, but not SML-IF. 19:30:59 Breaking for lunch 12:30. 19:31:11 rrsagent, generate minutes 19:31:11 I have made the request to generate http://www.w3.org/2008/04/01-sml-minutes.html Kirk 19:31:20 -Sandy 19:31:22 -Julia 19:31:26 -Jordan 19:32:30 -pdatta 19:32:31 XML_SMLWG(F2F)10:00AM has ended 19:32:32 Attendees were Julia, pdatta, Jordan, Sandy 19:40:42 Zakim has left #sml 19:51:53 Kirk has joined #sml 19:54:20 zeckert has joined #sml 19:54:21 Kirk has joined #sml 19:54:45 rssagent, generate minutes 19:55:05 rrsagent, generate minutes 19:55:05 I have made the request to generate http://www.w3.org/2008/04/01-sml-minutes.html Kirk 19:58:49 scribe:zeckert 19:59:05 Zakim has joined #sml 19:59:13 scribenick: Zulah 19:59:38 meeting: SML F2F Day 2 20:15:54 XML_SMLWG(F2F)10:00AM has now started 20:16:01 +Julia 20:20:05 +pdatta 20:22:40 ginny has joined #sml 20:23:56 +Sandy 20:23:59 chair: johnarwe 20:27:26 Topic: http://www.w3.org/Bugs/Public/show_bug.cgi?id=5562 Cont. 20:30:51 SML should define an XHTML href Reference Scheme 20:32:46 [zulah's iphone quacks] 20:35:22 discussion of scope - how much sml needs to solve to be "interesting" or "useful" 20:35:58 question 1 remaining: pre-lunch ex of html:a as an sml ref scheme, and how that plays in smlif 20:37:34 question 2 remaining: html:img and see if "better than nothing" ref scheme can cover/how well it covers images 20:37:55 topic: continuation of xhtml:a discussion - better than nothing ref scheme 20:38:24 single document with html:a elements containing hrefs 20:38:45 20:38:58 20:39:09 20:40:38 what needs to be done in order to exchange this document/model; it has a base uri 20:42:28 each of the 's above also has sml:ref=true 20:43:09 i.e. they are sml refs 20:45:44 if we _assume_ that we have 4 entities in the model (one for the document == base + 3 ) + 1 for each of the 3 refs, then what shows up when this is serialized to smlif 20:52:03 so in the smlif instance, 4 inst docs show up: "the doc == b + 3 ", 1 w/ alias of my.jpg, 1 w/ alias of foo.tiff, ... what for my.html? 20:54:13 choice - 1 if my.html is xhtml, serve it as xml. 2 if my.html not legal xml, but we want to in-line it so we make an xml surrogate (run it through tidy, producing xhtml). 3 not xml, don't care about int structure, so treat analogously to image files ( ). 20:56:36 ginny notes that an smlif consumer receiving a pkg containing these surrogates for images will never go out to the network to find the images (it has slightly different info). 20:59:25 MSM: in such a consumer, the resolution rule stating "recognize the ref scheme and substitute the surrogate documents for images in here" never fires. for an sml (vs smlif processor), the rule would fire. 20:59:34 [zulah returns] 21:16:00 MSM: two ways to view this (1) sml ref gets resolved but it is not in the model => sml ref is bogus, (2) is this a resolved sml reference, no because it did not resolve to something in the model therefore it is not an sml ref. 21:16:02 johnarwe: definition of sml ref is that it is in the model 21:16:03 MSM: I can assume that it is an unresolved sml ref. Is this valid? 21:16:05 kumar: thinks that we can meet both conditions - foo.tiff is in the model and this is an sml ref. The target of the sml ref is the surrogate document, not the element. 21:16:06 MSM: Means neither foo.tiff or a surrogate - nothing that foo.tiff resolves to 21:16:08 MSM: moving to a non-surrogate example. Illustrates point with SML URI that "points" to foo.xml. The document foo.xml is not in the model. Which must be the case, and what are the other possibilities. There is an error in the model because it points to something outside the model, and we have two cases :(1) inconsistent, (2) unresolved. Which case is it? 21:16:10 johnarwe: must an error be raised? 21:16:12 kumar: if the target doesn't exist it is unresolved. 21:16:13 ginny: wants to know where spec says that a reference that is not in the model is required to be unresolved. 21:22:18 kumar: this is defined for the URI scheme. Its in Section 4.3.1 bullet 2.b. 21:22:19 ginny: spec is unclear on this. 21:22:21 MSM: unless something makes explicit that you can only dereference things that are in the model. It is not clear from the test that you are required to behave in this way. 21:22:22 kumar: but a model is a set of interrelated models. This is stated in the spec, it does not have to be restated. 21:22:24 Sandy: thinks that it is true that the spec is not that clear. Section 4.1.1-4.1.3.. Resolved means that you have established a link. Otherwise, the link is not resolved according to section 4.1.3. 21:23:33 Sandy: (1) not bogus, just not resolved, (2) spec is unclear but is not resolved 21:23:35 Sandy: clarify resolved and ... 21:30:55 MSM: doesn't think that the conclusions follow from the spec as currently written. If we want this then (1) change definition of sml ref in terminology section to account more clearly for unresolved references and (2) rather than hack the definition of resolution, suggests changing item 2 in the list of 4.1.3 to reflect that something has to resolve to something in the model. Not sure how to... 21:30:56 ...get a clearer definition of resolved. If something is outside of the model, then for our purposes it is an unresolved ref. 21:30:58 MSM: to tell a consistent story, you have to agree that sml refs resolve to something and they are in the model or that it resolves to something that is not in the model and is therefore unresolved, or it does not resolve to soemthing that is in the model. 21:30:59 kumar: two changes then, resolves means to something in the model and we need to clarify what it means to be in the model. A priori fixed list, transitive closure. 21:31:01 MSM: if we don't define what it means to be in the model then we have to be prepared for implementations to do inconsistent things. 21:31:04 kumar: if we define these things, does it solve our problem. 21:32:25 SG and MSM agree (MSM thinks): (1) update definition of SML reference in 2.2 Terminology 21:33:54 (2) change description of unresolved SML references in 4.1.3. 21:34:24 MSM suggests just adding "to any element in the model" (assuming we are sticking with resolution only to elements) 21:35:09 Alternative (SG suggested this earlier): make clear that "resolve" means only pointing to things in the model. 21:36:22 Sandy: agrees that defining resolution may be difficult and thinks that we could avoid the word all together 21:37:58 MSM: concerned about using the term resolved consistently with the rest of the web community 21:39:16 Kirk, Kumar, various others: and we also need to make clear (as agreed this morning) that the method of determining what documents are in the model is implementation-defined (or implementation-dependent): you can have an a priori list, you can take the transitive closure of documents referred to by SML references starting from documents known to be in the model, or you can do anything in between. 21:42:51 s/others: /others: (3) / 21:45:53 ginny, opened a bug for (1), (2), and (3) above 21:47:08 -Sandy 21:49:27 Bug: http://www.w3.org/Bugs/Public/show_bug.cgi?id=5606 21:51:24 MSM: returning to the question that we were phrasing in terms of foo.tiff 21:51:25 MSM: from the sml point of view if the surrogate is not in the model then this is an unresolved ref 21:56:05 johnawre: so returning to question 1 remaining: pre-lunch ex of html:a as an sml ref scheme, and how that plays in smlif and question 2 remaining: html:img and see if "better than nothing" ref scheme can cover/how well it covers images 21:56:17 s/awre/arwe/ 21:57:16 http://www.w3.org/TR/html4/struct/links.html#h-12.3 21:58:22 MSM: If you wanted to convince someone that you could build an link checker thinks you would need href on the a, images, and the link element. 22:04:47 example: 22:04:48 22:04:50 22:08:37 MSM: if I dereference either of these and I don't get the type specified, its an error. 22:08:38 targetType='ger:mime.css' /> 22:12:27 ger:css 22:16:57 if @type='____' => ger:... 22:16:59 MSM: requires schema 1.1 22:17:40 MSM: the other way is with schema 1.1 assertions or Schematron assertions 22:25:48 apropos of link, you have the opportunity to check the expected value of the mime type against the received value. Because target type is statically determined this does not appear to be a viable solution, however assertions can do this. 22:28:31 22:30:16 johnarwe: suggests an xml wrapper with type as metadata 22:32:03 if link is pointing to an XML resource, then if we want the mime type checking to work, then we will have to use a wrapper. 22:33:23 kirk: does wrapper apply only to the links and not the tiff's and jpeg's? 22:33:24 ginny: you could do this, depends on your application's choices. 22:33:26 johnarwe: only going to push this far enough to solve each problem individually 22:34:10 http://www.w3.org/TR/html4/struct/objects.html#h-13.2 22:53:10 longdesc=' ' 22:53:13 ... /> 22:53:14 ,img src=' ' /> 22:53:24 s/,img/ Kirk has joined #sml 23:00:44 Kirk has joined #sml 23:04:27 kumar: Suggests that preprocessing is a solutiojn. Run the SML processor on something that is HTML like. 23:07:15 s/tiojn/tion/ 23:08:15 MSM: in cases where we do not know what to do where a multiple links, thinks that bifocal validation works (img) and then so should tri-focal (Object). 23:11:43 next up, XLink 23:14:09 http://www.w3.org/TR/2001/REC-xlink-20010627/#link-locators 23:17:57 The XLInk spec says if type="none" then 23:18:02 When the value of the type attribute is "none", the element has no XLink-specified meaning, and any XLink-related content or attributes have no XLink-specified relationship to the element. 23:24:11 kumar: in dealing with a previous bug, we already said that we don't want all XLinks to be smlrefs. 23:24:12 MSM: yes, there will be hyperlinks in the doc that are not sml refs 23:27:09 on to extended links 23:27:11 kumar: on extended links, we do not have a construct that corresponds the the extended links 23:27:12 kumar: extended links do not have to reside in the documents that they link. In SML, both source and dest are in the model. 23:27:14 MSM: if I am using extended links then the set of documents that are validated include documents where link ends are located and where the existence of links is asserted. 23:32:26 pratul: it seems that we have a better story for XLink (than XHTML), would it be sufficeint to resolve bug and leave XHTML for future work? 23:32:27 MSM: thinks that it might be a good idea to publish a note on XLink at some point 23:32:29 MSM: we have established that for XLink, defining a reference scheme is straight forward. For XHTML it is much harder. Our problems with handling XHTML are similar to those that XLink had with XHTML. 23:32:32 zakim, who's here? 23:32:32 On the phone I see Julia, pdatta 23:32:33 On IRC I see Kirk, ginny, Zakim, zeckert, Kumar, Julia, pratul, MSM, RRSAgent, johnarwe, trackbot-ng 23:32:55 -Julia 23:35:35 +Julia 23:46:21 pratul: can we agree on the bug? 23:46:23 MSM: would like to look at a the list of issues that we have raised prior to closing the bug. The group found that in working through the XHTML reference scheme, often the solution was crossing the boundary to putting too much on the resolver. Close to agreement. 23:46:25 pratul: for http://www.w3.org/Bugs/Public/show_bug.cgi?id=5562, would you prefer to write this up or review? 23:46:26 pratul: everyone can review the minutes, and then we will revisit this tomorrow afternoon. 23:48:55 rrsagent, generate minutes 23:48:55 I have made the request to generate http://www.w3.org/2008/04/01-sml-minutes.html zeckert 23:53:07 rrsagent, make log public 23:54:44 -Julia 23:54:46 -pdatta 23:54:46 XML_SMLWG(F2F)10:00AM has ended 23:54:47 Attendees were Julia, pdatta, Sandy 04:12:40 Zakim has left #sml