14:47:39 RRSAgent has joined #rif 14:47:39 logging to http://www.w3.org/2008/10/07-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:55 Meeting: RIF Telecon 7-Oct-08 14:48:01 Chair: Chris Welty 14:48:53 Agenda: http://lists.w3.org/Archives/Public/public-rif-wg/2008Oct/0013.html 14:49:06 ChrisW has changed the topic to: Oct 7 telecon agenda http://lists.w3.org/Archives/Public/public-rif-wg/2008Oct/0013.html 14:49:22 rrsagent, make minutes 14:49:22 I have made the request to generate http://www.w3.org/2008/10/07-rif-minutes.html ChrisW 14:49:36 agenda+ Admin 14:49:41 agenda+ Liason 14:49:56 agenda+ Public comments 14:50:02 agenda+ Action Review 14:50:09 agenda+ Publication plans 14:50:25 agenda+ OWL2-RL 14:50:30 agenda+ PRD 14:50:40 agenda+ Weak vs. strong safety 14:50:49 agenda+ Test cases 14:50:53 agenda+ Pick scribe 14:50:57 agenda+ AOB 14:51:03 rrsagent, make logs public 14:51:59 StuartTaylor has joined #rif 14:53:46 ChanghaiKe has joined #rif 14:55:38 SW_RIF()11:00AM has now started 14:55:40 +??P15 15:00:24 mdean has joined #rif 15:00:50 csma has joined #rif 15:00:51 +Mike_Dean 15:00:52 -Mike_Dean 15:00:53 +Mike_Dean 15:01:03 LeoraMorgenstern has joined #rif 15:01:38 +[NRCC] 15:01:46 +??P33 15:01:54 zakim, ??P33 is me 15:01:54 +csma; got it 15:02:15 zakim, mute me 15:02:15 csma should now be muted 15:02:18 Hassan has joined #rif 15:02:20 + +24356aaaa 15:02:20 + +0122427aabb 15:02:27 zakim, who is on the phone? 15:02:27 On the phone I see ??P15, Mike_Dean, [NRCC], csma (muted), +24356aaaa, +0122427aabb 15:02:37 zakim, unmute ùe 15:02:37 sorry, csma, I do not know which phone connection belongs to ùe 15:02:50 zakim, unmute me 15:02:50 csma should no longer be muted 15:03:09 zakim, NRCC is me 15:03:09 +Harold; got it 15:03:11 + +1.212.781.aacc 15:03:17 zakim, ??P15 is ChanghaiKE 15:03:19 +ChanghaiKE; got it 15:03:20 zakim, aacc is me 15:03:21 Gary_Hallmark has joined #rif 15:03:24 +LeoraMorgenstern; got it 15:03:37 zakim, ChanhaiKE is ChanghaiKe 15:03:45 -Hassan 15:03:49 sorry, csma, I do not recognize a party named 'ChanhaiKE' 15:03:55 josb has joined #rif 15:03:58 zakim, ChanhaiKE is ChanghaiKe 15:03:58 -Hassan 15:04:04 zakim, ChanhaiKE is ChanghaiKe 15:04:04 -Hassan 15:04:05 - +24356aaaa 15:04:07 sorry, csma, I do not recognize a party named 'ChanhaiKE' 15:04:07 Hassan has joined #rif 15:04:15 sorry, csma, I do not recognize a party named 'ChanhaiKE' 15:04:18 zakim, ChanghaiKE is ChanghaiKe 15:04:35 + +39.047.101.aadd 15:04:39 +ChanghaiKe; got it 15:04:43 + +1.503.533.aaee 15:04:47 +Hassan 15:04:51 +[IBM] 15:04:54 zakim, ibm is temporarily me 15:05:02 zakim, aaee is me 15:05:14 zakim, who is on the phone? 15:05:15 +ChrisW; got it 15:05:23 + +24356aaff 15:05:25 +Gary; got it 15:05:27 +Sandro 15:05:30 On the phone I see ChanghaiKe, Mike_Dean, Harold, csma, LeoraMorgenstern, josb, Gary, Hassan, ChrisW, +24356aaff, Sandro 15:05:32 zakim, who is on the phone? 15:05:40 On the phone I see ChanghaiKe, Mike_Dean, Harold, csma, LeoraMorgenstern, josb, Gary, Hassan, ChrisW, +24356aaff, Sandro 15:05:49 zakim, aaaf is me 15:05:49 sorry, StuartTaylor, I do not recognize a party named 'aaaf' 15:06:01 zakim, aaff is me 15:06:08 +StuartTaylor; got it 15:06:25 scribe: Changhai Ke 15:06:42 scribe: ChanghaiKe 15:06:45 scribenick: ChanghaiKe 15:06:57 zakim, next item 15:06:57 agendum 1. "Admin" taken up [from ChrisW] 15:07:01 We get started 15:07:27 Accept minutes from last week and week ago 15:07:29 http://lists.w3.org/Archives/Public/public-rif-wg/2008Sep/att-0206/2008-09-23-minutes-revised.html 15:07:35 zakim, mute me 15:07:35 csma should now be muted 15:07:51 PROPOSED: accept minutes of Sept 23 telecon 15:07:53 mdean has joined #rif 15:08:00 RESOLVED: accept minutes of Sept 23 telecon 15:08:09 http://lists.w3.org/Archives/Public/public-rif-wg/2008Oct/att-0003/20080930-rif-minutes.html 15:08:19 PROPOSED: accept minutes of Sept 30 telecon 15:08:29 RESOLVED: accept minutes of Sept 30 telecon 15:08:43 Any agenda amendment? 15:08:49 all right 15:08:52 zakim, next item 15:08:52 agendum 2. "Liason" taken up [from ChrisW] 15:09:22 zakim, next item 15:09:22 agendum 2 was just opened, ChrisW 15:09:31 zakim, close item 2 15:09:31 agendum 2, Liason, closed 15:09:32 I see 9 items remaining on the agenda; the next one is 15:09:33 3. Public comments [from ChrisW] 15:09:34 zakim, next item 15:09:34 agendum 3. "Public comments" taken up [from ChrisW] 15:10:16 In wiki, answers to public comments, in good shape 15:10:59 Comment priod closed, is there any comment or discussion? 15:11:06 zakim, next item 15:11:06 agendum 4. "Action Review" taken up [from ChrisW] 15:11:31 zakim, unmute me 15:11:31 csma should no longer be muted 15:14:21 For Gary, deadline will be 13/10 15:14:29 action: csma to put f2f12 on agenda next week 15:14:29 Created ACTION-613 - Put f2f12 on agenda next week [on Christian de Sainte Marie - due 2008-10-14]. 15:14:54 DaveReynolds has joined #rif 15:14:58 mkifer has joined #rif 15:15:08 + +44.145.441.aagg 15:15:35 zakim, who is on the phone? 15:15:35 On the phone I see ChanghaiKe, Mike_Dean, Harold, csma, LeoraMorgenstern, josb, Gary, Hassan (muted), ChrisW, StuartTaylor, Sandro, DaveReynolds 15:17:26 -LeoraMorgenstern 15:17:30 where can I find the list of actions currently under review? 15:17:47 http://www.w3.org/2005/rules/wg/track/actions/open 15:18:08 disconnected, but will reconnect in a minute 15:18:21 +Michael_Kifer 15:18:23 +LeoraMorgenstern 15:19:09 zakim, mute me 15:19:09 sorry, mkifer, I do not know which phone connection belongs to you 15:19:43 Action 588 status 15:19:43 Sorry, couldn't find user - 588 15:19:50 + +49.351.315.aahh 15:20:26 Actions: 583 & 580 15:20:29 Not here 15:21:09 583 and 580 are ongoing discussions 15:22:09 zakim, Michael_Kifer is mkifer 15:22:10 +mkifer; got it 15:22:40 action 591 is continued... 15:22:40 Sorry, couldn't find user - 591 15:22:46 action: leora to start discussion on what test cases we need 15:22:46 Created ACTION-614 - Start discussion on what test cases we need [on Leora Morgenstern - due 2008-10-14]. 15:23:19 Action 576 is closed 15:23:19 Sorry, couldn't find user - 576 15:23:47 yes 15:24:07 Action 564: update due date to end oct 15:24:07 Sorry, couldn't find user - 564 15:24:49 ChanghaiKe, you don't need to be recording these action details -- Christian is using the web interface to do it. 15:25:01 (or at least he said he was.) 15:25:01 OK, thanks. 15:25:12 sorry I'm here 15:25:18 zakim, who is on the phone? 15:25:18 On the phone I see ChanghaiKe, Mike_Dean, Harold, csma, josb, Gary, Hassan (muted), ChrisW, StuartTaylor, Sandro, DaveReynolds, mkifer, LeoraMorgenstern, +49.351.315.aahh 15:25:19 phone doesn't seem to work 15:25:27 yes, I am doing it 15:25:31 yes, I'll talk to Jeff about the test cases 15:28:17 zakim, next item 15:28:17 agendum 5. "Publication plans" taken up [from ChrisW] 15:29:02 - +49.351.315.aahh 15:29:07 Plan for most of them. Have frozen version by 3rd week oct. working group reviews for weeks 15:29:18 -Hassan 15:29:41 -Mike_Dean 15:29:54 New draft BLD 15:29:59 +Hassan 15:30:05 q+ 15:30:31 Hassan, I think that you have my phone identifier 15:30:41 + +49.351.315.aaii 15:31:06 zakim, who is on the phone? 15:31:06 On the phone I see ChanghaiKe, Harold, csma, josb, Gary, ChrisW, StuartTaylor, Sandro, DaveReynolds, mkifer, LeoraMorgenstern, Hassan, +49.351.315.aaii 15:31:07 What about core? Are the issues actually blocking the publication? We can publish without solving all the issues. 15:32:09 BLD is too large for rule engines 15:32:53 Publish a working draft next month? 15:33:11 dave, harold: yes 15:34:28 we don't take Columbus day off 15:34:48 csma is +49 the country code, or something else? 15:35:09 @stuart: yes, it is 15:35:10 OK for me 15:35:15 IBM does not give off for Columbus Day 15:35:20 monday is fine w/ me 15:35:25 are core people avalable for next monday, 13/10? 15:35:37 Yes for Gary 15:35:50 and some others 15:36:02 zakim, aaii is AdrianPaschke 15:36:02 +AdrianPaschke; got it 15:36:19 ack csma 15:37:00 First week of Nov for next version of PRD 15:37:29 04/11. 15:37:51 Corrected: 07/11 15:38:08 This will be the second draft of PRD 15:39:07 Do we maintain weekly meeting the week of BRF end oct? 15:39:09 action: csma to decide if we will cancel Oct 28th telecon 15:39:09 Created ACTION-615 - Decide if we will cancel Oct 28th telecon [on Christian de Sainte Marie - due 2008-10-14]. 15:39:38 +Mike_Dean 15:39:40 Ok, action 615 is done: we do not have a telecon on Oct 28th 15:39:58 zakim, next item 15:39:58 agendum 6. "OWL2-RL" taken up [from ChrisW] 15:40:19 http://www.w3.org/2005/rules/wiki/OWLRL 15:40:26 http://lists.w3.org/Archives/Public/public-rif-wg/2008Sep/0138.html 15:41:21 pushed by oracle. Implementable in core quite easily 15:41:44 http://www.w3.org/2005/rules/wiki/OWLRL#Datatypes_supported 15:41:45 zakim, mute me 15:41:45 csma should now be muted 15:41:51 sorry, have to disconnect - we have a fire drill 15:42:00 -mkifer 15:42:15 We do not support some data types 15:42:45 DaveReynolds: I'm not sure about float & double. I don't remember where we are. They don't support double. 15:43:02 "datatypes which differs from that supported by RIF" looks like a DTB issue more than a Core issue. 15:43:18 DaveReynolds: They support many subtypes that we don't bother with. And they have "real" rather than double, and datetime, and the binary blob types. 15:43:26 q+ 15:44:03 StuartTaylor has joined #rif 15:45:32 q? 15:45:47 List of data types: any objection to add data types to DTB? 15:45:57 ack jos 15:46:07 rdfs:Literal 15:47:23 q+ 15:47:39 q+ 15:48:45 ack sandro 15:49:06 why we need these data types? 15:49:40 action: jos to draft comment to OWL WG on the datatypes we don't support 15:49:40 Sorry, amibiguous username (more than one match) - jos 15:49:40 Try using a different identifier, such as family name or username (eg. jdebruij2, jderoo) 15:50:07 action: josb to draft comment to OWL WG on the datatypes we don't support 15:50:07 Created ACTION-616 - Draft comment to OWL WG on the datatypes we don't support [on Jos de Bruijn - due 2008-10-14]. 15:50:13 +mkifer 15:51:50 q? 15:51:56 ack h 15:52:19 Our question to the OWL focus might focus owl:real, which seems most unusual for an ontology language. 15:52:39 s/OWL focus/OWL WG/ 15:53:09 http://www.w3.org/2005/rules/wiki/OWLRL#Datatype_rules_with_extended_builtins 15:57:22 zakim, unmute me 15:57:22 csma should no longer be muted 15:57:49 action: chris to open an issue on extending DTB with Dave's extended builtins (http://www.w3.org/2005/rules/wiki/OWLRL#Datatype_rules_with_extended_builtins) 15:57:49 Created ACTION-617 - Open an issue on extending DTB with Dave's extended builtins (http://www.w3.org/2005/rules/wiki/OWLRL#Datatype_rules_with_extended_builtins) [on Christopher Welty - due 2008-10-14]. 15:58:09 action chris to open issue on extended OWL2RL datatypes 15:58:09 Created ACTION-618 - Open issue on extended OWL2RL datatypes [on Christopher Welty - due 2008-10-14]. 15:59:16 zakim, next item 15:59:16 agendum 7. "PRD" taken up [from ChrisW] 15:59:47 Proposed resolutions for PRD 15:59:55 PROPOSED: Add "New" construct with Gary's proposed syntax (‘New’ (Var ‘#’)? Const) and semantics to represent the creation of new frame objects in then-part of PRD rules; not excluding extending it later with the use of constructors once we resolve how to call "methods". 16:00:46 q+ 16:01:01 ack csma 16:01:20 I think Dave had some concerns about some new-like thing maybe should be in CORE 16:01:42 proposed amendment. Propose not to resolve the exact syntax. 16:02:43 Gary's proposed syntax will be just for example, keep some room for syntax 16:03:46 PROPOSED: Add "New" construct with e.g Gary's proposed semantics to represent the creation of new frame objects in then-part of PRD rules; not excluding extending it later with the use of constructors once we resolve how to call "methods". 16:03:47 for "do", we do not exclude using it for other statements, what's the reason 16:03:57 PROPOSED: Add "New" construct with Gary's proposed semantics to represent the creation of new frame objects in then-part of PRD rules; not excluding extending it later with the use of constructors once we resolve how to call "methods". 16:04:31 RESOLVED: Add "New" construct with Gary's proposed semantics to represent the creation of new frame objects in then-part of PRD rules; not excluding extending it later with the use of constructors once we resolve how to call "methods". 16:04:41 PROPOSED: Add "Do" construct with Gary's proposed syntax (‘Do’ Var* ‘(‘ ACTION+ ‘)’) and semantics to represent the declaration of local variables for binding to New frames in the then-part of PRD rules ; not excluding that later resolutions might extend the use of local variables in the action part. 16:04:59 q+ 16:05:01 PROPOSED: Add "Do" construct with Gary's proposed semantics to represent the declaration of local variables for binding to New frames in the then-part of PRD rules ; not excluding that later resolutions might extend the use of local variables in the action part. 16:05:11 ack h 16:06:24 i prefer "Let" 16:06:31 Do has a "loop"y connotation to me 16:06:56 do(action*) 16:07:21 bind(var* pattern*) 16:07:31 do(bind action*) 16:07:48 Do ?var (action+) like Exists ?var (forumla) 16:09:09 Bind(var* And/seq(action+)) or Exists(var* And/seq(action+)) 16:09:28 It's not a formula, we cannot use exists 16:09:46 q+ 16:10:07 Instead do(bind action*) use bind(var* And/seq(action+)) 16:11:43 q- 16:11:51 PROPOSED: Add a construct with Gary's proposed semantics to represent the declaration of local variables for binding to New frames in the then-part of PRD rules ; not excluding that later resolutions might extend the use of local variables in the action part. 16:13:17 bind(var* do(action+)), except for names. 16:13:38 E.g. uppercase Bind and Do or a name better than Do. 16:17:28 Any objection to this? 16:17:43 OK 16:17:46 PROPOSED: Extend "Retract" construct with Gary's proposed syntax (‘Retract(‘ [Atom|Frame|TERM] ‘)’) and semantics to add represent the removal of a frame object in then-part of PRD rules, that is, to represent the removal of an object from the instances of its class as well as all the frames with that object in the object position. 16:17:59 RESOLVED: Add a construct with Gary's proposed semantics to represent the declaration of local variables for binding to New frames in the then-part of PRD rules ; not excluding that later resolutions might extend the use of local variables in the action part. 16:18:00 PROPOSED: Extend "Retract" construct with Gary's semantics to add represent the removal of a frame object in then-part of PRD rules, that is, to represent the removal of an object from the instances of its class as well as all the frames with that object in the object position. 16:18:10 I agree with this 16:18:33 PROPOSED: Extend "Retract" construct with Gary's semantics to represent the removal of a frame object in then-part of PRD rules, that is, to represent the removal of an object from the instances of its class as well as all the frames with that object in the object position. 16:19:37 RESOLVED: Extend "Retract" construct with Gary's semantics to represent the removal of a frame object in then-part of PRD rules, that is, to represent the removal of an object from the instances of its class as well as all the frames with that object in the object position. 16:19:43 zakim, list agenda 16:19:43 I see 5 items remaining on the agenda: 16:19:44 7. PRD [from ChrisW] 16:19:44 8. Weak vs. strong safety [from ChrisW] 16:19:45 9. Test cases [from ChrisW] 16:19:45 10. Pick scribe [from ChrisW] 16:19:46 11. AOB [from ChrisW] 16:19:52 -DaveReynolds 16:20:05 zakim, take up item 9 16:20:05 agendum 9. "Test cases" taken up [from ChrisW] 16:20:26 http://www.w3.org/2005/rules/wiki/Category:Test_Case 16:20:33 I mean that I suggested to use a different name for this version of retract, but I don't really care. 16:21:33 http://www.w3.org/2005/rules/wiki/Annotation_Entailment 16:22:37 I think, also, this was the first case that needed extra description 16:22:54 http://www.w3.org/2005/rules/wiki/Disjunctive_Information_from_Negative_Guards_2 16:23:01 but subsequently, cases that needed extra description were approved subject to extra description 16:27:38 zakim, mute me 16:27:38 csma should now be muted 16:28:24 PROPOSED: accept http://www.w3.org/2005/rules/wiki/Disjunctive_Information_from_Negative_Guards_2 16:28:42 RESOLVED: accept http://www.w3.org/2005/rules/wiki/Disjunctive_Information_from_Negative_Guards_2 16:29:23 Aentailment 16:30:04 -Harold 16:30:16 yeah, I'll give that a go 16:30:24 the phone still seems to be playing up sorry 16:30:27 scribe for next week: StuartTaylor 16:30:30 zakim, unmute me 16:30:30 csma should no longer be muted 16:30:38 -josb 16:30:40 -StuartTaylor 16:30:42 -AdrianPaschke 16:30:44 -LeoraMorgenstern 16:30:45 -Mike_Dean 16:30:47 -Gary 16:30:54 -Hassan 16:30:56 -mkifer 16:30:59 Regrets: Stella Mitchell PaulVincent AxelPolleres 16:31:01 zakim, who is on the ^hone? 16:31:01 I don't understand your question, csma. 16:31:03 zakim, list attendees 16:31:03 As of this point the attendees have been Mike_Dean, csma, +24356aaaa, +0122427aabb, Hassan, Harold, +1.212.781.aacc, LeoraMorgenstern, +39.047.101.aadd, ChanghaiKe, 16:31:07 ... +1.503.533.aaee, josb, ChrisW, +24356aaff, Gary, Sandro, StuartTaylor, +44.145.441.aagg, DaveReynolds, +49.351.315.aahh, mkifer, +49.351.315.aaii, AdrianPaschke 16:31:14 zakim, who is on the phone? 16:31:14 On the phone I see ChanghaiKe, csma, ChrisW, Sandro 16:31:17 rrsagent, make minutes 16:31:17 I have made the request to generate http://www.w3.org/2008/10/07-rif-minutes.html ChrisW 16:33:51 -ChanghaiKe 16:37:03 -ChrisW 16:37:04 -Sandro 16:37:05 -csma 16:37:06 SW_RIF()11:00AM has ended 16:37:10 Attendees were Mike_Dean, csma, +24356aaaa, +0122427aabb, Hassan, Harold, +1.212.781.aacc, LeoraMorgenstern, +39.047.101.aadd, ChanghaiKe, +1.503.533.aaee, josb, ChrisW, 16:37:13 ... +24356aaff, Gary, Sandro, StuartTaylor, +44.145.441.aagg, DaveReynolds, +49.351.315.aahh, mkifer, +49.351.315.aaii, AdrianPaschke 16:56:35 csma has left #rif 17:03:32 join rif-prd 18:45:21 sandro has joined #rif