IRC log of rif-prd on 2009-04-07

Timestamps are in UTC.

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