15:04:41 RRSAgent has joined #rif 15:04:41 logging to http://www.w3.org/2006/10/24-rif-irc 15:04:43 zakim, [LMU] is temporarily me 15:04:46 zakim, this is rif 15:04:55 zakin, aaaa is me 15:04:58 q? 15:05:00 sorry, agiurca, I do not recognize a party named '2032' 15:05:06 zakim, mute me 15:05:08 +StellaMitchell; got it 15:05:12 q- 15:05:16 ack ??P35 15:05:21 igor was already muted, igor 15:05:26 MalaMehrotra has joined #rif 15:05:27 MarkusK has joined #rif 15:05:33 +Axel_Polleres 15:05:35 sorry, agiurca, I do not see a party named 'agiurca' 15:05:43 ack ??P38 15:06:13 sorry, PaulaP, I do not recognize a party named '[LMU]' 15:06:15 +[IPcaller] 15:06:19 ChrisW, this was already SW_RIF()11:00AM 15:06:21 ok, ChrisW; that matches SW_RIF()11:00AM 15:06:34 +Mala_Mehrotra 15:06:38 Leora_Morgenstern should now be muted 15:06:49 AlexKozlenkov has joined #rif 15:07:07 GiorgosStoilos has joined #rif 15:07:24 -[IPcaller] 15:07:46 +[IPcaller] 15:07:52 zakim, ipcaller is me 15:07:56 +[IPcaller.a] 15:08:06 zakim, IPCaller.a is me 15:08:34 SaidTabet has joined #RIF 15:08:38 zakim, ??P38 is me 15:08:50 +??P59 15:08:58 zakim, who is on the phone 15:09:02 +johnhall; got it 15:09:04 +Sandro 15:09:06 +AlexKozlenkov; got it 15:09:07 zakim ??P35 is me. 15:09:08 + +1.412.242.aadd 15:09:14 zakim, mute me 15:09:16 zakim mute me. 15:09:17 zakim, mute me 15:09:20 +csma; got it 15:09:22 ack ??P38 15:09:23 zakim, who is on th ephone? 15:09:31 DaveReynolds has joined #rif 15:09:41 zakim, mute me 15:09:44 I don't understand 'who is on the phone', pfps 15:10:00 johnhall should now be muted 15:10:02 +??P67 15:10:09 AlexKozlenkov should now be muted 15:10:12 zakim, ??P67 is me 15:10:13 I don't understand your question, pfps. 15:10:17 +[IVML] 15:10:21 sorry, SaidTabet, I do not see a party named 'SaidTabet' 15:10:23 +??P69 15:10:25 +Dave_Reynolds (was ??P69) 15:10:37 -??P67 15:10:39 I already had ??P67 as ??P67, AlexKozlenkov 15:10:40 zakim, who is on the pohone? 15:10:47 zakim, who is on the phone? 15:10:49 zakim, mute me 15:10:49 zakim, [IVML] is me 15:10:51 +??P67 15:10:57 I don't understand your question, ChrisW. 15:10:58 so, you are ??P67 15:10:59 On the phone I see Deborah_Nichols (muted), ??P35, csma.a, csma, FrankMcCabe, DavidHirtle, igor (muted), +49.355.69.aaaa, Harold, Leora_Morgenstern (muted), PaulaP (muted), ChrisW, 15:11:02 sorry, SaidTabet, I do not see a party named 'SaidTabet' 15:11:04 ... ??P14, josb (muted), StellaMitchell (muted), +44.125.265.aacc, Mike_Dean, Axel_Polleres (muted), Mala_Mehrotra, johnhall (muted), AlexKozlenkov (muted), JeffP, Sandro, 15:11:07 ... +1.412.242.aadd, [IVML], Dave_Reynolds, ??P67 15:11:09 +GiorgosStoilos; got it 15:11:11 +[IPcaller] 15:11:13 -csma.a 15:11:14 ... to hassan. 15:11:17 -??P67 15:11:19 zakim, +[IVML] is me 15:11:21 sorry, GiorgosStoilos, I do not recognize a party named '+[IVML]' 15:11:27 zakim, ??P14 is probably me 15:11:27 +pfps?; got it 15:11:43 Francois, better hang up and call back: it seems you are me and I am myself.a... 15:11:53 zakim, who is on the phone 15:11:53 I don't understand 'who is on the phone', AlexKozlenkov 15:11:55 Hi, I am having the same problem as Hassan 15:11:57 GaryHallmark has joined #rif 15:12:08 moment 15:12:15 Hi, I've no idea who I am either! :) 15:12:22 zakim, who is on the phone? 15:12:22 On the phone I see Deborah_Nichols (muted), ??P35, csma (muted), FrankMcCabe, DavidHirtle, igor (muted), +49.355.69.aaaa, Harold, Leora_Morgenstern (muted), PaulaP (muted), ChrisW, 15:12:26 ... pfps?, josb, StellaMitchell (muted), +44.125.265.aacc, Mike_Dean, Axel_Polleres (muted), Mala_Mehrotra, johnhall (muted), AlexKozlenkov (muted), JeffP (muted), Sandro, 15:12:28 ... +1.412.242.aadd, GiorgosStoilos, Dave_Reynolds, MarkusK (muted) 15:12:29 +??P38 15:12:31 +Gary_Hallmark 15:12:38 +??P72 15:12:47 zakim, ??P72 is me 15:12:47 +SaidTabet; got it 15:12:52 zakim, mute me 15:12:52 SaidTabet should now be muted 15:13:07 zakim, ??P38 is me 15:13:07 +csma; got it 15:13:27 zakim, csma is francois 15:13:27 +francois; got it 15:13:31 zakim, what's the code? 15:13:31 the conference code is 74394 (tel:+1.617.761.6200), agiurca 15:13:32 zakim, who is on the call? 15:13:33 On the phone I see Deborah_Nichols (muted), ??P35, francois (muted), FrankMcCabe, DavidHirtle, igor (muted), +49.355.69.aaaa, Harold, Leora_Morgenstern (muted), PaulaP (muted), 15:13:37 ... ChrisW, pfps?, josb (muted), StellaMitchell (muted), +44.125.265.aacc, Mike_Dean, Axel_Polleres (muted), Mala_Mehrotra, johnhall (muted), AlexKozlenkov (muted), JeffP (muted), 15:13:39 ... Sandro, +1.412.242.aadd, GiorgosStoilos, Dave_Reynolds, MarkusK (muted), csma.a, Gary_Hallmark, SaidTabet (muted) 15:14:43 hassan, can you scribe? 15:14:52 Who is DrBob? 15:16:26 Zakim, aacc is BobMoore 15:16:26 +BobMoore; got it 15:16:44 zakim, who is on the call? 15:16:44 On the phone I see Deborah_Nichols (muted), ??P35, francois (muted), FrankMcCabe, DavidHirtle, igor (muted), +49.355.69.aaaa, Harold, Leora_Morgenstern (muted), PaulaP (muted), 15:16:48 ... ChrisW, pfps?, josb (muted), StellaMitchell (muted), BobMoore, Mike_Dean, Axel_Polleres (muted), Mala_Mehrotra, johnhall (muted), AlexKozlenkov (muted), JeffP (muted), Sandro, 15:16:52 ... JeffP.a, GiorgosStoilos, Dave_Reynolds, MarkusK (muted), csma.a, Gary_Hallmark, SaidTabet (muted) 15:17:11 zakim, ??35 is me. 15:17:11 sorry, Franois, I do not recognize a party named '??35' 15:17:21 zakim ??P35 is me. 15:17:41 I'm here! 15:18:01 On phone but who am I? 15:18:04 zakim mute me. 15:18:24 zakim, who is on the call? 15:18:24 On the phone I see Deborah_Nichols (muted), ??P35, francois (muted), FrankMcCabe, DavidHirtle, igor (muted), +49.355.69.aaaa, Harold, Leora_Morgenstern (muted), PaulaP (muted), 15:18:28 ... ChrisW, pfps?, josb (muted), StellaMitchell (muted), BobMoore, Mike_Dean, Axel_Polleres (muted), Mala_Mehrotra, johnhall (muted), AlexKozlenkov (muted), JeffP (muted), Sandro, 15:18:30 ... JeffP.a, GiorgosStoilos, Dave_Reynolds, MarkusK (muted), csma.a, Gary_Hallmark, SaidTabet (muted) 15:18:38 cgi-irc has joined #RIF 15:18:50 Sorry IRC kicked me out... 15:18:57 zakim, csma.a is me 15:18:58 +csma; got it 15:19:23 Chris - could scribe but if I can't talk it won't be good... 15:19:58 ack ??P67 15:20:02 ack JeffP 15:20:03 Scribe: Gary Hallmark 15:20:07 ack AlexKozlenkov 15:20:07 +Gerd_Wagner 15:20:09 Alex - you have my phone ID ... !!! 15:20:11 scribenick: GaryHallmark 15:20:31 I thought I were P35??? 15:20:45 I raised hands! 15:20:53 Izakim unmute me. 15:20:59 zakim unmute me. 15:20:59 Zakim, P35 is FrancoisB 15:20:59 sorry, sandro, I do not recognize a party named 'P35' 15:21:04 Zakim, ??P35 is FrancoisB 15:21:04 +FrancoisB; got it 15:21:21 zakim aaaa is GerdWagner 15:21:23 zakim, pfps? is pfps 15:21:23 +pfps; got it 15:21:25 zakim, aaaa is GerdWagner 15:21:25 +GerdWagner; got it 15:21:31 zakim, who is on the call? 15:21:31 On the phone I see Deborah_Nichols (muted), FrancoisB, francois (muted), FrankMcCabe, DavidHirtle, igor (muted), GerdWagner, Harold, Leora_Morgenstern (muted), PaulaP (muted), 15:21:34 ... ChrisW, pfps, josb (muted), StellaMitchell (muted), BobMoore, Mike_Dean, Axel_Polleres (muted), Mala_Mehrotra, johnhall (muted), AlexKozlenkov, JeffP, Sandro, JeffP.a, 15:21:36 zakim mute me. 15:21:37 ... GiorgosStoilos, Dave_Reynolds, MarkusK (muted), csma, Gary_Hallmark, SaidTabet (muted), Gerd_Wagner 15:22:21 Zakim, GerdWagner is G 15:22:21 +G; got it 15:22:22 cgi-irc has joined #RIF 15:22:38 csma, can you change "G" to who it's supposed to be? 15:22:41 zakim FancoisB is me. 15:22:51 zakim francois is me. 15:23:28 zakim, drop francois 15:23:28 francois is being disconnected 15:23:30 -francois 15:23:44 It's me 15:24:01 will have telecon next week 15:24:02 So, call back, Hassan. We miss you. :-) 15:24:15 +??P20 15:24:21 GerdWagner has joined #rif 15:24:40 -AlexKozlenkov 15:24:40 I will register 15:24:40 Peter, I will sign up. 15:24:42 Zakim, ??P20 is Hassan 15:24:42 +Hassan; got it 15:24:45 zakim, unmute me 15:24:45 sorry, AlexKozlenkov, I do not see a party named 'AlexKozlenkov' 15:24:48 But 1. I don't need to be fed ;-) 15:24:50 Peter, please add me 15:24:58 please sign up now for f2f4 15:25:00 and 2. I have to wait for management approval to sign up officially. 15:25:09 Peteer, please add me and respond to my e-mail 15:25:32 zakim, mute me 15:25:32 Gerd_Wagner should now be muted 15:25:41 Our assistants could not make the registration 15:25:48 +[IPcaller] 15:26:07 http://www.w3.org/2005/rules/wg/wiki/F2F4 15:26:22 zakim, [IPCaller] is me 15:26:22 +PaulVincent; got it 15:27:15 +1 for work focused meeting 15:27:24 *me wonders what the command is to advance the agenda 15:27:33 -Harold 15:28:43 zakim, take up next item 15:28:43 I see nothing on the agenda 15:28:52 chris: considering 2 parallel sessions for F2F4 15:28:53 Topic: F2F4 15:29:03 +[NRCC] 15:29:16 GaryHallmark, the agenda is not in Zakim today, so just used "Topic: whatever" by hand. 15:29:30 zakim, [NRCC] is me 15:29:30 +Harold; got it 15:31:04 chris: explains plans for F2F4 schedule 15:31:54 pfps has joined #rif 15:32:05 q? 15:32:21 ack ??P14 15:32:26 yes 15:32:27 I would be glad if we can come out of the RIFRAF meeting with a concrete plan what the document should roughly look like. 15:32:28 possibly ... 15:32:32 ack +44.125.265.aacc 15:32:36 ack ??P35 15:32:37 Yes, I would like to attend both 15:32:39 chris: UCR and Technical Design will be in parallel 15:32:39 ack pfps 15:32:42 q? 15:32:44 q+ 15:32:49 I would also like to attend both 15:32:50 (Though, as I said, I can only watch on Saturday) 15:32:55 ... and time schedule. 15:32:56 ack csma 15:34:18 chris: actions will be assigned to parallel groups but decisions will be made in plenary 15:34:51 zakim, mute me 15:34:51 csma should now be muted 15:36:18 SBVR - nothing new 15:36:26 PRR - nothing new AFAIK 15:36:33 Topic: Laison 15:36:47 continued 15:36:50 Topic: Action Review 15:37:13 ack csma 15:37:29 zakim, mute me 15:37:29 csma should now be muted 15:37:42 continued 15:38:56 ACTION-120 continued 15:39:06 ACTION-121 continued 15:39:13 ACTION-122 continued 15:39:43 ACTION-141 continued 15:40:06 ACTION-142 continued 15:40:38 ack csma 15:40:56 zakim, mute me 15:40:56 csma should now be muted 15:41:14 Micheale's mail: http://lists.w3.org/Archives/Public/public-rif-wg/2006Oct/0100 15:41:28 s/eale/ael/ 15:41:43 Topic: Technical Design 15:42:10 http://www.w3.org/2005/rules/wg/wiki/A.1.0_Nucleus%3A_Positive_Conditions 15:42:32 zakim, unmute me 15:42:32 Gerd_Wagner should no longer be muted 15:43:09 chris: try to write rules using latest version of core language 15:43:39 q+ 15:43:42 ... what is missing, what should be added? 15:43:57 q? 15:44:01 ack csma 15:44:06 q+ 15:44:39 christian: what were the poblems and issued encountered in your translation exercise? 15:44:47 zakim, mute me 15:44:47 csma should now be muted 15:45:43 gerd: object type v. data type is still an issue in core 15:46:29 msg GerdWagner Here we are! You were not there in the past. 15:46:38 chris: group decided not to have such a split -- is a split needed in core or can it be an extension 15:46:46 what are the criteria for the core? When is my feature a core feature? 15:47:32 q+ 15:47:37 zakim, unmute me 15:47:37 csma should no longer be muted 15:47:38 gerd: RDF and OWL make this distinction 15:47:57 RDF does not make this distinction 15:48:30 csma: such a split or not should be illustrated with some examples 15:49:44 chris: core should be simple but extensible 15:49:59 q? 15:50:10 ack gerd 15:50:12 ack gerd 15:50:12 ack harold 15:50:21 good 15:50:34 harold: explicit universal quantifiers have been added to core 15:50:39 q+ 15:51:02 zakim, mute me 15:51:02 csma should now be muted 15:51:36 both the phone and mrc 15:51:40 ack frank 15:52:19 ack csma 15:52:28 zakim, mute me 15:52:28 Gerd_Wagner should now be muted 15:52:36 zakim, mute me 15:52:36 csma should now be muted 15:52:43 Forall now around Horn rules: http://www.w3.org/2005/rules/wg/wiki/B.1_Horn_Rules 15:53:48 frank: if a feature requires an enormous extension, should it be in core? 15:53:56 Criticism of the current proposed core design can also come in the form of alternative proposals! 15:54:09 ack csma 15:54:15 q+ 15:54:21 chris: expect that most rule languages will require some extensions 15:54:36 q? 15:55:05 frank: some extensions may require core redesign, e.g. multiple theories, strong typing 15:55:32 chris: illustrate cases that require core redesign with examples 15:56:07 csma: another definition of core in phase 1: features that are not controversial 15:56:32 -GiorgosStoilos 15:56:39 ack csma 15:57:10 Sorry, I have to leave. My action on linking UC5 to requirements is continued. 15:57:12 http://www.w3.org/TR/rif-ucr/#Use_Cases 15:57:24 -johnhall 15:57:29 I will volunteer to do this for the Medical Decision Support use case, 15:57:37 since that's the one I'm familiar with 15:57:52 Paul Vincent 15:58:05 Topic: Volunteers to write rules for Use Cases 15:58:05 yes 15:58:13 Yes to what Chris said 15:58:28 Paul Vincent: +1 15:58:31 zakim, unmute me 15:58:31 Gerd_Wagner should no longer be muted 15:58:34 ACTION: to Leora to propose rule examples for medical use case 15:58:34 I can take use case 2 15:58:34 Sorry, couldn't find user - to 15:58:37 yes 15:58:42 Yes - volunteering 15:59:03 ACTION: Paul to propose rule examples for UC1 15:59:04 Created ACTION-152 - Propose rule examples for UC1 [on Paul Vincent - due 2006-10-31]. 15:59:20 ACTION: Paula to propose rule examples for UC2 15:59:20 Sorry, couldn't find user - Paula 15:59:23 We'll do several examples and try to link them to use cases 16:00:03 zakim, unmute me 16:00:03 csma should no longer be muted 16:00:31 ACTION: deborah to talk to Allen about doing rule examples on UC3 16:00:31 Created ACTION-153 - Talk to Allen about doing rule examples on UC3 [on Deborah Nichols - due 2006-10-31]. 16:01:08 chris: these actions must be completed before F2F4 16:01:25 ACTION: Gerd to do some rule examples and try to connect them to UCs 16:01:25 Created ACTION-154 - Do some rule examples and try to connect them to UCs [on Gerd Wagner - due 2006-10-31]. 16:02:22 ACTION: csma to talk to PhilippeB about rule examples and connecting them to UCs 16:02:22 Sorry, couldn't find user - csma 16:02:25 Sorry, I must leave now. Francois 16:02:34 zakim, pick a victim 16:02:34 Not knowing who is chairing or who scribed recently, I propose Dave_Reynolds 16:02:37 -FrancoisB 16:02:55 zakim, pick a victim 16:02:55 Not knowing who is chairing or who scribed recently, I propose Sandro 16:03:44 Like Franc,ois...I need to leave as well. 16:03:49 -SaidTabet 16:04:31 chris: as you work on rules for the use cases, point out difficulties encountered 16:05:17 ACTION: Dave to do rule examples for UC8 16:05:17 Created ACTION-155 - Do rule examples for UC8 [on Dave Reynolds - due 2006-10-31]. 16:05:25 zakim, pick a victim 16:05:25 Not knowing who is chairing or who scribed recently, I propose BobMoore 16:05:48 ACTION: Sandro to do rule examples for UC5 16:05:48 Created ACTION-156 - Do rule examples for UC5 [on Sandro Hawke - due 2006-10-31]. 16:06:12 I can give it a try 16:06:52 ACTION: Jeffp to do rule examples as extensions of OWL UC7 16:06:52 Sorry, couldn't find user - Jeffp 16:07:08 Acknowledged to take UC10 "Publishing Rules for Interlinked Metadata", probably not before next Telecon though, but before f2f. 16:07:20 ACTION: Gary to do rule examples on UC10 16:07:20 Created ACTION-157 - Do rule examples on UC10 [on Gary Hallmark - due 2006-10-31]. 16:07:32 ACTION: Axel to do rule examples for UC10 16:07:32 Created ACTION-158 - Do rule examples for UC10 [on Axel Polleres - due 2006-10-31]. 16:08:01 UC 10 has been assigned twice on the action tracker.... 16:08:10 chris: include constructive criticism 16:08:28 topic: RIFRAF 16:08:57 ACTION-148 continued 16:09:10 ACTION-149 continued 16:09:21 Not much progress 16:09:31 Sandro handed in a small ontology piece 16:09:34 q+ 16:09:51 Leora: not much progress on OWL ontology for RIFRAF 16:09:51 The rest of us are planning to do it later this week 16:09:54 ack axel 16:09:54 zakim, mute me 16:09:55 Gerd_Wagner should now be muted 16:09:59 http://topbraidcomposer.info/ 16:10:10 zakim, mute me 16:10:10 csma should now be muted 16:10:19 q+ 16:10:54 ack sandro 16:11:45 q+ 16:11:52 zakim, unmute me 16:11:52 Leora_Morgenstern should no longer be muted 16:12:04 ack leora 16:12:44 zakim, mute me 16:12:44 Leora_Morgenstern should now be muted 16:12:56 sandro: likes topbraidcomposer but it costs $$ after 30 days 16:13:24 frank: found bugs in protege 16:14:02 q+ 16:14:09 zakim, unmute me 16:14:10 Leora_Morgenstern should no longer be muted 16:15:18 axel: will summarize ontology progress at F2F4 16:18:05 q? 16:18:06 zakim, mute me 16:18:06 Leora_Morgenstern should now be muted 16:18:16 zakim, take me off the q 16:18:16 I don't understand 'take me off the q', LeoraMorgenstern 16:18:20 zakim, q- 16:18:20 I see no one on the speaker queue 16:18:42 Topic: Use Cases 16:19:54 david: linking use cases to requirements needs finishing 16:20:31 ACTION-38 continued 16:20:37 ACTION-41 continued 16:20:52 ACTION-72 continued 16:21:40 ack csma 16:22:46 ACTION-105 continued 16:22:52 ACTION-106 continued 16:23:00 ACTION-131 continued 16:23:06 ACTION-132 continued 16:23:12 ACTION-144 continued 16:23:22 ACTION-147 continued 16:23:25 -JeffP 16:23:27 -josb 16:23:37 bye 16:23:37 -StellaMitchell 16:23:37 -GerdWagner 16:23:38 +1 16:23:38 -Harold 16:23:40 DavidHirtle has left #rif 16:23:40 -MarkusK 16:23:41 bye 16:23:41 -FrankMcCabe 16:23:44 PaulaP has left #rif 16:23:45 -pfps 16:23:45 rrsagent, make minutes 16:23:45 I have made the request to generate http://www.w3.org/2006/10/24-rif-minutes.html ChrisW 16:23:46 -Axel_Polleres 16:23:46 -Dave_Reynolds 16:23:47 -PaulaP 16:23:49 -JeffP.a 16:23:50 -Deborah_Nichols 16:23:52 -PaulVincent 16:23:53 -DavidHirtle 16:23:54 -Mala_Mehrotra 16:23:57 rrsagent, make record public 16:24:00 -Mike_Dean 16:24:02 -Leora_Morgenstern 16:24:11 zakim, bye 16:24:11 leaving. As of this point the attendees were Deborah_Nichols, FrankMcCabe, DavidHirtle, +49.355.69.aaaa, Harold, igor, Leora_Morgenstern, ChrisW, +43.512.507.9aabb, 16:24:11 Zakim has left #rif 16:24:14 ... +44.125.265.aacc, Mike_Dean, PaulaP, StellaMitchell, Axel_Polleres, Mala_Mehrotra, josb, johnhall, Sandro, AlexKozlenkov, JeffP, Dave_Reynolds, GiorgosStoilos, MarkusK, 16:24:16 ... Gary_Hallmark, SaidTabet, francois, BobMoore, csma, Gerd_Wagner, FrancoisB, pfps, G, Hassan, PaulVincent 16:24:34 rrsagent, make minutes 16:24:34 I have made the request to generate http://www.w3.org/2006/10/24-rif-minutes.html ChrisW 16:25:35 AxelPolleres has left #rif 16:28:24 Adrian Giurca 16:28:24 (good standing) 16:28:24 REWERSE 16:28:24 Edit 16:28:24 giurca@tu-cottbus.de 16:29:50 GaryHallmark, the person called "G" is "Adrian Giurca"