15:04:25 RRSAgent has joined #rif 15:04:25 logging to http://www.w3.org/2007/03/27-rif-irc 15:04:40 josb has joined #rif 15:04:41 Attendees: Sandro, Francois, Deborah, Harold, MikeDean, Igor, Hassan, Alex, DavidHirtle, DaveReynolds, ChrisW 15:04:46 Allen has joined #rif 15:05:02 +JosDB 15:05:08 scribenick: MikeDean 15:05:08 Scribe: Mike Dean 15:05:15 RRSAgent, make minutes 15:05:15 I have made the request to generate http://www.w3.org/2007/03/27-rif-minutes.html sandro 15:05:22 RRSAgent, make record public 15:06:38 has someone imported the agenda? 15:06:40 (number of callers - 13) 15:06:40 http://lists.w3.org/Archives/Public/public-rif-wg/2007Mar/att-0066/20-rif-minutes.html 15:06:47 zakim, clear agenda 15:06:47 agenda cleared 15:07:12 Present: Sandro, Francois, Deborah, Harold, MikeDean, Igor, Hassan, Alex, DavidHirtle, DaveReynolds, ChrisW, JosDB 15:07:13 agenda+ Admin 15:07:13 agenda+ Liason 15:07:13 agenda+ F2F 15:07:13 agenda+ CORE 15:07:13 agenda+ UCR 15:07:14 agenda+ RIFRAF 15:07:16 agenda+ AOB 15:07:22 RRSAgent, make minutes 15:07:22 I have made the request to generate http://www.w3.org/2007/03/27-rif-minutes.html sandro 15:07:24 zakim, next item 15:07:24 agendum 1. "Admin" taken up [from ChrisW] 15:07:33 Meeting: RIF Telecon 15:07:49 RESOLVED: minutes accepted 15:07:57 Allen, are you on the call? 15:08:08 no agenda amendments 15:08:12 yes 15:08:15 +Allen 15:08:22 regular telecon next week - Zakim should be back 15:08:25 all telecon slots accounted for. 15:08:30 zakim, next item 15:08:30 agendum 2. "Liason" taken up [from ChrisW] 15:08:34 (ie attendee list is accurate) 15:08:54 Chair: ChrisW 15:09:00 AxelPolleres has joined #rif 15:09:12 June 2 and 3 15:09:45 F2F6 in Innsbruck June 2-3 15:09:54 meeting will be at university 15:10:13 Jos: will need count a couple weeks before 15:10:41 GaryHallmark has joined #rif 15:10:52 action 267 complete 15:11:09 I have made the request to generate http://www.w3.org/2007/03/27-rif-minutes.html sandro 15:11:15 zakim, next item 15:11:15 agendum 3. "F2F" taken up [from ChrisW] 15:11:50 AxelPolleres has left #rif 15:11:56 email from Paul on PRR - spec delayed 15:12:09 no other liaison news 15:12:12 zakim, next item 15:12:12 agendum 3 was just opened, ChrisW 15:12:18 agenda items 2 and 3 reversed 15:12:33 scribenick: mdean 15:12:38 I have made the request to generate http://www.w3.org/2007/03/27-rif-minutes.html sandro 15:12:42 GiorgosStoilos has joined #rif 15:12:43 action review 15:13:06 action 266 complete by Deborah 15:13:30 action 269 completed 15:13:34 by harold 15:13:49 action 270 complete by harold 15:13:57 AxelPolleres has joined #rif 15:14:07 action 273 complete by mkifer 15:14:27 q+ 15:14:34 http://www.w3.org/2005/rules/wg/core/draft-20070323.html 15:14:41 Working Draft - frozen March 23 version 15:14:52 q+ 15:15:01 AxelPolleres has changed the topic to: ZAKIM IS DOWN. USE 1-712-580-1800 INSTEAD. Same conference code, 74394#. "6" mutes and unmutes. 15:15:31 josb: possible confusion over general framework vs. RIF Core dialect - not yet introduced 15:15:43 josb: suggest changing intro text 15:16:02 AxelPolleres has changed the topic to: ZAKIM IS DOWN. USE 1-712-580-1800 INSTEAD. Same conference code, 74394#. "6" mutes and unmutes. 15:16:10 sorry 15:16:22 It shouldn't 15:16:29 josb: doesn't present dialect itself 15:16:49 ChrisW: should RIF Core be a dialect? 15:17:10 ChrisW has joined #rif 15:17:21 mkifer: document presents more than RIF Core, but much less than a dialect 15:17:40 mkifer: may confuse some readers 15:18:05 ChrisW: how important is this? 15:18:33 josb: might lead to a lot of confusion 15:18:48 scribenick: mdean 15:18:54 Harold: represents first draft of dialect? 15:19:06 josb: no - doesn't say what dialect is 15:19:28 ChrisW: maybe OK for first draft - elicit this type of feedback 15:19:39 Why does it not represent the first draft of the RIF Core dialect? 15:19:45 mkifer: suggest jos send updated paragraphs 15:20:13 ChrisW: not for this Working Draft - too late 15:20:41 ChrisW: today approve for public release based on authors completing the actions agreed to at F2F5 15:20:56 ChrisW: WD release process isn't instantaneous 15:21:09 ChrisW: updated paragraphs available now? 15:21:21 josb: will send to list now 15:22:07 q? 15:22:10 ack josb 15:22:12 ChrisW: any other comments 15:22:14 ack Deborah_Nichols 15:22:40 q? 15:22:44 My phrasing suggestions: http://lists.w3.org/Archives/Public/public-rif-wg/2007Mar/0125.html 15:22:48 Deborah: semantics of multi-sorted RIF conditions, type is used where signature or word would be expected - confusing 15:23:01 Deborah: will send email 15:23:12 mkifer: small comments from Alex 15:23:35 s/sort/word 15:23:35 I received them as well Alex 15:23:52 Alex: just sent to Harold? 15:23:59 thanks for correction 15:24:28 mkifer: issue (exists) sent to list 15:24:52 Alex: issue should be addressed in future Working Draft 15:24:56 Alex sent: 15:24:57 In 2.1.3.1, about the text “only to function terms that belong”. I do not fully understand that. ?v can be bound not necessarily to function terms but also primitive constants. 15:25:11 In 2.1.3.3, I_F definition, it says I_F(d_1,…,d_k). This should read I_F(f)(d_1,…,d_k), otherwise I do not get it. 15:25:24 Also the introduction says that the focus of WD1 is the condition language (not rules?). Is that so? 15:25:56 q? 15:26:16 no other fixes/edits 15:26:23 http://lists.w3.org/Archives/Public/public-rif-wg/2007Mar/0125.html 15:26:55 sandro: current draft does not specify RIF Core? it just lays groundwork? 15:27:03 josb: yes 15:27:25 I second Jos's rewording -hak 15:27:49 taking a minute for everyone to read Jos's message 15:28:15 mkifer: never says that RIF Core is a rule language 15:28:28 it looks like the overview is a bit of touch really 15:28:38 ChrisW: does seem like an omission 15:28:47 +1 to what Michael says wrt RIF being a 'format' but not rule language 15:29:31 sandro: potentially contentious 15:29:36 The Overview does say "A dialect is a rule language ..." 15:29:58 ChrisW: abstract seems OK 15:30:36 discussion of Jos's message 15:30:48 As an interchange language, readers will expect as least on full worked out *exchange* between to real-life rule languages... (say, Edinburgh Prolog and Colmerauer's Prolog III) 15:30:52 Harold: which will be presented in next version? 15:31:05 I'm fine with that 15:31:05 s/on /one/ 15:31:19 Harold: perhaps will be developed in future Working Drafts instead 15:31:24 s/to /two/ 15:31:46 Harold: we do have a kind of draft of Core 15:31:59 Sandro: Jos's wording too dismissive of current draft 15:32:08 The current document is a first draft of the RIF framework, sufficient 15:32:08 for the specification of RIF Core, which will be presented in the next 15:32:08 version of this document. 15:32:13 ChrisW: keep document as is 15:32:35 ChrisW: architecture document should help clarify 15:32:56 ChrisW: don't see this as a killer - but would like feedback from community 15:33:11 ChrisW: accept typo fixes from Deborah and Alex 15:33:14 q? 15:33:50 ChrisW: straw poll on publishing current version as first Working Draft 15:34:23 ChrisW: any anticipated objections? 15:34:40 none 15:34:47 Agfa: not present 15:34:55 Betfair: yes 15:35:03 Corticon absent 15:35:06 sandro has joined #rif 15:35:09 DERI Galway absent 15:35:39 DERI Galway (Axel): yes 15:35:46 DERI Innsbruck: yes 15:36:16 Sandro recording - will send email later 15:36:45 ILOG votes YES for publication of the WD1 (hak representing) 15:37:49 JSI vote: yes 15:38:04 ircleuser has joined #rif 15:39:45 JBoss voted yes (communicated by Mark Proctor) 15:41:16 JBoss voted remotely, they can send an e-mail confirmation if required 15:41:19 RESOLVED: first Working Draft published 15:41:35 ChrisW: thanks to editors - real accomplishment 15:41:35 Passed 15 YES, 0 Abstain, 0 No. 15:41:40 :-) 15:42:25 ChrisW: finish meeting with action review - continue issue discussion next week 15:43:05 ChrisW: new issues: URIs in text (via email), overlapping domains 15:44:06 action 271 - discussion in email - misunderstanding - complete 15:44:18 action 266 complete 15:44:36 no other actions 15:44:40 zakim, next item 15:44:40 agendum 4. "CORE" taken up [from ChrisW] 15:44:48 zakim, close item 4 15:44:48 agendum 4, CORE, closed 15:44:49 I see 3 items remaining on the agenda; the next one is 15:44:50 5. UCR [from ChrisW] 15:44:51 zakim, next item 15:44:51 agendum 5. "UCR" taken up [from ChrisW] 15:45:03 action review 15:45:40 UCR waiting for review? 15:45:45 Allen: correct 15:46:04 sandro: image alt text email? 15:46:39 sandro: alt doesn't necessarily have to be complete 15:47:09 ACTION: Allen to add alt text for UCR 15:47:09 Created ACTION-274 - Add alt text for UCR [on Allen Ginsberg - due 2007-04-03]. 15:47:12 (not so much "complete" as "lengthy") 15:47:31 zakim, next item 15:47:31 agendum 6. "RIFRAF" taken up [from ChrisW] 15:48:08 RIFRAF actions to be discussed in 2 weeks 15:48:27 zakim, next item 15:48:27 agendum 6 was just opened, ChrisW 15:48:33 zakim, close item 6 15:48:33 agendum 6, RIFRAF, closed 15:48:34 I see 1 item remaining on the agenda: 15:48:35 7. AOB [from ChrisW] 15:48:36 zakim, next item 15:48:36 agendum 7. "AOB" taken up [from ChrisW] 15:49:02 adjourned 15:49:04 bye 15:49:06 Thank you the editors and all 15:49:35 rrsagent, make minutes 15:49:35 I have made the request to generate http://www.w3.org/2007/03/27-rif-minutes.html ChrisW 15:51:29 Regrets: PaulaLaviniaPatranjan PaulVincent PeterPatelSchneider MichaelSintek 15:51:36 rrsagent, make minutes 15:51:36 I have made the request to generate http://www.w3.org/2007/03/27-rif-minutes.html ChrisW