14:47:16 RRSAgent has joined #rif 14:47:19 logging to http://www.w3.org/2009/06/09-rif-irc 14:49:31 sandro? 14:49:50 zakim, this will be rif 14:49:50 ok, ChrisW; I see SW_RIF()11:00AM scheduled to start in 11 minutes 14:49:56 Chair: Chris Welty 14:50:09 Meeting: RIF Telecon 9-Jun-09 14:50:13 Agenda: 14:50:25 Agenda: http://lists.w3.org/Archives/Public/public-rif-wg/2009Jun/0041.html 14:50:37 ChrisW has changed the topic to: 9 Jun RIF Telecon, Agenda http://lists.w3.org/Archives/Public/public-rif-wg/2009Jun/0041.html 14:50:55 rrsagent, make minutes 14:50:55 I have made the request to generate http://www.w3.org/2009/06/09-rif-minutes.html ChrisW 14:51:21 agenda+ Admin 14:51:26 agenda+ Liason 14:51:30 agenda+ Action Review 14:51:35 agenda+ LC Pubs 14:51:42 agenda+ rdf:text 14:51:48 agenda+ Test Cases! 14:51:52 agenda+ AOB 14:51:59 rrsagent, make logs public 14:55:12 csma has joined #rif 14:55:40 Regrets: MichaelKifer AdrianPaschke JosDeBruijn ChanghaiKe 14:56:18 list items 14:56:29 zakim, list agenda 14:56:29 I see 7 items remaining on the agenda: 14:56:31 1. Admin [from ChrisW] 14:56:31 2. Liason [from ChrisW] 14:56:32 3. Action Review [from ChrisW] 14:56:32 4. LC Pubs [from ChrisW] 14:56:33 5. rdf:text [from ChrisW] 14:56:33 6. Test Cases! [from ChrisW] 14:56:34 7. AOB [from ChrisW] 14:56:44 sorry, no tracker for now. 14:56:44 we're all set 14:56:50 ok 14:57:15 and not much of a www.w3.org. (it's under massive (probably accidental) assault at the moment.) 14:57:27 yes, very very slow 14:57:34 and you want to host ontologies..... 14:57:48 :-) 14:59:41 I gather we're getting > 5000 requests per second for /TR/xhtml1/DTD/xhtml1-strict.dtd from many different locations. Fun fun. 15:00:44 SW_RIF()11:00AM has now started 15:00:55 +Mike_Dean 15:01:13 mdean has joined #rif 15:01:20 +??P33 15:01:27 +[IBM] 15:01:29 zakim, ??P33 is me 15:01:29 +csma; got it 15:01:39 zakim, ibm is temporarily me 15:01:39 +ChrisW; got it 15:01:46 StellaMitchell has joined #rif 15:01:50 DaveReynolds has joined #rif 15:01:59 csma, I suggest you invest in a local copy. perhaps you can load it once, then take a pen and paper and write it down, for future reference? 15:02:24 +??P60 15:02:52 sandro, can you get to the actions list? 15:03:23 LeoraMorgenstern has joined #rif 15:03:33 +Stella_Mitchell 15:03:38 Scribe: DaveReynolds 15:03:40 trying, Chris 15:03:51 scribenick: DaveReynolds 15:03:51 I got it 15:03:54 i got it 15:04:04 +Leora_Morgenstern 15:04:47 +Sandro 15:05:28 +Hassan_Ait-Kaci 15:05:38 hak has joined #rif 15:06:16 -Hassan_Ait-Kaci 15:06:39 +Hassan_Ait-Kaci 15:06:40 http://lists.w3.org/Archives/Public/public-rif-wg/2009Jun/att-0036/2009-05-26-rif-minutes.html 15:06:53 PROPOSED: approve minutes of May 26 telecon 15:07:02 RESOLVED: approve minutes of May 26 telecon 15:07:04 zakim, Hassan_Ait8kaci is hak 15:07:04 sorry, csma, I do not recognize a party named 'Hassan_Ait8kaci' 15:07:10 http://lists.w3.org/Archives/Public/public-rif-wg/2009Jun/att-0027/rif-telecon-090602.html 15:07:18 zakim, Hassan_Ait_Kaci is hak 15:07:18 sorry, csma, I do not recognize a party named 'Hassan_Ait_Kaci' 15:07:23 RESOLVED: approve minutes of June 2 telecon 15:07:37 zakim, Hassan_Ait-Kaci is hak 15:07:37 +hak; got it 15:07:45 next item 15:07:57 zakim, take up item 2 15:07:57 agendum 2. "Liason" taken up [from ChrisW] 15:08:28 Harold has joined #rif 15:08:44 Sandro: OWL WG has PR meeting tomorrow 15:09:02 s/PR/CR/ 15:09:31 +[NRCC] 15:09:43 zakim, [NRCC] is me 15:09:43 +Harold; got it 15:09:45 csma: Paul sent email message regarding PRR meeting which will discuss RIF/PRR alignment 15:09:49 +klanz2 15:10:13 csma: suggestion for RIF to be concrete syntax for PRR 15:10:15 Zakim, klanz2 is probably me 15:10:15 +AxelPolleres?; got it 15:10:35 zakim, mute me 15:10:35 csma should now be muted 15:10:41 zakim, next item 15:10:41 agendum 1. "Admin" taken up [from ChrisW] 15:10:46 zakim, take up item 3 15:10:46 agendum 3. "Action Review" taken up [from ChrisW] 15:10:50 Gary_Hallmark has joined #rif 15:11:09 yes 15:11:31 +Gary 15:11:38 action-837 - started process of listing questions, action still open 15:11:39 833 continued :-( 15:12:03 trackbot has joined #rif 15:12:15 action-830 closed 15:12:43 action-829 completed (by Chris)# 15:13:16 action-828 pending-review 15:13:34 will do it right now 15:14:24 continued 15:14:29 and continued 15:15:03 action-777 closed (no long needed) 15:15:17 827 is complete 15:15:17 continued ... 15:16:08 Pending review reviews .. 15:16:14 action-836 closed 15:16:32 action-835 closed 15:16:45 action-834 closed 15:17:20 trackbot has joined #rif 15:17:33 action-823 - a few outstanding items? 15:17:55 Editorial question on abridged compact URIs? Axel believes it to have been done. 15:19:54 Reference to symbol spaces also done. 15:19:59 action-823 closed 15:20:05 action-819 closed 15:20:35 action-765 closed 15:20:58 zakim, unmute me 15:20:58 csma should no longer be muted 15:21:24 action-762 closed 15:21:41 zakim, list agenda 15:21:41 I see 6 items remaining on the agenda: 15:21:42 1. Admin [from ChrisW] 15:21:42 3. Action Review [from ChrisW] 15:21:43 4. LC Pubs [from ChrisW] 15:21:43 5. rdf:text [from ChrisW] 15:21:44 6. Test Cases! [from ChrisW] 15:21:44 7. AOB [from ChrisW] 15:21:50 zakim, take up item 4 15:21:50 agendum 4. "LC Pubs" taken up [from ChrisW] 15:22:13 zakim, mute me 15:22:13 csma should now be muted 15:22:21 Chris: Core is complete, all pending items in resolution have been completed and reviewed. 15:23:00 Chris: BLD is complete except for comment on slight inconsistency in treatment of empty groups. 15:23:02 ACTION-823 Review changes to BLD closed 15:23:02 ACTION-819 Add append to DTB closed 15:23:09 ACTION-765 Make the references be to XML schema 1.1 in all RIF documents closed 15:23:10 ACTION-762 Amends the XML schema for Core. closed 15:23:42 Chris: EBNF says groups can be empty, but not explicitly covered in math english and semantics 15:24:30 action: harold to update groups in BLD syntax and semantics by today 15:24:31 Created ACTION-838 - Update groups in BLD syntax and semantics by today [on Harold Boley - due 2009-06-16]. 15:24:31 action Harold: amend BLD treatment of empty groups to be consistent 15:24:32 Created ACTION-839 - Amend BLD treatment of empty groups to be consistent [on Harold Boley - due 2009-06-16]. 15:26:52 Harold: [discussion with Sandro on wiki formatting problems with the sublist, currently not valid html, Sandro will look at it] 15:27:34 Chris: SWC all actions closed except for "fix or remove proof" (action-831) 15:27:48 q+ 15:27:55 ack csma 15:28:10 They should be marked as not having been checked. 15:28:31 This makes it more understandable if a mistake is later found. 15:28:52 (Just a note saying that they have not yet been checked, but will be checked in the future.) 15:28:54 Dave not as scribe - agreed leave them there but marked. 15:28:56 +1 to leave the proofs. 15:29:17 zakim, mute me 15:29:17 csma should now be muted 15:29:19 csma: leave the proofs in there to allow people to check 15:29:25 In my experience, proofs that seem okay but have not been checked almost always are later found to have errors. 15:29:53 "This proof is at risk" ;-) 15:30:03 Harold, I think that is too strong. ;) 15:30:12 action: chrisw to check with Jos about publishing proofs anyway 15:30:12 Sorry, couldn't find user - chrisw 15:30:17 action: chris to check with Jos about publishing proofs anyway 15:30:18 Created ACTION-840 - Check with Jos about publishing proofs anyway [on Christopher Welty - due 2009-06-16]. 15:30:50 Chris: DTB, all done? 15:32:24 Sandro: current refers to wiki page for rdf:PlainLiteral which is on a separate wiki so xref needs to be changed to template. Sandro will fix. 15:33:27 Axel: have editor's note that PlainLiteral type is at risk, should we remove it? 15:33:38 Sandro, Chris: yes remove it. 15:35:23 zakim, unmute me 15:35:23 csma should no longer be muted 15:35:57 Chris: PRD. Issue on equivalence of two forms. 15:36:23 Chris: could leave both and see if anyone spots the difference. 15:36:47 zakim, mute me 15:36:47 csma should now be muted 15:37:06 q+ 15:37:13 ack csma 15:37:40 s/forms/forms of describing the condition semantics (operational, declarative)/ 15:37:46 Chris: second PRD issue, safeness 15:38:04 csma: would like version of Core definition which is more easily extensible to PRD 15:38:13 s/definition/safeness definition/ 15:38:43 AT RISK notes for rdf:PlainLiteral have been removed: http://www.w3.org/2005/rules/wiki/index.php?title=DTB&diff=10137&oldid=10092 15:38:49 http://www.w3.org/2005/rules/wiki/PRD_Safeness_Bottomup 15:38:51 ... in DTB 15:39:12 csma: attempted bottom up definition of safeness based on Core definition, intended to be equivalent to Jos' definition in Core then extension to PRD 15:39:14 ... remaining Editor's Notes, AFAIK were agreed to remain in the LC version. 15:40:06 csma: discussed with Jos, corrected some ambiguities, Jos would agree with using this form for definition in Core if it checks out 15:40:39 csma: Jos may be able to check the definition tomorrow 15:41:43 csma: if that's not possible, then fallback is to use Gary's definition 15:42:30 Chris: if change definition tomorrow there will be no time to check before publication 15:43:05 Csma: it is a short definition (< 1A4 page), same approach as core but starts from elements and compose instead of reverse 15:44:05 Gary: happy so long as the PRD definition can be seen as an extension of Core but not been able to review csma's proposal 15:45:00 Chris: suggest publish what we have now, if later change both Core and PRD definitions then regard it as just a bug fix since the new version is intended to be equivalent 15:45:40 csma: not happy with have the full dense definition of safeness in PRD for the point of the PRD audience, so have the bulk in Core is preferable. 15:46:04 Gary: so the proposal is the change the definition in Core to use csma's bottom up style? 15:46:08 cmsa: yes 15:46:20 http://www.w3.org/2005/rules/wiki/PRD_Safeness_Bottomup 15:47:01 Chris: would need people to review both Core and PRD versions by tomorrow 15:48:56 trackbot has joined #rif 15:50:42 action: Gary to review new safeness 15:50:54 Created ACTION-841 - Review new safeness [on Gary Hallmark - due 2009-06-16]. 15:51:24 action: daveR to provide some feedback on new safeness by tomorrow 15:51:24 Sorry, couldn't find user - daveR 15:51:32 action: dave to provide some feedback on new safeness by tomorrow 15:51:32 Created ACTION-842 - Provide some feedback on new safeness by tomorrow [on Dave Reynolds - due 2009-06-16]. 15:52:04 action: csma to remove current PRD safeness definition, and prepare to "plug in" new one 15:52:04 Created ACTION-843 - Remove current PRD safeness definition, and prepare to "plug in" new one [on Christian de Sainte Marie - due 2009-06-16]. 15:53:22 PLAN: use new safeness text in CORE and PRD if approved by all reviewers by tomorrow (6/10), otherwise go with Gary's text in PRD and leave CORE as is 15:55:00 zakim, mute me 15:55:00 csma should now be muted 15:55:14 zakim, list agenda 15:55:14 I see 6 items remaining on the agenda: 15:55:15 1. Admin [from ChrisW] 15:55:15 3. Action Review [from ChrisW] 15:55:16 4. LC Pubs [from ChrisW] 15:55:16 5. rdf:text [from ChrisW] 15:55:18 6. Test Cases! [from ChrisW] 15:55:20 7. AOB [from ChrisW] 15:55:22 zakim, take up item 5 15:55:22 agendum 5. "rdf:text" taken up [from ChrisW] 15:56:05 Chris: we approved subject to Axel's review and Axel was OK with it. 15:56:09 zakim, take up item 6 15:56:09 agendum 6. "Test Cases!" taken up [from ChrisW] 15:56:41 Sandro: aim to publish LC documents Thursday 15:57:49 Chris: outstanding action of improving description of chaining strategies test cases, should review those 15:57:52 http://www.w3.org/2005/rules/wiki/Chaining_strategy_numeric-add_1 15:58:42 http://www.w3.org/2005/rules/wiki/Chaining_strategy_numeric-add_2 15:59:15 http://www.w3.org/2005/rules/wiki/Chaining_strategy_numeric-subtract_1 15:59:58 Yes, it is in Core 16:00:14 -Mike_Dean 16:00:31 I've got another telecon 16:00:35 Gary: numeric-add-1 is safe and should be labelled as Core 16:01:51 numeric-substract-2 should be Core too 16:02:48 RE: Created ACTION-838 - Update groups in BLD syntax and semantics by today [on Harold Boley - due 2009-06-16]. DONE. 16:03:35 Chris: for numeric-subtract-1 the final "Note ..." part of the description seems like it is another test case. 16:03:47 http://www.w3.org/2005/rules/wiki/Chaining_strategy_numeric-subtract_2 16:04:00 ... is in Core 16:04:42 Chris so action-581 is closed 16:04:53 http://www.w3.org/2005/rules/wiki/Factorial_Forward_Chaining 16:05:12 -hak 16:06:23 action: stella go over test cases for core/bld/prd 16:06:23 Created ACTION-844 - Go over test cases for core/bld/prd [on Stella Mitchell - due 2009-06-16]. 16:06:32 Looks good to me. At least, it is safe 16:06:50 According to all the definitions of safe that I understand :-) 16:08:07 Chris: suggest extending definition to explain why this version is safe 16:08:43 PROPOSED: approve test case Factorial Forward Chaining 16:08:43 From RIF 16:08:43 Jump to: navigation, search 16:08:48 PROPOSED: approve test case Factorial Forward Chaining 16:09:00 +1 16:09:01 +1 16:09:15 zakim, unmute me 16:09:15 csma should no longer be muted 16:09:19 +1 16:09:19 +1 16:10:33 csma: the three factorial examples should cross link via SeeAlso 16:10:37 zakim, mute me 16:10:37 csma should now be muted 16:10:51 RESOLVED: approve test case Factorial Forward Chaining 16:11:02 http://www.w3.org/2005/rules/wiki/Factorial_Relational 16:11:33 http://www.w3.org/2005/rules/wiki/YoungParentDiscount_1 16:13:28 Axel: this is a test case for the guard predicates and uses old syntax 16:17:00 Chris: with this data the second rule will not fire, is it worth adding something to trigger that, e.g. someone with age as a string. 16:19:24 PROPOSED: approve http://www.w3.org/2005/rules/wiki/YoungParentDiscount_1 16:19:27 +1 16:19:33 +1 16:19:48 Should this be in Core? 16:20:07 no 16:20:26 Gary: no, can't have membership in conclusion 16:20:32 +1 16:20:33 1 16:20:34 +1 16:20:37 +1 16:20:38 I mean, +1 16:20:38 +1 16:20:44 RESOLVED: approve http://www.w3.org/2005/rules/wiki/YoungParentDiscount_1 16:22:18 NEXT TELECON: TWO WEEKS (JUNE 23) 16:22:22 Chris: move to new telecon schedule, so next in two weeks 16:22:41 zakim, who is on the phone? 16:22:41 On the phone I see csma (muted), ChrisW, DaveReynolds, Stella_Mitchell, Leora_Morgenstern, Sandro, Harold, AxelPolleres?, Gary 16:22:55 zakim, unmute me 16:22:55 csma should no longer be muted 16:23:02 Chris: want people to review outstanding test cases for next telecon 16:23:40 ACTION: csma to review All_Builtins, Assert, and AssertRetract 16:23:40 Created ACTION-845 - Review All_Builtins, Assert, and AssertRetract [on Christian de Sainte Marie - due 2009-06-16]. 16:23:51 zakim, mute me 16:23:51 csma should now be muted 16:24:08 http://www.w3.org/2005/rules/wiki/Category:Proposed 16:25:06 ACTION: DaveReynolds to review RDF_Constant_Equivalence and RDF Invalid constants test cases 16:25:06 Sorry, couldn't find user - DaveReynolds 16:25:15 ACTION: Dave to review RDF_Constant_Equivalence and RDF Invalid constants test cases 16:25:15 Created ACTION-846 - Review RDF_Constant_Equivalence and RDF Invalid constants test cases [on Dave Reynolds - due 2009-06-16]. 16:25:32 action: Harold to review Class Membership and Frames test cases 16:25:54 I still owe the all-builtins use case completion... there is an action alredy. 16:26:05 action: Stella to review RDF Combination subclass test cases 16:26:48 Leora to review NestedLists and NotAssertRetract test cases 16:26:52 Action: Leora to review NestedLists and NotAssertRetract test cases 16:27:09 Created ACTION-847 - Review Class Membership and Frames test cases [on Harold Boley - due 2009-06-16]. 16:27:09 Created ACTION-848 - Review RDF Combination subclass test cases [on Stella Mitchell - due 2009-06-16]. 16:27:09 Created ACTION-849 - Review NestedLists and NotAssertRetract test cases [on Leora Morgenstern - due 2009-06-16]. 16:28:05 action: Chris to review Element Equality, and List* test cases 16:28:30 Created ACTION-850 - Review Element Equality, and List* test cases [on Christopher Welty - due 2009-06-16]. 16:28:42 action: Sandro to review Malformed Lists, Modify, Modify loop, and Modify noloop test cases 16:28:42 Created ACTION-851 - Review Malformed Lists, Modify, Modify loop, and Modify noloop test cases [on Sandro Hawke - due 2009-06-16]. 16:29:21 action: Gary to review Multiple* test cases 16:29:24 Created ACTION-852 - Review Multiple* test cases [on Gary Hallmark - due 2009-06-16]. 16:29:32 zakim, who is on the phone? 16:29:32 On the phone I see csma (muted), ChrisW, DaveReynolds, Stella_Mitchell, Leora_Morgenstern, Sandro, Harold, AxelPolleres?, Gary 16:29:55 -Stella_Mitchell 16:30:01 -Harold 16:30:01 zakim, unmute me 16:30:02 -Leora_Morgenstern 16:30:02 csma should no longer be muted 16:30:02 -Gary 16:30:04 zakim, list attendees 16:30:04 As of this point the attendees have been Mike_Dean, csma, ChrisW, DaveReynolds, Stella_Mitchell, Leora_Morgenstern, Sandro, hak, Harold, AxelPolleres?, Gary 16:30:23 rrsagent, make minutes 16:30:23 I have made the request to generate http://www.w3.org/2009/06/09-rif-minutes.html ChrisW 16:31:01 -AxelPolleres? 16:31:10 AxelPolleres has left #rif 16:31:53 -DaveReynolds 16:36:06 -ChrisW 16:36:07 -Sandro 16:36:08 -csma 16:36:09 SW_RIF()11:00AM has ended 16:36:10 Attendees were Mike_Dean, csma, ChrisW, DaveReynolds, Stella_Mitchell, Leora_Morgenstern, Sandro, hak, Harold, AxelPolleres?, Gary 18:35:49 sandro has joined #rif 20:05:49 sandro has joined #rif