14:47:38 RRSAgent has joined #rif 14:47:38 logging to http://www.w3.org/2009/05/26-rif-irc 14:47:44 zakim, this will be rif 14:47:44 ok, ChrisW; I see SW_RIF()11:00AM scheduled to start in 13 minutes 14:47:47 zakim, clear agenda 14:47:47 agenda cleared 14:47:56 Chair: Chris Welty 14:48:01 rrsagent, make minutes 14:48:01 I have made the request to generate http://www.w3.org/2009/05/26-rif-minutes.html ChrisW 14:48:18 Meeting: RIF Telecon 26-May-2009 14:48:32 Agenda: http://lists.w3.org/Archives/Public/public-rif-wg/2009May/0205.html 14:49:05 ChrisW has changed the topic to: RIF Last Call Day II Telecon, Agenda http://lists.w3.org/Archives/Public/public-rif-wg/2009May/0205.html 14:49:34 Regrets: PaulVincent 14:49:57 rrsagent, make logs public 14:50:50 agenda+ Admin 14:50:59 agenda+ Liason 14:51:10 agenda+ Action Review 14:51:17 s/Liason/Liaison/ 14:51:28 agenda+ PRD 14:51:32 agenda+ SWC 14:51:35 agenda+ FLD 14:51:44 agenda+ XML Schema task force 14:51:52 agenda+ WG Future and schedule 14:51:58 agenda+ rdf:text 14:52:01 agenda+ AOB 14:52:09 zakim, take up next item 14:52:09 agendum 1. "Admin" taken up [from ChrisW] 14:58:54 SW_RIF()11:00AM has now started 14:58:58 +Sandro 14:59:18 mdean has joined #rif 14:59:37 AdrianP has joined #rif 14:59:38 josb has joined #rif 14:59:48 csma has joined #rif 15:00:27 +Mike_Dean 15:00:52 +Hassan_Ait-Kaci 15:01:34 StellaMitchell has joined #rif 15:01:45 +[IBM] 15:01:54 Scribe: Mike Dean 15:02:00 scribenick: mdean 15:02:09 zakim, ibm is temporarily me 15:02:09 +ChrisW; got it 15:02:22 +??P15 15:02:23 +Stella_Mitchell 15:02:25 zakim, Mike_Dean is mdean 15:02:25 +mdean; got it 15:02:31 hak has joined #rif 15:02:48 zakim, ??P15 is cke 15:02:48 +cke; got it 15:02:48 Harold has joined #rif 15:02:53 zakim, who is on the phone? 15:02:53 On the phone I see Sandro, mdean, Hassan_Ait-Kaci, ChrisW, cke, Stella_Mitchell 15:03:19 cke has joined #RIF 15:03:32 zakim, Hassan_Ait-Kaci is hak 15:03:32 +hak; got it 15:03:43 zakim, mute hak 15:03:43 hak should now be muted 15:04:29 +[NRCC] 15:04:43 DaveReynolds has joined #rif 15:04:47 zakim, [NRCC] is me 15:04:49 +Harold; got it 15:05:02 +??P42 15:05:19 +[IPcaller] 15:05:26 +??P44 15:05:29 Zakim, [IPcaller] is me 15:05:29 +AdrianP; got it 15:06:02 zakim, who is on the phone? 15:06:02 On the phone I see Sandro, mdean, hak (muted), ChrisW, cke, Stella_Mitchell, Harold, DaveReynolds, AdrianP, josb 15:06:27 Christian is in IRC, but not on the phone 15:06:31 Apologies but I need to leave the call early (by about 40 min) 15:06:46 http://lists.w3.org/Archives/Public/public-rif-wg/2009May/att-0195/19-May-2009-rif-minutes.html 15:06:52 PROPOSED: accept last weeks minutes 15:07:12 RESOLVED: accept last weeks minutes 15:07:15 ChrisW: contain 3 last call resolutions 15:07:22 Gary_Hallmark has joined #rif 15:07:23 zakim, next item 15:07:23 agendum 2. "Liason" taken up [from ChrisW] 15:07:27 ChrisW: no agenda amendments 15:08:05 +Gary 15:08:08 Sandro: SPARQL working group response and discussion about rdf:text 15:08:23 ... need about 3 words change - mention SPARQL explicitly - all editorial 15:08:24 +csma 15:08:33 ... lots of people misunderstood spec 15:08:36 zakim, csma is me 15:08:36 +csma; got it 15:08:38 ... close to consensus 15:09:11 ... Axel proposed change from rdf:text to rdf:plainLiteral 15:09:21 zakim, mute me 15:09:21 csma.a should now be muted 15:09:27 I would be fine with the name change 15:09:31 ... don't expect any (other) substantiive changes 15:09:51 ChrisW: shouldn't require another last call by itself 15:10:26 Sandro: OWL 2 close to CR - one more document and internal approval - should be CR in a couple weeks 15:10:35 zakim, next item 15:10:35 agendum 3. "Action Review" taken up [from ChrisW] 15:10:53 MichaelKifer has joined #rif 15:11:26 close action-822 15:11:27 ACTION-822 Change subscript "l" in 6.1 to something else (not so confused with "1") and have Jos proof-read the change. closed 15:11:41 +MichaelKifer 15:11:55 zakim, who is on the phone? 15:11:55 On the phone I see Sandro, mdean, hak (muted), ChrisW, cke, Stella_Mitchell, Harold, DaveReynolds, AdrianP, josb, Gary, csma.a (muted), MichaelKifer 15:11:57 close action-821 15:11:57 ACTION-821 Review pending DTB actions (815-820) closed 15:12:46 782 and 784 are continued 15:12:56 zakim, Stella_Mitchell is really me 15:12:56 +StellaMitchell; got it 15:13:23 780 and 777 are continued 15:13:28 zakim, unmute me 15:13:28 csma.a should no longer be muted 15:13:34 -MichaelKifer 15:14:04 csma: hope for PRD last call today 15:14:38 ChrisW: Axel hasn't yet reviewed appendix 15:14:48 772 and 770 are continued 15:15:42 close action-770 15:15:42 ACTION-770 Review Core closed 15:17:07 765 is continued 15:17:10 708 continued (in progress) 15:17:20 continued until further notice ... (will get really serious on it when all the RIF XML vocabularies are stable - last call) 15:17:42 ChrisW: concludes open actions 15:18:00 AxelPolleres has joined #rif 15:18:12 ... pending review: test cases, DTB treatment of casting 15:18:15 zakim, mute me 15:18:15 csma.a should now be muted 15:18:31 close action-740 15:18:31 ACTION-740 Accomodate casting functions in a well defined manner closed 15:19:00 zakim, who is on the phone? 15:19:00 On the phone I see Sandro, mdean, hak (muted), ChrisW, cke, StellaMitchell, Harold, DaveReynolds, AdrianP, josb, Gary, csma.a (muted) 15:19:01 close action-815 15:19:01 ACTION-815 Mark rdf:text at risk in DTB closed 15:19:14 zakim, who is on the phone? 15:19:14 On the phone I see Sandro, mdean, hak (muted), ChrisW, cke, StellaMitchell, Harold, DaveReynolds, AdrianP, josb, Gary, csma.a (muted) 15:19:38 close action-816 15:19:38 ACTION-816 Rename "primitive" datatypes to datatypes closed 15:19:42 close action-815 15:19:42 ACTION-815 Mark rdf:text at risk in DTB closed 15:19:47 close action-818 15:19:47 ACTION-818 Make base directive iris absolute closed 15:19:55 zakim, next item 15:19:55 agendum 4. "PRD" taken up [from ChrisW] 15:20:04 ChrisW: concludes action review 15:20:17 zakim, unmute me 15:20:17 csma.a should no longer be muted 15:20:42 +AxelPolleres 15:20:48 ... reviewers for PRD: Harold and Shanghai (sp) 15:21:12 s/Shanghai/Changhai 15:21:15 sandro has joined #rif 15:21:35 csma: English proofreading 15:22:23 csma: Adrian addressed model theoretic concerns 15:22:27 Harold, do you know how to do wiki diffs? They are pretty readable these days... 15:22:29 (usually) 15:22:48 ... moved semantics of conditions to appendix 15:24:11 ... target audience more familiar with pattern-matching semantics 15:24:49 +MichaelKifer 15:25:21 Harold: (forward) references to appendix are OK 15:25:34 Christian, your change addresses my main concern. The others are more minor 15:26:20 PRD Editors, the Abstract is still a bit short. 15:26:25 Gary: would like pattern-matching and model theory to be equivalent, but requires talking about safety 15:26:55 s/safety/safeness/ 15:27:21 csma: only reference to safety in conformance and definition in core, which may be obscure to non-logician 15:27:54 s/safety/safeness 15:28:21 csma: perhaps remove pattern matching from title of section 15:28:51 Gary: don't require constraint solving 15:29:34 csma: current definitions are equivalent 15:29:55 ... this is an editorial change 15:30:01 Gary: wasn't obvious from my reading 15:30:19 csma: pattern matching title is misleading 15:31:00 csma: operational definition of safeness - working on it for a while 15:31:13 ... hesitant to make Last Call dependent on such an editorial change 15:32:21 csma: This is just an editorial change; it does not affect conformance. we're clear that constraint satisfaction is not needed in consumers. 15:32:48 +LeoraMorgenstern 15:33:32 Does PRD inherit the safeness from Core?? 15:33:33 csma: This will make understanding PRD easier for users, but does not change definition. We should work on this later, after Last Call. 15:33:56 chris: the change is: the move discussion of safeness to be earlier in document? 15:34:15 csma: Not exactly: to add an operational definition of safeness. Maybe move it -- I don't know. 15:34:43 we should try to build the PRD safety defintion upon the Core safety definition 15:35:10 chris: everyone agree that an operational definition of safeness is not required for last call? 15:35:19 harold: agreed 15:35:26 agreed 15:35:40 There is so far no mention of safeness in PRD. 15:35:59 mdean, don't let me as stop you from scribing -- I just want additional clarity on bits which I think are crucial to minute. 15:36:39 Changhai: there is, in the conformance section. 15:38:39 zakim, who is talking? 15:38:48 2 issues: 1. is the model theory and pattern matching really the same? or does pattern matching imply safeness? 2. assuming equivalent, we should make it more obvious that safeness is required and can be used to simplify implementation 15:38:50 ChrisW, listening for 10 seconds I heard sound from the following: csma.a (92%) 15:38:58 zakim, who is talking? 15:39:10 ChrisW, listening for 10 seconds I heard sound from the following: csma.a (75%) 15:40:23 actions: check that the two spec of the semantics of the condition are equivalent 15:41:55 action: chris to review PRD operational and model=theoretic conditions are = 15:41:55 Created ACTION-824 - Review PRD operational and model=theoretic conditions are = [on Christopher Welty - due 2009-06-02]. 15:41:57 ... clarify that safeness is required to guarantee that constraint solving is not required for RIF-PRD 15:43:34 action: csma to clarify in PRD that safeness is required to guarantee that constraint solving is not needed 15:43:34 Created ACTION-825 - Clarify in PRD that safeness is required to guarantee that constraint solving is not needed [on Christian de Sainte Marie - due 2009-06-02]. 15:43:40 csma: should satisfy Gary's comment 15:43:49 ... add, if possible, an operational definition of safety 15:44:10 action: csma add, if possible, an operational definition of safety 15:44:10 Created ACTION-826 - Add, if possible, an operational definition of safety [on Christian de Sainte Marie - due 2009-06-02]. 15:44:21 csma: definition would probably go in appendix 15:44:58 ChrisW: Last Call dependent on completion of actions 824 and 825 15:45:22 csma: also need to remove appendix 13 - currently incomplete 15:45:23 action: csma to fix or remove appendix 13 15:45:23 Created ACTION-827 - Fix or remove appendix 13 [on Christian de Sainte Marie - due 2009-06-02]. 15:45:48 action: gary review csma changes to PRD 15:45:48 Created ACTION-828 - Review csma changes to PRD [on Gary Hallmark - due 2009-06-02]. 15:46:27 csma: Last Call dependent on completion of 824, 825, 827, 828 15:47:23 PROPOSED: Publish PRD as Last Call, contingent on completion of actions 824, 825, 827, and 828 15:47:34 +1 15:47:36 +1 15:47:37 +1 15:47:39 +1 15:47:40 +1 15:47:40 +1 15:47:41 +1 15:47:45 +1 15:47:47 Axel: +1 (on phone) 15:47:51 apollere2 has joined #rif 15:47:53 +1 15:47:54 0 [since I could not review it] 15:47:56 +1 15:48:09 +1 15:48:13 +1 15:48:14 zakim, who is on the phone? 15:48:14 On the phone I see Sandro, mdean, hak (muted), ChrisW, cke, StellaMitchell, Harold, DaveReynolds, AdrianP, josb, Gary, csma.a, AxelPolleres, MichaelKifer, LeoraMorgenstern 15:49:07 Leora: +1 (on phone) 15:49:18 RESOLVED: Publish PRD as Last Call, contingent on completion of actions 824, 825, 827, and 828 15:49:24 zakim, next item 15:49:24 agendum 5. "SWC" taken up [from ChrisW] 15:49:36 zakim, mute me 15:49:36 csma.a should now be muted 15:49:46 ChrisW: 2 reviews, from Axel and Gary 15:50:44 ChrisW: PRD checklist includes - check syntactic list ... from core 15:50:44 ack csma.a 15:50:47 zakim, unmute me 15:50:47 csma.a was not muted, csma 15:51:07 s/.../restriction/ 15:51:45 Adrian: done for presentation syntax and XML 15:51:57 ChrisW: back to SWC 15:52:14 Axel: import for OWL, but OWL doesn't have import for RIF (e.g. DL Safe RIF Rules) 15:52:28 ... a couple editorial items 15:53:01 ... XML Schema namespace prefix terminology 15:53:18 ChrisW: not fixed? 15:53:27 Axel: no email from Jos 15:53:38 Jos: not yet incorporated 15:54:17 ChrisW: make concrete list and action, so vote can be contingent 15:54:18 zakim, mute me 15:54:18 csma.a should now be muted 15:55:34 Axel: multi-structures look different from BLD 15:56:04 Sorry I have to drop off. Vote +1 SWC for last call (subject to editorial changes from Axel). Vote 0 FLD for last call (no objection but prefer Chris's wording on Should/Must and haven't fully studied latest version). 15:57:20 -DaveReynolds 15:59:02 ChrisW: changed a couple months ago 15:59:38 MichaelKifer: lack of uniformity entailing formulas that are not documents 16:00:19 ... can now adorn any structure with any formula 16:00:45 s/can now/could/ 16:00:56 ... now more restrictive 16:01:17 ... role of each item in semantic structure is now clear 16:01:28 (Re lists in PRD: I just checked, and the abstract syntax includes the restriction) 16:01:52 ... also allows more uniformity in FLD 16:02:51 ChrisW: SWC still has old multi-structure definition 16:03:12 MichaelKifer: ... not needed there, kind of artificial 16:04:12 Axel: recursive imports needs to be clarified 16:05:04 Jos: addressed in section 5.2 16:05:25 s/addressed/recursive imports addressed/ 16:06:08 ChrisW: imports closure 16:06:53 action: josb to update SWC to new BLD definition of multi-structures 16:06:53 Created ACTION-829 - Update SWC to new BLD definition of multi-structures [on Jos de Bruijn - due 2009-06-02]. 16:10:01 action: to review jos' edits to SWC 16:10:01 Sorry, couldn't find user - to 16:10:06 action: axel to review jos' edits to SWC 16:10:07 Created ACTION-830 - Review jos' edits to SWC [on Axel Polleres - due 2009-06-02]. 16:10:32 Gary: all known issues have been taken care of 16:11:45 Jos: suggest publishing SWC without proofs 16:12:57 Sandro: haven't asked for publication date yet - probably June 2 or 4, but could probably push off to June 9 16:13:31 ChrisW: proofs are non-normative 16:14:04 Jos: might require small changes 16:14:06 bug-fixed after Last Call are okay. 16:15:17 Sandro: worth waiting for proofs? 16:15:55 ... but extra week would also help for rdf:text 16:16:32 Chris: get well soon 16:16:48 action: josb to finish the SWC proofs or remove them 16:16:48 Created ACTION-831 - Finish the SWC proofs or remove them [on Jos de Bruijn - due 2009-06-02]. 16:16:49 s/Chris/ChrisW/ 16:17:20 PROPOSED: publish SWC as Last Call, pending completion of actions 829, 831, and 830 16:17:37 +1 16:17:39 +1 16:17:41 +1 16:17:42 +1 16:17:43 +1 16:17:43 +1 16:17:43 +1 16:17:43 +1 16:17:44 +1 16:17:44 +1 16:17:45 +1 16:17:47 +1 16:17:50 Leora: +1 (on phone) 16:18:06 RESOLVED: publish SWC as Last Call, pending completion of actions 829, 831, and 830 16:18:17 zakim, next item 16:18:17 agendum 7. "XML Schema task force" taken up [from ChrisW] 16:18:30 zakim, list agenda 16:18:30 I see 4 items remaining on the agenda: 16:18:32 7. XML Schema task force [from ChrisW] 16:18:33 8. WG Future and schedule [from ChrisW] 16:18:34 9. rdf:text [from ChrisW] 16:18:34 10. AOB [from ChrisW] 16:18:40 zakim, take up item 6 16:18:40 agendum 6. "FLD" taken up [from ChrisW] 16:19:04 ChrisW: reviewed by Stella and Chris 16:19:17 StellaMitchell: all comments have been addressed 16:20:23 "All logic RIF dialects are required to be derived from RIF-FLD by specialization, as explained..." 16:20:43 "MUST" 16:22:07 +1 that non-conformance is not weel defined, if it is a MUST 16:22:09 "All RIF dialects SHOULD be derived from RIF-FLD by specialization, as explained..." 16:22:19 s/weel/well/ 16:23:14 q+ 16:23:34 ChrisW: SHOULD implies that you should say why if you can't do something 16:24:09 End of first paragraph: "Therefore, any logic dialect being developed to become a standard should either be a specialization of FLD or justify its extensions to (or, deviations from) FLD" 16:25:35 q? 16:25:39 Could be changed to: "Therefore, any dialect being developed to become a standard should either be a specialization of FLD or justify its extensions to (or, deviations from) FLD" 16:26:17 MichaelKifer: prefer MUST and keeping logic 16:26:41 ... but not a showstopper 16:26:42 ack csma 16:26:55 ack csma.a 16:27:02 zakim, csma.a is csma 16:27:02 +csma; got it 16:27:02 At later points "logic" could be kept. 16:27:47 csma: +1 for SHOULD, afraid of consequences of removing logic on PRD 16:28:06 ChrisW, let's just use SHOULD and leave in "logic".... okay? 16:28:15 ChrisW: still went through process, but not documented - grandfathered in 16:28:39 PROPOSED.... ? 16:28:51 ChrisW, we don't have a lot of time!! 16:29:25 What about: "Therefore, the development of any dialect to become a standard should start as a specialization of FLD or justify its extensions to (or, deviations from) FLD" 16:29:32 csma: removing logic throughout would be very painful 16:29:46 action: to update wording in intro & abstract to use "SHOULD" 16:29:46 Sorry, couldn't find user - to 16:30:24 PROPOSED: go for another 10 mins? 16:30:24 -1 16:30:25 +1 extend 10+ minuntes 16:30:27 +1 16:30:30 +1 16:30:34 +1 16:30:41 +1 16:30:56 ChrisW: disjointness of variables and constants 16:31:01 -hak 16:31:53 MichaelKifer: special syntax for constants would make this a mess and require disambiguation rules, e.g. open formulas 16:31:54 action: mkifer to update wording in intro & abstract to use "SHOULD" 16:31:54 Created ACTION-832 - Update wording in intro & abstract to use "SHOULD" [on Michael Kifer - due 2009-06-02]. 16:32:26 ChrisW: don't require all dialects, but allow free variables in framework 16:32:38 s/all/in all/ 16:32:59 MichaelKifer: require would substantial revisions 16:33:27 ... need to think of what changes would require, but don't see much value 16:33:47 ChrisW: don't have particular use case, but note that it is allowed in Common Logic 16:34:20 MichaelKifer: if it's quantified, you know it's a variable 16:35:10 s/require would/would require/ 16:35:25 MichaelKifer: because it's an exchange language, you always apply some sort of transformation anyway. 16:35:28 Harold: some editorial edits 16:35:43 ... introduced extension points - now also in schema 16:36:03 MichaelKifer: haven't looked at Stella's message today 16:36:15 PROPOSED: Publish FLD as Last Call pending completion of action 832 16:36:17 StellaMitchell: clarification regarding XML serialization 16:36:33 +1 16:36:34 +1 16:36:38 +1 16:36:39 +1 16:36:40 +1 16:36:41 +1 16:36:44 +1 16:36:44 Leora: +1 (on phone) 16:36:49 +1 16:36:54 +1 16:37:01 +1 16:37:19 +1 16:37:30 RESOLVED: Publish FLD as Last Call pending completion of action 832 16:37:55 clap! clap! clap! 16:38:06 ChrisW: good work! 16:38:19 ... long road 16:38:35 zakim, take up item 7 16:38:35 agendum 7. "XML Schema task force" taken up [from ChrisW] 16:39:03 -josb 16:39:16 ChrisW: glossed over several issues in normative exchange syntax 16:39:56 ChrisW: task force will meet regularly during Last Call, finish modularization, etc. 16:39:59 How long will be task force be? 16:40:07 I will send an email tomorrow 16:40:10 ... csma will be leading the task force 16:40:16 zakim, take up item 8 16:40:16 agendum 8. "WG Future and schedule" taken up [from ChrisW] 16:40:31 have not received any invite for the task force? 16:40:41 ChrisW: expecting a telecon next week and the week after that 16:41:02 action: csma to send email about the XML schemas TF 16:41:02 Created ACTION-833 - Send email about the XML schemas TF [on Christian de Sainte Marie - due 2009-06-02]. 16:41:08 ... then reduce to at least once a month to respond to LC comments as needed 16:41:15 zakim, numute me 16:41:15 I don't understand 'numute me', csma 16:41:22 ... still reserve time slot but don't need every week 16:41:22 zakim, unmute me 16:41:22 csma was not muted, csma 16:41:41 zakim, take up item 9 16:41:41 agendum 9. "rdf:text" taken up [from ChrisW] 16:41:43 zakim, mute me 16:41:43 csma should now be muted 16:42:16 Sandro: any problems with replacing rdf:text with rdf:plainLiteral? 16:43:00 rdf:PlainLiteral (capital P) 16:43:03 ack csma 16:43:03 ChrisW: adjourned 16:43:07 -Gary 16:43:11 -LeoraMorgenstern 16:43:20 -StellaMitchell 16:43:21 zakim, list attendees 16:43:21 -Harold 16:43:23 As of this point the attendees have been Sandro, ChrisW, mdean, cke, hak, Harold, DaveReynolds, AdrianP, josb, Gary, csma, MichaelKifer, StellaMitchell, AxelPolleres, 16:43:25 ... LeoraMorgenstern 16:43:30 rrsagent, make minutes 16:43:30 I have made the request to generate http://www.w3.org/2009/05/26-rif-minutes.html ChrisW 16:43:41 -AdrianP 16:43:48 zakim, who is the phone? 16:43:48 I don't understand your question, csma. 16:43:54 -cke 16:43:55 -MichaelKifer 16:43:55 -mdean 16:43:58 zakim, who is on the phone? 16:43:58 On the phone I see Sandro, ChrisW, csma, AxelPolleres 16:44:14 -AxelPolleres 16:44:55 -ChrisW 16:44:56 -Sandro 16:44:56 -csma 16:44:58 SW_RIF()11:00AM has ended 16:44:59 Attendees were Sandro, ChrisW, mdean, cke, hak, Harold, DaveReynolds, AdrianP, josb, Gary, csma, MichaelKifer, StellaMitchell, AxelPolleres, LeoraMorgenstern 16:45:54 MichaelKifer has left #rif 16:53:22 Is it possible to have it one hour later 6 pm CEST? 16:57:21 MoZ has joined #rif 17:02:23 csma has left #rif 17:33:36 Zakim, room for 2? 17:33:37 ok, sandro; conference Team_(rif)17:33Z scheduled with code 7431 (RIF1) for 60 minutes until 1833Z 18:34:45 sandro has joined #rif