17:59:07 <RRSAgent> RRSAgent has joined #rif-prd
17:59:07 <RRSAgent> logging to http://www.w3.org/2009/01/06-rif-prd-irc
17:59:17 <csma> rrsagent, make log public
18:00:28 <cke> csma, what's the tel number in France?
18:00:51 <csma> 04 89 06 34 99
18:01:14 <csma> Attention, le code est RIFPRD (tout attaché)
18:01:33 <Zakim> SW_RIF(PRD)1:00PM has now started
18:01:40 <Zakim> +Hassan_Ait-Kaci
18:02:30 <PVincent> PVincent has joined #rif-prd
18:02:55 <Zakim> -Hassan_Ait-Kaci
18:02:56 <Zakim> SW_RIF(PRD)1:00PM has ended
18:02:56 <Zakim> Attendees were Hassan_Ait-Kaci
18:03:00 <Zakim> SW_RIF(PRD)1:00PM has now started
18:03:08 <Zakim> +[IPcaller]
18:03:29 <Zakim> +??P0
18:03:41 <csma> zakim, ??P0 is csma
18:03:41 <Zakim> +csma; got it
18:04:26 <Zakim> +Hassan_Ait-Kaci
18:04:35 <cke> I could not enter the conf call
18:04:41 <Gary> Gary has joined #rif-prd
18:05:04 <Zakim> +GaryHallmark
18:06:28 <Hassan> Hassan has joined #rif-prd
18:06:55 <AdrianP> AdrianP has joined #rif-prd
18:06:58 <Zakim> +??P1
18:07:05 <csma> http://www.w3.org/2005/rules/wiki/PRD_Discussions
18:08:04 <Zakim> +[IPcaller]
18:08:42 <AdrianP> Zakim, [IPcaller] is me
18:08:42 <Zakim> +AdrianP; got it
18:09:27 <csma> zakim, ??P1 is cke
18:09:27 <Zakim> +cke; got it
18:09:47 <csma> http://www.w3.org/2005/rules/wiki/F2F12
18:25:26 <csma> http://www.w3.org/2005/rules/wiki/PRD_Working_Examples
18:39:51 <csma> http://www.w3.org/2005/rules/wiki/PRD_Ruleset_Example
18:45:54 <csma> a: Account(balance < 500; rate > 0)
18:48:06 <csma> Forall ?a if ?a#ex:Account and Exists( ?b ?a[ex:balance->?b] and ?b < 500) and ...
18:58:04 <Hassan> Christian is looking for a vict... a volunteer to prepare a presentation on the stuff with concrete examples using frames for objects in actual rules ...
19:09:55 <Zakim> -Hassan_Ait-Kaci
19:11:54 <Gary> +15033171118
19:13:50 <Zakim> -AdrianP
19:13:52 <Zakim> -PVincent
19:13:55 <Zakim> -GaryHallmark
19:13:58 <Zakim> -cke
19:13:59 <Zakim> -csma
19:13:59 <Zakim> SW_RIF(PRD)1:00PM has ended
19:14:00 <Zakim> Attendees were PVincent, csma, Hassan_Ait-Kaci, GaryHallmark, AdrianP, cke
20:11:02 <Zakim> Zakim has left #rif-prd