See also: IRC log
<cke> CSMA, I'm trying to find the number
<cke> sorry I see it
http://www.w3.org/2005/rules/wg/track/actions/619
http://www.w3.org/2009/02/17-rif-prd-minutes.html
from March 17
<scribe> ACTION: [NEW] 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]
<scribe> ACTION: [NEW] Adrian to write test cases for the Modify action [recorded in http://www.w3.org/2009/03/17-rif-prd-minutes.html#action01]
<scribe> ACTION: [NEW] 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]
<scribe> ACTION: [NEW] 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]
<scribe> ACTION: [NEW] csma to check, and possibly add, the PRR-OCL examples [recorded in http://www.w3.org/2009/03/17-rif-prd-minutes.html#action04]
<scribe> ACTION: [NEW] csma to look at ILOG didactic test cases [recorded in http://www.w3.org/2009/03/17-rif-prd-minutes.html#action07]
<scribe> ACTION: [NEW] Gary to look at Oracle didactic tests [recorded in http://www.w3.org/2009/03/17-rif-prd-minutes.html#action06]
From March 3
<scribe> ACTION: [NEW] 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]
<scribe> ACTION: [NEW] 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]
http://www.w3.org/2005/rules/wiki/PRD_Ruleset_Example
<Gary> class eg:MyClass [ eg:att1->xsd:int eg:att2->set(xsd:string)]
<Gary> if c # MyClass and c[att1->y att1->z) and not(y=z) then error
<Gary> and not(y=z or isInt(y)) then error
<Gary> then y=z
<Gary> then isInt(y)
<Gary> and isLiteralNotOfType(y, xsd:int)
This is scribe.perl Revision: 1.135 of Date: 2009/03/02 03:52:20 Check for newer version at http://dev.w3.org/cvsweb/~checkout~/2002/scribe/ Guessing input format: RRSAgent_Text_Format (score 1.00) No ScribeNick specified. Guessing ScribeNick: csma Inferring Scribes: csma WARNING: No "Topic:" lines found. Default Present: Gary, csma, Adrian Present: Gary csma Adrian WARNING: No meeting title found! You should specify the meeting title like this: <dbooth> Meeting: Weekly Baking Club Meeting WARNING: No meeting chair found! You should specify the meeting chair like this: <dbooth> Chair: dbooth Got date from IRC log name: 07 Apr 2009 Guessing minutes URL: http://www.w3.org/2009/04/07-rif-prd-minutes.html People with action items: adrian changhai csma gary proposal re-work strawman WARNING: Input appears to use implicit continuation lines. You may need the "-implicitContinuations" option. WARNING: No "Topic: ..." lines found! Resulting HTML may have an empty (invalid) <ol>...</ol>. Explanation: "Topic: ..." lines are used to indicate the start of new discussion topics or agenda items, such as: <dbooth> Topic: Review of Amy's report[End of scribe.perl diagnostic output]