14:52:53 RRSAgent has joined #xproc 14:52:53 logging to http://www.w3.org/2008/05/08-xproc-irc 14:53:10 Meeting: XML Processing Model WG 14:53:10 Date: 8 May 2008 14:53:10 Agenda: http://www.w3.org/XML/XProc/2008/05/08-agenda 14:53:10 Meeting: 111 14:53:10 Chair: Norm 14:53:11 Scribe: Norm 14:53:13 ScribeNick: Norm 14:59:44 XML_PMWG()11:00AM has now started 14:59:51 +Norm 15:00:29 MoZ, you asked to be pinged at this time 15:00:41 Zakim, what is the code ? 15:00:41 the conference code is 97762 (tel:+1.617.761.6200 tel:+33.4.89.06.34.99 tel:+44.117.370.6152), MoZ 15:01:14 +MoZ 15:01:23 +[ArborText] 15:02:15 +alexmilowski 15:02:27 alexmilowski has joined #xproc 15:02:34 +??P36 15:02:41 Zakim, ?? is me 15:02:42 +ruilopes; got it 15:03:06 richard has joined #xproc 15:03:11 +Vojtech 15:03:20 Vojtech has joined #xproc 15:03:27 Zakim, who's on the phone? 15:03:27 On the phone I see Norm, MoZ, PGrosso, alexmilowski, ruilopes, Vojtech 15:03:38 +??P42 15:03:50 zakim, please call ht-781 15:03:50 ok, ht; the call is being made 15:03:52 +Ht 15:03:52 zakim, ? is me 15:03:54 +richard; got it 15:04:03 AndrewF has joined #xproc 15:04:13 Zakim, who's on the phone? 15:04:15 On the phone I see Norm, MoZ, PGrosso, alexmilowski, ruilopes, Vojtech, richard, Ht 15:04:26 Present: Norm, Mohamed, Paul, Alex, Rui, Vojtech, Richard, Henry, Andrew 15:04:39 Topic: Accept this agenda? 15:04:39 -> http://www.w3.org/XML/XProc/2008/05/08-agenda 15:05:04 Henry suggests setting an end date for new features, added under Any Other Business 15:05:27 +??P44 15:05:34 zakim, ? is Andrew 15:05:34 +Andrew; got it 15:05:58 Topic: Accept minutes from the previous meeting? 15:05:58 -> http://www.w3.org/XML/XProc/2008/05/01-minutes 15:06:07 Norm observes that he's made the changes proposed and checked in a new draft. 15:06:08 Accepted. 15:06:37 Mohamed: The example in the minutes is not XProc. 15:06:40 Norm: Heh. 15:07:11 Norm to amend the minutes with the corrected example. 15:07:25 Accepted. 15:07:48 Topic: Next meeting 15 May 2008 15:08:22 Norm gives likely regrets. Henry to chair. 15:08:46 Topic: What PSVI properties survive going through which steps? 15:09:10 Norm attempts to summarize. 15:10:46 Henry: I think we need to get some experience in this area, we need to not violate the principle of least surprise but at the same time not constrain things too far. 15:11:03 Alex: The XSLT/XQuery story is draconian: you lose if you copy. 15:11:05 -> http://www.w3.org/mid/f5b63tozyj5.fsf@hildegard.inf.ed.ac.uk 15:11:29 Henry: Processors are always able to say that they throw out everything. 15:12:03 Henry: But viewporting, by definition, doesn't change the validity properties of the portions that are viewported. We don't want to rule that out. 15:12:37 ...There's one way that's false, actually, because the IDREF constraints are checked at document level. 15:14:21 Henry: In the input to a viewport, all the properties are correct except possibly the properties on the root element itself. 15:15:21 Richard: The suggestion that implementations can delete but MUST ensure accuracy blows away interoperability, doesn't it? 15:15:34 Henry: Yes, but it's not clear that that's a criticism. We'll find out. 15:16:07 ...Even if all that you're guaranteed is that until you've gone through a step PSVI properties are there and you can put validate followed by XSLT2 and know you're going to win will be valuable. 15:16:55 Norm: The interoperability story is what worries me. There's at tradeoff between consistency and interesting implementation, I guess. 15:17:30 Alex: If I have a step that produces an infoset from whole cloth and it produces PSVI properties, it could assign those things any random value that you wanted and they could not be true. 15:17:32 ...Is that OK? 15:18:07 Henry: It seems to me that it is. I'd like to be able to write a step that takes a PSVI and fixes some of the errors in the Schema 1.0 PSVI by turning them into infoset properties. 15:18:44 Richard: If you take Alex and Henry's position together, this would cause the next step to immediately discard the incorrect properties. 15:19:19 ...So we really want to say that any properties that /were/ correct MUST still be correct. 15:19:22 Henry: Yes. 15:20:14 Henry: if you say you support the PSVI, that means that the pipes carry the PSVI. So if the output has PVSI properties, those properties are there on the input of the next step. 15:20:43 ...Mohamed's response takes it one step further. If a processor says that it supports the PSVI, and it supports XPath 2.0, then you hsould be able to use type-aware XPaths in any XPath that is evaluated against the input. 15:20:47 ...Maybe that's as far as we can go. 15:21:06 ...The identity step won't preserve PSVI properties, but maybe that won't matter in practice. 15:22:00 Henry: But what about viewport? 15:22:14 ...What about the builtin compound steps? 15:22:31 ...Does it follow from all of this that you wrap part of a pipeline in a group, you lose the PSVI? I sure hope not. 15:23:19 Henry: There's no conceptual difficulty in saying that for for-each, choose, and group, the properties should be copied. 15:23:35 ...Viewport is arguable, but I'd like to do it there too. And in try. 15:25:29 Norm: Yeah. Not preserving the PSVI coming out of a p:choose would make PSVI support pretty pointless. 15:25:45 Henry: So p:viewport is the one that seems arguable. 15:26:48 Norm: So viewport produces a weird mix of PSVI and not PSVI? 15:27:02 Henry: No. The first step in the viewport subpipeline sees the PSVI properties of its input. 15:27:10 ...The output is clean, no PSVI. 15:28:14 ...The next step up would be to say that if the last step in the viewport produces PSVI then the "islands" get PSVI proprties too. 15:28:53 Norm wonders if we can finish this on the call or if we should go back to email for a propsoal. 15:30:00 ACTION: Henry to draft a proposal for how PSVI support should be exposed across steps in the pipeline. 15:30:28 Topic: Support for other media types in p:unescape-markup 15:31:27 Vojtech: The first question about the content type seems ok, but then I had more questions about what should happen if the unescaping fails because the content is not WF XML or whether the XML decl should be present. 15:32:01 Norm: I think the step fails if the escaped markup isn't WF. 15:33:01 Vojtech: The way the unescape markup step works, if the root element has a default namespace, then the unescaped markup inherits it. 15:33:22 ...But what about if the markup has a default namespace declaration? 15:33:29 Norm: Yes, I think that should be clear. 15:34:09 Alex: There's nothing funky here like DOM where there are default namespaces and such. We just parse and take what the parser gives us. 15:35:25 ACTION: Alex to review unescape-markup and see if any clarification seems to be needed. 15:37:01 Alex: As far as text/xml goes, for text embedded in another document, some folks do use text/xml. 15:38:10 Norm: I don't there's any support for that. 15:38:39 Norm: I guess if there's an escaped XML declaration, you have to just throw it out. 15:39:57 Richard: The obvious thing you have to do is ignore the encoding declaration. 15:40:22 Alex: We take the sequence of characters, if there's an XML decl in there, the parser will see it and do whatever it does. You the receiver will get it and not have anywhere to put it. 15:40:56 Some discussion of the encoding issues. 15:42:31 Henry: I'm still struggling with what it means to ignore the XML decl. One way is to say ht, that's not that simple because of 15:42:51 MoZ, then " :) you win 15:44:27 ACTION: Richard to attempt to clarify the prose of the unescape-markup with respect to the XML Declaration, document types, XML version, etc. 15:45:23 Mohamed: I think that what troubles me about the XML declaration is that escape-markup needs to clarify the meaning of the omit-xml-declaration. 15:45:31 Alex: No, that's a standard serialization option. 15:45:40 Mohamed: But it's escaping, not serializing. 15:45:59 Richard: Even XSLT 1.0 has an omit-xml-declaration option. 15:46:24 ...I think 'unescape' would be better thought of as parse-from-text and escape as serialize-to-text. 15:47:33 More discussion of how serialization and escaping interact. 15:48:46 Vojtech: My question about the XML declaration was much simpler. I just wondered if it should be generated by default or not. It seems to me that the escape-markup step should probably not generate it by default. 15:49:03 Richard: Yes, the only useful thing you can put in it is standalone. 15:49:32 Alex: We don't say what the default for generating the declaration is, that's a problem. 15:50:55 ACTION: Alex to say what the default value for omit-xml-declaration is. 15:52:26 Topic: Should p:library allow p:pipeline? 15:53:22 Norm: Why don't we allow p:pipeline in p:library? 15:53:53 Alex: Now that they're equivalent, I don't see why not. 15:54:22 Proposal: Allow p:pipeline in library? 15:54:31 Accepted. 15:54:46 Topic: Deadline for new features? 15:55:02 Henry: I propose today. 15:55:23 Alex: The big question I have is, what else on our agenda has to be addressed? 15:55:57 Henry: What I meant is, if it's not on our agenda at COB CA time today, it has to be a bug or it's in v2. 15:56:10 Norm: Any objections? 15:56:55 Accepted. 15:57:15 Topic: Any other business? 15:57:19 None heard. 15:57:33 Adjourned. 15:57:37 -PGrosso 15:57:38 -Norm 15:57:38 -alexmilowski 15:57:38 -Andrew 15:57:39 -Ht 15:57:39 -Vojtech 15:57:40 -richard 15:57:42 -MoZ 15:57:44 -ruilopes 15:57:44 RRSAgent, set logs world-visible 15:57:46 XML_PMWG()11:00AM has ended 15:57:48 Attendees were Norm, MoZ, PGrosso, alexmilowski, ruilopes, Vojtech, Ht, richard, Andrew 15:57:48 RRSAgent, draft minutes 15:57:48 I have made the request to generate http://www.w3.org/2008/05/08-xproc-minutes.html Norm 15:57:53 PGrosso has left #xproc 15:59:27 ht has left #xproc 15:59:40 ht has joined #xproc 16:06:43 ht has joined #xproc 17:18:16 Zakim has left #xproc