<csma> Trying to join

<ChrisW> Scribe: DaveReynolds

<ChrisW> scribenick: DaveReynolds

<ChrisW> Last weeks minutes: http://lists.w3.org/Archives/Public/public-rif-wg/2010Feb/att-0010/2010-02-02-rif-minutes.html

<ChrisW> PROPOSED: Approve last week's minutes

<ChrisW> RESOLVED: Approve last week's minutes

2cnd PRD LC

csma: latest PRD draft added notion of compound action, introduces notion of simple action (atomic or compound)
... retract can retract single fact, or whole object
... added form to retract all values for an object on a given slot (also atomic)
... compound is fixed sequence of atomic actions, single instance of this is modify, retract all values of slot in frame then assert new value
... consequent editorial changes - replacing atomic action by simple action, changing examples etc

cmsa: second non-editorial change, new section 4.2.2, rules normalization

csma: avoid changing semantics by assuming rules normalized to remove disjunctive conditions by mapping to set of rules with same action part
... also normalize by replacing compound actions by their atomic actions
... last change, introduce notion of intermediate state of the transition system
... cycle states are the state after an action block has been executed, transitional state is state after each atomic action has been performed

<Harold> RE: Definition (Production rule system state).

<Harold> "... is either a system cycle states or a system transitional states. "?

csma: changed concept resolution to apply in each transitional state, previously only applied to what is now called the cycle states

<Harold> (http://www.w3.org/2005/rules/wg/draft/rif-prd/#Definitions_and_notational_conventions)

csma: this is a substantial change to the semantics

<sandro> queue yourself to ask that, Harold?

csma: Also clarified use of xml:base (section 8.2) as discussed and resolved at last telecon, allow relative IRIs in RIF XML syntax anywhere IRIs are allowed

<Harold> RE: 8.2 xml:base

<Harold> "... including constant type, symbol spaces, location, and profile."?

<Harold> constant types

<Harold> http://www.w3.org/2005/rules/wg/draft/rif-prd/#xml:base

Harold: typos in draft noted via IRC

Leora: modify is now a compound act?

<AdrianP> before we had it as a "true" modify, where the implicit retract does not fire negated rules

csma: yes, previously an atomic action now equivalent to a sequence, relevant due to the transitional states affecting refraction
... the absence of an atomic modify is a problem for some systems such as jRules, will have to change implementation substantially

Harold: many people would distinguish simple v. compound, nomenclature is potentially confusing

csma: would prefer better wording but this choice meant least changes to text
... simple actions are simple in terms of syntax, though can represent an implicit sequence, whereas an action block is an explicit sequence

Gary: could say "action" rather than "simple action"

csma: OK

Chris: has there been a review other than from Gary?

csma: no

<scribe> ACTION: Adrian to review changes to PRD spec by Thursday [recorded in http://www.w3.org/2010/02/09-rif-minutes.html#action01]

<trackbot> Created ACTION-978 - Review changes to PRD spec by Thursday [on Adrian Paschke - due 2010-02-16].

<ChrisW> ACTION: adrian to review PRD draft by noon (europe) thursday [recorded in http://www.w3.org/2010/02/09-rif-minutes.html#action02]

<trackbot> Created ACTION-979 - Review PRD draft by noon (europe) thursday [on Adrian Paschke - due 2010-02-16].

<sandro> PROPOSED: Publish the new draft of PRD as a Last Call WD, after csma changes simple actions to actions, corrects a few typos, and pending Adrian's positive review by 6am ET Thursday.

<Harold> +1 (NRC)

<Gary> +1 Oracle

+1

<mdean> +1

<sandro> PROPOSED: Publish the new draft of PRD as a Last Call WD, after csma changes simple actions to actions, corrects a few typos, and pending Adrian's positive review by 6am ET Thursday. (Others are also free to object by that time, as well.)

<LeoraMorgenstern> +1 (self)

<sandro> last call period to be minimum, 21 days.,

<sandro> +1

<csma> +1 (IBM)

<ChrisW> +1

<AdrianP> +1 (self)

<mdean> +1

test Case modify/noloop

RESOLUTION: Publish the new draft of PRD as a Last Call WD, after csma changes simple actions to actions, corrects a few typos, and pending Adrian's positive review by 6am ET Thursday. (Others are also free to object by that time, as well.)

Chris: simply remove test case?

csma: yes, will also add new test cases in parallel with last call, being discussed in PRD task force

<ChrisW> PROPOSED: remove http://www.w3.org/2005/rules/wiki/Modify_noloop

<Gary> +1

<ChrisW> +1

+1

<mdean> +1

<LeoraMorgenstern> +1

<ChrisW> RESOLVED: remove http://www.w3.org/2005/rules/wiki/Modify_noloop

<ChrisW> ACTION: leora to ask stella to remove modify_noloop [recorded in http://www.w3.org/2010/02/09-rif-minutes.html#action03]

<trackbot> Created ACTION-980 - Ask stella to remove modify_noloop [on Leora Morgenstern - due 2010-02-16].

AOB

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)

Succeeded: s/cmsa/csma/
Succeeded: s/and/an/
Succeeded: s/use/test/
Found Scribe: DaveReynolds
Found ScribeNick: DaveReynolds
Default Present: Mike_Dean, Sandro, ChrisW, Harold, DaveReynolds, LeoraMorgenstern, Gary, +95356aaaa, csma, AdrianP
Present: Mike_Dean Sandro ChrisW Harold DaveReynolds LeoraMorgenstern Gary +95356aaaa csma AdrianP
Regrets: MichaelKifer
Agenda: http://lists.w3.org/Archives/Public/public-rif-wg/2010Feb/0019.html
Got date from IRC log name: 09 Feb 2010
Guessing minutes URL: http://www.w3.org/2010/02/09-rif-minutes.html
People with action items: adrian leora

WARNING: Input appears to use implicit continuation lines.
You may need the "-implicitContinuations" option.