- From: Gary Hallmark <gary.hallmark@oracle.com>
- Date: Thu, 04 Feb 2010 22:51:50 -0800
- To: Christian De Sainte Marie <csma@fr.ibm.com>
- CC: public-rif-wg@w3.org
Premature send. I wanted to suggest a fix for the issues in my last email.. Instead of the "all" attribute on Retract, add a new action RetractSlotValues(TERM TERM), where the first TERM is the object and the second TERM is the slot. Christian De Sainte Marie wrote: > > All, (and esp. Gary, Adrian, Paul, Changhai and Mark) > > I updated the PRD draft with the changes wrt Modify and Retract: > - I called the primitive PRD actions: simple actions, and I defined > them as being either atomic actions (simple actions that represent > atomic transactions) or compound actions (simple actions that > represent predefined, fixed sequences of atomic actions); > - to avoid having to take the different kinds of simple actions into > account in the semantics of rules and rule sets, I said that the > semantics is specified, without loss of generality, for the after they > have been normalized by replacing all the compound actions by the > equivalent sequence of atomic actions (in addition to the > normalization by splitting disjunctive conditions into separate > subrules). As a consequence, I renamed the section Rules with > disjunctive conditions into: Rules normalization [1]. > - I introduced a new variant of the syntax of Retract: Retract(<frame> > "all"), for the atomic action that retracts all the frames with the > same object and the same attribute as <frame>; > - I modified the XML syntax of Retract accordingly, by adding an > optional attribute "allValues", with type xs:boolean and default value > = "true". > > I updated the whole text accordingly, changing atomic action for > simple action where relevant, etc. I also updated the XSD. > > See the diff between the current version and the CR version [2]. > > As I wrote yesterday, I did not do the editorial changes required to > move the new definition of PR system state in the right place to avoid > forward references, so that the diff shows only the essential changes. > > Please, let me know asap if you agree with the changes: As soon as I > have enough consensus (that's probably Gary, Adrian, Changhai and Paul > :-) I will do the additional editorial changes and freeze the doc. > > [1] http://www.w3.org/2005/rules/wiki/PRD#Rules_normalization > [2] > http://www.w3.org/2005/rules/wiki/index.php?title=PRD&diff=12095&oldid=11437 > <http://www.w3.org/2005/rules/wiki/index.php?title=PRD&diff=12095&oldid=11437> > > > Cheers, > > Christian > > IBM > 9 rue de Verdun > 94253 - Gentilly cedex - FRANCE > Tel. +33 1 49 08 35 00 > Fax +33 1 49 08 35 10 > > > Sauf indication contraire ci-dessus:/ Unless stated otherwise above: > Compagnie IBM France > Siege Social : 17 avenue de l'Europe, 92275 Bois-Colombes Cedex > RCS Nanterre 552 118 465 > Forme Sociale : S.A.S. > Capital Social : 611.451.766,20 € > SIREN/SIRET : 552 118 465 03644 >
Received on Friday, 5 February 2010 06:55:02 UTC