17:01:53 <RRSAgent> RRSAgent has joined #rif-prd
17:01:53 <RRSAgent> logging to http://www.w3.org/2009/04/07-rif-prd-irc
17:01:55 <Zakim> SW_RIF(PRD)1:00PM has now started
17:02:01 <Zakim> +Gary
17:02:09 <csma> rrsagent, make logs public
17:02:15 <cke> cke has joined #RIF-PRD
17:02:18 <csma> rrsagent, make minutes
17:02:18 <RRSAgent> I have made the request to generate http://www.w3.org/2009/04/07-rif-prd-minutes.html csma
17:02:19 <Adrian> Adrian has joined #rif-prd
17:02:25 <csma> zakim, what is the code?
17:02:25 <Zakim> the conference code is 743773 (tel:+1.617.761.6200 tel:+33.4.89.06.34.99 tel:+44.117.370.6152), csma
17:03:09 <Zakim> +??P1
17:03:21 <csma> zakim, ??P1 is me
17:03:21 <Zakim> +csma; got it
17:03:43 <cke> CSMA, I'm trying to find the number
17:03:59 <cke> sorry I see it
17:04:40 <Zakim> +??P2
17:06:38 <csma> http://www.w3.org/2005/rules/wg/track/actions/619
17:07:55 <Zakim> +??P3
17:08:04 <Adrian> Zakim, ??P3 is me
17:08:04 <Zakim> +Adrian; got it
17:09:38 <csma> http://www.w3.org/2009/02/17-rif-prd-minutes.html
17:11:45 <csma> from March 17
17:11:47 <csma> [NEW] ACTION: Adrian to write test cases for assert, retract, modify, and the assert-retract combination (and combination with negation) [recorded in http://www.w3.org/2009/03/17-rif-prd-minutes.html#action02]
17:11:48 <csma> [NEW] ACTION: Adrian to write test cases for the Modify action [recorded in http://www.w3.org/2009/03/17-rif-prd-minutes.html#action01]
17:11:50 <csma> [NEW] ACTION: Changhai to put all the examples in the above document in standard test case form [recorded in http://www.w3.org/2009/03/17-rif-prd-minutes.html#action03]
17:11:51 <csma> [NEW] ACTION: csma to check test cases A-C for applicability to Core/PRD, Gary to do the D-F, Adrian G-Q, Changhai the rest. [recorded in http://www.w3.org/2009/03/17-rif-prd-minutes.html#action05]
17:11:53 <csma> [NEW] ACTION: csma to check, and possibly add, the PRR-OCL examples [recorded in http://www.w3.org/2009/03/17-rif-prd-minutes.html#action04]
17:11:55 <csma> [NEW] ACTION: csma to look at ILOG didactic test cases [recorded in http://www.w3.org/2009/03/17-rif-prd-minutes.html#action07]
17:11:57 <csma> [NEW] ACTION: Gary to look at Oracle didactic tests [recorded in http://www.w3.org/2009/03/17-rif-prd-minutes.html#action06]
17:11:58 <csma> From March 3
17:12:00 <csma> [NEW] ACTION: Gary to draft a strawman for a more discriminating conflict resolution strategy (keep the initial three steps) [recorded in http://www.w3.org/2009/03/03-rif-prd-minutes.html#action02]
17:12:04 <csma> [NEW] ACTION: re-work strawman proposal to separate cardinality constraint and the possible introduction of path expression [recorded in http://www.w3.org/2009/03/03-rif-prd-minutes.html#action01]
17:17:42 <csma> http://www.w3.org/2005/rules/wiki/PRD_Ruleset_Example
17:40:57 <Gary> class eg:MyClass [ eg:att1->xsd:int eg:att2->set(xsd:string)]
17:44:07 <Gary> if c # MyClass and c[att1->y att1->z) and not(y=z) then error
17:44:56 <Gary> and not(y=z or isInt(y)) then error
17:45:19 <Gary> then y=z
17:45:43 <Gary> then isInt(y)
17:46:20 <Gary> and isLiteralNotOfType(y, xsd:int)
17:54:36 <Zakim> -Adrian
17:54:40 <Zakim> -Gary
17:54:41 <Zakim> -??P2
17:54:44 <Zakim> -csma
17:54:45 <Zakim> SW_RIF(PRD)1:00PM has ended
17:54:45 <Zakim> Attendees were Gary, csma, Adrian
18:27:11 <csma> rrsagent, make minutes
18:27:11 <RRSAgent> I have made the request to generate http://www.w3.org/2009/04/07-rif-prd-minutes.html csma
19:27:30 <Zakim> Zakim has left #rif-prd