IRC log of rif on 2006-05-23

Timestamps are in UTC.

14:38:33 [RRSAgent]
RRSAgent has joined #rif
14:38:33 [RRSAgent]
logging to http://www.w3.org/2006/05/23-rif-irc
14:38:41 [ChrisW]
rrsagent, make logs public
14:38:47 [ChrisW]
zakim, this will be rif
14:38:47 [Zakim]
ok, ChrisW; I see SW_RIF()11:00AM scheduled to start in 22 minutes
14:50:31 [FrankMcCabe]
FrankMcCabe has joined #rif
14:51:28 [StanDevitt]
StanDevitt has joined #rif
14:53:48 [Zakim]
SW_RIF()11:00AM has now started
14:53:54 [Zakim]
+Sandro
14:55:23 [DavidHirtle]
DavidHirtle has joined #rif
14:55:53 [LeoraMorgenstern]
LeoraMorgenstern has joined #rif
14:57:38 [Zakim]
+[IBM]
14:57:40 [josb]
josb has joined #rif
14:57:52 [ChrisW]
zakim, [ibm] is temporarily me
14:57:52 [Zakim]
+ChrisW; got it
14:58:07 [Harold]
Harold has joined #rif
14:58:33 [Zakim]
+[Fujitsu]
14:58:37 [patranja]
patranja has joined #rif
14:58:48 [FrankMcCabe]
zakim, fujitsu is me
14:58:48 [Zakim]
+FrankMcCabe; got it
14:59:30 [Zakim]
+??P3
14:59:50 [Zakim]
+[NRCC]
15:00:01 [Harold]
zakim, [NRCC] is me
15:00:01 [Zakim]
+Harold; got it
15:00:02 [ChrisW]
zakim, who is on the phone?
15:00:02 [Zakim]
On the phone I see Sandro, ChrisW, FrankMcCabe, josb, Harold
15:00:18 [igor]
igor has joined #rif
15:00:24 [Zakim]
+Stan_Devitt
15:00:38 [Zakim]
+PaulaP
15:00:58 [Zakim]
+Igor_Mozetic
15:01:05 [igor]
zakim, mute me
15:01:05 [Zakim]
Igor_Mozetic should now be muted
15:01:32 [Zakim]
+David_Hirtle
15:01:45 [ChrisW]
zakim, who is talking?
15:01:57 [Zakim]
ChrisW, listening for 11 seconds I heard sound from the following: Sandro (19%), ChrisW (22%), Stan_Devitt (8%)
15:02:31 [ChrisW]
zakim, who is on the phone?
15:02:31 [Zakim]
On the phone I see Sandro, ChrisW, FrankMcCabe, josb, Harold, Stan_Devitt, PaulaP (muted), Igor_Mozetic (muted), David_Hirtle
15:02:42 [MichaelKifer]
MichaelKifer has joined #rif
15:03:13 [ChrisW]
zakim, stan_devitt is standevitt
15:03:13 [Zakim]
+standevitt; got it
15:03:22 [ChrisW]
zakim, mute standevitt
15:03:22 [Zakim]
standevitt should now be muted
15:03:43 [Zakim]
+Leora_Morgenstern
15:03:56 [LeoraMorgenstern]
zakim, please mute me
15:03:56 [Zakim]
Leora_Morgenstern should now be muted
15:04:39 [MalaMehrotra]
MalaMehrotra has joined #rif
15:04:41 [Zakim]
+[IPcaller]
15:04:42 [ChrisW]
scribenick: harold
15:04:53 [Zakim]
-josb
15:04:56 [Zakim]
+??P24
15:05:21 [MichaelKifer]
IPCaller is MichaelKifer
15:05:25 [SaidTabet]
SaidTabet has joined #RIF
15:05:28 [sandro]
zakim, who is talking?
15:05:38 [Zakim]
sandro, listening for 10 seconds I heard sound from the following: Sandro (7%), ChrisW (48%), [IPcaller] (6%), ??P24 (60%)
15:05:44 [MichaelKifer]
zakim, IPCaller is MichaelKifer
15:05:44 [Zakim]
+MichaelKifer; got it
15:05:45 [Zakim]
+ +1.408.564.aaaa
15:05:46 [ChrisW]
http://lists.w3.org/Archives/Public/public-rif-wg/2006May/att-0229/09-rif-minutes.xml
15:05:53 [MichaelKifer]
zakim, mute me
15:05:53 [Zakim]
MichaelKifer should now be muted
15:05:53 [sandro]
zakim, mute ??P24
15:05:54 [Zakim]
??P24 should now be muted
15:06:52 [MichaelKifer]
#41
15:06:53 [AxelPolleres]
AxelPolleres has joined #rif
15:07:10 [Zakim]
+Axel_Polleres
15:07:15 [Zakim]
+Said_Tabet
15:07:21 [sandro]
zakim, who is here?
15:07:21 [Zakim]
On the phone I see Sandro, ChrisW, FrankMcCabe, Harold, standevitt (muted), PaulaP (muted), Igor_Mozetic (muted), David_Hirtle, Leora_Morgenstern (muted), MichaelKifer (muted),
15:07:23 [SaidTabet]
zakim, mute me
15:07:25 [Zakim]
Said_Tabet should now be muted
15:07:26 [Zakim]
... ??P24 (muted), +1.408.564.aaaa, Axel_Polleres, Said_Tabet
15:07:27 [Zakim]
On IRC I see AxelPolleres, SaidTabet, MalaMehrotra, MichaelKifer, igor, PaulaP, Harold, josb, LeoraMorgenstern, DavidHirtle, StanDevitt, FrankMcCabe, RRSAgent, Zakim, ChrisW,
15:07:29 [Zakim]
... sandro, Keeper
15:07:43 [Zakim]
+??P25
15:07:45 [sandro]
zakim, aaaa is Mala
15:07:45 [Zakim]
+Mala; got it
15:07:54 [ChrisW]
zakim, unmute ??p24
15:07:54 [Zakim]
??P24 should no longer be muted
15:08:15 [Stella_Mitchell]
Stella_Mitchell has joined #rif
15:08:48 [sandro]
zakim, who is muted?
15:08:48 [Zakim]
I see standevitt, PaulaP, Igor_Mozetic, Leora_Morgenstern, MichaelKifer, ??P24, Axel_Polleres, Said_Tabet, josb muted
15:08:58 [sandro]
zakim, ??P24 is Hassan
15:08:58 [Zakim]
+Hassan; got it
15:09:02 [Zakim]
+[IBM]
15:09:08 [Zakim]
+Evan_Wallace
15:09:22 [Harold]
Minutes May 9th accepted
15:09:34 [ChrisW]
http://lists.w3.org/Archives/Public/public-rif-wg/2006May/att-0185/rif-minutes-2006-05-16.html
15:10:00 [Harold]
Minutes May 16th accepted
15:10:40 [PaulaP]
no updates
15:10:42 [AxelPolleres]
no news, everything on track I guess.
15:11:06 [csma]
csma has joined #rif
15:11:54 [Uli]
Uli has joined #rif
15:12:51 [Zakim]
+??P28
15:13:07 [Uli]
zakim, ??P28 is uli
15:13:07 [Zakim]
+uli; got it
15:13:11 [EKW]
EKW has joined #rif
15:13:34 [Zakim]
+ +68006aabb
15:13:45 [csma]
zakim, aabb is me
15:13:45 [Zakim]
+csma; got it
15:13:53 [csma]
zakim, mute me
15:13:53 [Zakim]
csma should now be muted
15:14:01 [igor]
q+
15:14:25 [StanDevitt2]
StanDevitt2 has joined #rif
15:14:28 [PaulV]
PaulV has joined #RIF
15:15:08 [csma]
zakim, unmute me
15:15:08 [Zakim]
csma should no longer be muted
15:15:14 [StanDevitt2]
NOTE: Jos DeRoo has checked for DAWG participation. No other members currently attend both calls.
15:15:29 [igor]
ack me
15:15:32 [csma]
zakim, unmute me
15:15:32 [Zakim]
csma was not muted, csma
15:15:34 [PaulaP]
the action of Allen is done
15:15:40 [csma]
zakim, mute me
15:15:40 [Zakim]
csma should now be muted
15:15:50 [Zakim]
+??P27
15:16:01 [csma]
Paula is right (about Allen's question being done)
15:16:15 [Harold]
Action 19 COMPLETED (by Gary Hallmark)
15:16:50 [Zakim]
+Gary_Hallmark
15:17:12 [Harold]
q+
15:17:14 [StanDevitt2]
Re DAWG coordination, will probably need to draw issues to the atttention of the DAWG chair(s)
15:17:35 [PaulaP]
q?
15:18:40 [csma]
zakim, unmute me
15:18:40 [Zakim]
csma should no longer be muted
15:18:52 [ChrisW]
zakim, aaa is malamehrota
15:18:52 [Zakim]
sorry, ChrisW, I do not recognize a party named 'aaa'
15:18:57 [ChrisW]
zakim, aaaa is malamehrota
15:18:57 [Zakim]
sorry, ChrisW, I do not recognize a party named 'aaaa'
15:19:03 [csma]
zakim, mute me
15:19:03 [Zakim]
csma should now be muted
15:19:05 [csma]
q+
15:19:25 [sandro]
ack ??P24
15:19:47 [GaryHallmark]
GaryHallmark has joined #rif
15:19:52 [AxelPolleres]
unmuting is 63#
15:20:11 [Harold]
Discussion about soundness.
15:20:15 [sandro]
zakim, who is here?
15:20:15 [Zakim]
On the phone I see Sandro, ChrisW, FrankMcCabe, Harold, standevitt (muted), PaulaP (muted), Igor_Mozetic (muted), David_Hirtle, Leora_Morgenstern (muted), MichaelKifer (muted),
15:20:19 [Zakim]
... Hassan (muted), Mala, Axel_Polleres (muted), Said_Tabet (muted), josb (muted), [IBM] (muted), Evan_Wallace, uli (muted), csma (muted), PaulV, Gary_Hallmark
15:20:21 [Deborah_Nichols]
Deborah_Nichols has joined #rif
15:20:22 [Zakim]
On IRC I see GaryHallmark, PaulV, StanDevitt2, EKW, Uli, csma, Stella_Mitchell, AxelPolleres, SaidTabet, MalaMehrotra, MichaelKifer, igor, PaulaP, Harold, josb, LeoraMorgenstern,
15:20:24 [Zakim]
... DavidHirtle, StanDevitt, FrankMcCabe, RRSAgent, Zakim, ChrisW, sandro, Keeper
15:20:27 [sandro]
No, AxelPolleres Unmute is 61#
15:20:32 [sandro]
No, AxelPolleres Unmute is 60#
15:20:36 [sandro]
(D'oh!)
15:20:41 [Zakim]
+Deborah_Nichols
15:22:01 [csma]
q?
15:22:07 [csma]
ack harold
15:22:14 [csma]
ack aaaa
15:22:37 [csma]
ack csma
15:22:54 [ChrisW]
ack +1408
15:23:03 [ChrisW]
ack aaa
15:23:06 [ChrisW]
ack aaaa
15:23:13 [Hassan]
Hassan has joined #rif
15:23:54 [ChrisW]
ack
15:23:58 [sandro]
q?
15:24:08 [sandro]
ack +1.408.564.aaaa
15:24:48 [csma]
zakim, mute me
15:24:48 [Zakim]
csma should now be muted
15:25:29 [Harold]
Sandro and Harold: Our notion of soundness seems to be slightly more general than the one in (Lloyd 87).
15:26:11 [PaulaP]
http://lists.w3.org/Archives/Public/public-rif-wg/2006May/0209.html
15:26:18 [PaulaP]
for Allen's action
15:26:55 [ChrisW]
thanks
15:27:13 [Harold]
Frank and Paula's GCR document: So far little feedback.
15:27:35 [DavidHirtle]
http://lists.w3.org/Archives/Public/public-rif-wg/2006May/att-0188/RIF_requirements.png
15:27:36 [Zakim]
-csma
15:27:40 [csma]
csma has left #rif
15:27:42 [DavidHirtle]
there's frank's diagram
15:27:52 [sandro]
http://lists.w3.org/Archives/Public/public-rif-wg/2006May/att-0188/RIF_requirements.png
15:28:41 [AxelPolleres]
the option with mail is fine, or no....
15:29:30 [ChrisW]
q?
15:29:38 [SaidTabet]
SaidTabet has joined #RIF
15:29:59 [ChrisW]
zakim [ibm] is probably StellaMitchell
15:30:09 [ChrisW]
zakim, [ibm] is probably StellaMitchell
15:30:09 [Zakim]
+StellaMitchell?; got it
15:30:17 [Harold]
Evan and Sandro like Frank's diagram.
15:30:41 [AxelPolleres]
q+
15:30:58 [ChrisW]
http://lists.w3.org/Archives/Public/public-rif-wg/2006May/0198.html
15:31:05 [Harold]
Paula solicits feedback on her email on Current list of reqs and des. princ.
15:31:10 [ChrisW]
http://lists.w3.org/Archives/Public/public-rif-wg/2006May/0197.html
15:31:13 [Harold]
RIFRAF discussion
15:31:20 [ChrisW]
ack axel
15:32:48 [AxelPolleres]
I preceeded all my concrete comments on RIFRAF with "--> comment axel:" in the mail,
15:33:51 [ChrisW]
http://lists.w3.org/Archives/Public/public-rif-wg/2006May/0232.html
15:33:52 [Harold]
Actions completed by Peter, Hassan, Axel, Paula.
15:34:22 [Harold]
New Action for Harold: Respond to Axel.
15:34:51 [StanDevitt2]
Action completed by Jos DeRoo re DAWG interaction
15:35:07 [Hassan]
q+
15:35:34 [ChrisW]
zakim, who is here?
15:35:34 [Zakim]
On the phone I see Sandro, ChrisW, FrankMcCabe, Harold, standevitt (muted), PaulaP, Igor_Mozetic (muted), David_Hirtle, Leora_Morgenstern (muted), MichaelKifer (muted), Hassan,
15:35:37 [Zakim]
... Mala, Axel_Polleres (muted), Said_Tabet (muted), josb (muted), StellaMitchell? (muted), Evan_Wallace, uli (muted), PaulV, Gary_Hallmark, Deborah_Nichols (muted)
15:35:40 [Zakim]
On IRC I see SaidTabet, Hassan, Deborah_Nichols, GaryHallmark, PaulV, StanDevitt2, EKW, Uli, Stella_Mitchell, AxelPolleres, MalaMehrotra, MichaelKifer, igor, PaulaP, Harold, josb,
15:35:42 [Zakim]
... LeoraMorgenstern, DavidHirtle, StanDevitt, FrankMcCabe, RRSAgent, Zakim, ChrisW, sandro, Keeper
15:36:52 [ChrisW]
zakim, StellaMitchell is Stella_Mitchell
15:36:52 [Zakim]
+Stella_Mitchell; got it
15:37:03 [PaulaP]
+1 to Hassan's proposal
15:37:05 [AxelPolleres]
+1 to set RIFRAF subcommittee atf2f3
15:37:08 [Hassan]
q-
15:37:18 [Harold]
Hassan: Besides responding to shortcomings to the current RIFRAF, we should also extend it.
15:37:25 [Zakim]
-Said_Tabet
15:37:48 [Harold]
Will be a topic of F2F3.
15:38:16 [Harold]
Discussion on Technical Design.
15:40:40 [Harold]
Chris: The chairs have polled the group about the Extensible Design: it should now be used as a working syntax.
15:40:45 [AxelPolleres]
My action on this continued.
15:40:51 [MichaelKifer]
zakim, unmute me
15:40:51 [Zakim]
MichaelKifer should no longer be muted
15:40:56 [MichaelKifer]
q+
15:42:04 [Harold]
Chris and Sandro: Mappings from other languages to the Condition Language should be attempted.
15:43:03 [Harold]
The emails by Peter and Gerd amount to a SWRL mapping.
15:43:19 [MichaelKifer]
q-
15:43:25 [MichaelKifer]
zakim, mute me
15:43:25 [Zakim]
MichaelKifer should now be muted
15:44:19 [Hassan]
q+
15:44:29 [ChrisW]
zakim, who is on the phone?
15:44:29 [Zakim]
On the phone I see Sandro, ChrisW, FrankMcCabe, Harold, StanDevitt2 (muted), PaulaP (muted), Igor_Mozetic (muted), David_Hirtle, Leora_Morgenstern (muted), MichaelKifer (muted),
15:44:32 [Zakim]
... Hassan, Mala, Axel_Polleres (muted), josb (muted), Stella_Mitchell (muted), Evan_Wallace, uli (muted), PaulV, Gary_Hallmark, Deborah_Nichols (muted)
15:44:42 [Harold]
Chris: Would be nice to have Production Rules mapped both to RIFRAF and to Condition Language.
15:45:34 [Harold]
Hassan: Already did Production Rules (of ILOG) in RIFRAF.
15:46:03 [Harold]
Mapping goes not to surface syntax but directly to the XML level.
15:46:16 [StanDevitt2]
+1
15:46:34 [Harold]
q+
15:47:14 [Harold]
Hassan: What about features that are not currently in the (XML element) core?
15:47:26 [Harold]
Chris: Comment on what features are missing.
15:47:49 [Hassan]
q-
15:48:19 [ChrisW]
ack harold
15:48:33 [AxelPolleres]
+1 to entereing mappings on Wiki, but should also be sent by mail
15:49:27 [Harold]
Chris: Identify where mapping cannot be done is important as where it can.
15:49:39 [sandro]
Rete
15:50:24 [Harold]
Paul and Gary: Hassan is speaking for Oracle and Fair Isaac.
15:51:20 [Harold]
... when he shows what can be done for Production Rules with the Extensible Design.
15:52:08 [Hassan]
+1
15:52:11 [StanDevitt2]
+1
15:52:13 [Harold]
No other business.
15:52:18 [Zakim]
-Evan_Wallace
15:52:19 [Zakim]
-Igor_Mozetic
15:52:20 [Zakim]
-Mala
15:52:21 [Zakim]
-josb
15:52:22 [StanDevitt2]
-
15:52:22 [Zakim]
-Deborah_Nichols
15:52:24 [Zakim]
-uli
15:52:25 [Zakim]
-David_Hirtle
15:52:26 [Zakim]
-Gary_Hallmark
15:52:28 [Zakim]
-FrankMcCabe
15:52:28 [StanDevitt2]
-StanDevitt
15:52:30 [Zakim]
-Hassan
15:52:31 [Zakim]
-Stella_Mitchell
15:52:32 [Zakim]
-MichaelKifer
15:52:34 [Zakim]
-Leora_Morgenstern
15:52:36 [Zakim]
-Axel_Polleres
15:52:37 [StanDevitt2]
-StanDevitt2
15:52:38 [MichaelKifer]
MichaelKifer has joined #rif
15:52:38 [Zakim]
-PaulV
15:52:39 [Zakim]
-PaulaP
15:52:41 [Zakim]
-StanDevitt2
15:52:41 [ChrisW]
rrsagent, make minutes
15:52:41 [RRSAgent]
I have made the request to generate http://www.w3.org/2006/05/23-rif-minutes.html ChrisW
15:52:43 [StanDevitt2]
bye
15:55:40 [Zakim]
-Harold
15:57:35 [Zakim]
-Sandro
15:57:36 [Zakim]
-ChrisW
15:57:36 [Zakim]
SW_RIF()11:00AM has ended
15:57:37 [Zakim]
Attendees were Sandro, ChrisW, FrankMcCabe, josb, Harold, PaulaP, Igor_Mozetic, David_Hirtle, Leora_Morgenstern, MichaelKifer, +1.408.564.aaaa, Axel_Polleres, Said_Tabet, Mala,
15:57:42 [Zakim]
... Hassan, Evan_Wallace, uli, +68006aabb, csma, Gary_Hallmark, PaulV, Deborah_Nichols, StellaMitchell?, Stella_Mitchell, StanDevitt2
18:13:43 [Zakim]
Zakim has left #rif