<csma> topic 'RIF 11 July http://lists.w3.org/Archives/Public/public-rif-wg/2006Jul/0013.html'

Summer schedule & minutes

CSMA:Shall we continue meetings as normal during the summer

<AxelPolleres> +1 normally

CSMA:We will continue meetings as normal during the summer

<csma> http://lists.w3.org/Archives/Public/public-rif-wg/2006Jul/att-0018/minutes.txt

csma: Propose to accept above minutes

<Harold> +1

<PaulaP> +1

<AlexKozlenkov> +1

csma: Minutes of july 4th accepted

<AxelPolleres> DaveR sent a request to modify the minutes

<JeffP> It is addressed.

pfps: No change for F2F4

<AxelPolleres> http://lists.w3.org/Archives/Public/public-rif-wg/2006Jul/0015

<AxelPolleres> ok

<AxelPolleres> http://www.w3.org/2005/rules/wg/track/actions/28

Liaison Actions

<AxelPolleres> ACTION: 28 CLOSED [recorded in http://www.w3.org/2006/07/11-rif-minutes.html#action01]

csma:There are no reports regarding liaisons with SPARQL, XQUERY, XPATH, PRR, SBVR

Elisa: ODM was recommended for adoption at OMG Boston Meeting
... Finalization Task Force starts in September

<AxelPolleres> Can you send a pointer to these discussions?

DaveR What is our position on the Semantic Coordination Group

csma: The rule layer in SW stack needs to be synched with RIF
... Is the RIF going to develop a rule language or is a rule interchange format different to a rule language
... This needs to be clarified with the SWCG

daver: debate on fourth goal for RIF to develop rule language not reflected on SWCG

csma: I wrote a personal opinion that it was not a goal, not part of the charter
... no decision, currently under dicsussion

daver: I see the followup message, that it was your opinion not the RIF's policy
... Is this an extension of the charter or not

csma: I prefer to interpret the charter in a minimal way given that it is already v. broad in scope
... Jury out on whether RIF implies rule language or not

daver: Followup in the SWCG following any discussion/decision in RIF

<JeffP> ACTION: csma will let SWCG know that there is an ongoing discussion and they will be updated [recorded in http://www.w3.org/2006/07/11-rif-minutes.html#action02]

<Zakim> DavidHirtle, you wanted to ask sandro re: possibility of edit

daveH: Style of UCR doesnt work well in IE or Firefox

<scribe> ACTION: sandro: to fix the styles of the UCR [recorded in http://www.w3.org/2006/07/11-rif-minutes.html#action03]

<DavidHirtle> thanks Sandro; I wasn't sure if anything could be done after publication

csma: How do we get feedback.

<AlexKozlenkov> I think we should contact commercial most rule vendors

csma: The liaisons should spread the word in their respective groups

<AlexKozlenkov> Yes, I could do it

<scribe> ACTION: AlexKozlenkov will contact commercial rules vendors to take a look at the UCR [recorded in http://www.w3.org/2006/07/11-rif-minutes.html#action04]

<josb> I could notify the SPARQL wg again, since we have no "real" liaison at SPARQL

AlexK: there are now many rules languages/vendors. Ensuring interoperability will be hard.

<scribe> ACTION: AlexK will contact JSR94 community [recorded in http://www.w3.org/2006/07/11-rif-minutes.html#action05]

UCR Actions

csma: action 33 closed
... action 38 continued
... action 9 continued
... action 41 continued

<PaulaP> continued

csma: action 39 continued
... action 35 closed
... action 55 closed

csma: action 52 closed

<AxelPolleres> ;-)

<AxelPolleres> yes.

<AxelPolleres> ;-)

csma: action 53 continued

<DavidHirtle> done

<DavidHirtle> http://www.w3.org/2005/rules/wg/wiki/UCR/Document_issues

<josb> Notification of the publication of the 2nd WD of the UCR document has been sent to DAWG

csma: action 56 closed
... issues against UCR document should be recorded as issues

<scribe> ACTION: Sandro rename use and requirements into one category [recorded in http://www.w3.org/2006/07/11-rif-minutes.html#action06]

csma: We need to prioritize issues
... discuss this next meeting

<scribe> ACTION: csma put organization of issues on next agenda [recorded in http://www.w3.org/2006/07/11-rif-minutes.html#action07]

RIFRAF

Michael: Cannot remember action 44
... Cannot remember action 43

HaroldB: How do languages supprt built-ins?
... There was some confusion about the status of the last powerpoint slides

cma: Yes.

csma: Many of the requirements were moved to the RIFRAF
... Do we have the proper criteria in the RIFRAF
... E.g. RIF should support production rules, first order, normative rules, combined language rule sets

<EvanWallace> +1 to not putting RIF requirements in RIFRAF

csma: RIFRAF contains discriminators not requirements

<DaveReynolds> RIFRAF gives a framework in which to define the space of coverage which we require RIF to cover

csma: We need enough discriminators to cover the field

<AlexKozlenkov> Absolutely, Phase 2 requirements should not simply disappear

csma: Group languages into related groups and derive requirements from the groups

haroldb: does space mean that not everything needs to be covered

daver: framework to allow us to describe space of languages. Some will be covered, some not

csma: The choices for covered languages depend on the criteria themselves
... We might not see e.g. production rules emerge without the right discriminators e.g. actions on conclusions
... How do we enusre coverage of discriminators

<AlexKozlenkov> There is currently not enough detail for production or reaction rules.

<csma> http://www.w3.org/2005/rules/wg/wiki/UCR/Critical_Factors_Analysis

There are coverage requirements in the CFA analysis

<PaulaP> ok

<PaulaP> I'll try :)

<scribe> ACTION: PaulaP to analyse RIFRAF discriminators cover CFA [recorded in http://www.w3.org/2006/07/11-rif-minutes.html#action08]

csma: We need the space of rule languages populated. We have 5 or 6 at the moment but need more
... Suggest a questionnaire to help populate the RIFRAF

+1

<sandro> +1

<AxelPolleres> I think I can take it over, if you formulate the concrete responsibility again.

<scribe> ACTION: Axel & sandro to prepare a questionnaire and organize it and keep track [recorded in http://www.w3.org/2006/07/11-rif-minutes.html#action09]

csma: The questionnaire allows people to complete an entry in the RIFRAF for a rule language oftheir choice
... If there are new criteria then the q may need to be modified and edited also
... the group thanks Axel

<AxelPolleres> sorry, still continued/

csma: action 20 continued
... action 22 continued
... we need a strawman semantics for RIFRAF

harold: We are working on this at the moment
... we have an update on semantics wrt positive conditions, e.g. model theoretic semantics
... now moving to horn logic and conditions

michael: it is possible to give a semantics inc conditions. parameterized by the language
... esp. model theoretic semantic based language

csma: can it be extended to negative conditions and built-ins?

michael: should be ok.
... am planning to enhance wiki

<csma> http://www.w3.org/2005/rules/wg/wiki/A.1_Basis%3A_Positive_Conditions

csma: Did pfps look at the positive conditions section above?

pfps: this seems to be a cut and paste of previous extensibility document

michael: parameterized by the model semantics of the language

pfps: My issue was that there was no contraint on mappings in and out of the RIFRAF

michael: to be done

pfps: Need requirements on mappings <-> RIFRAF

michael: yes

pfps: Need requirements on mappings <-> RIF
... needs to be moved from email discussion to the document

<Harold> pfps, can u go to A.1 Basis: Positive Conditions, click "Info", then "Diff", you'll see the changes afer the copy and paste.

<scribe> ACTION: michael to update semantics for positive conditions taking account of email discussion on contraints on RIF mappings [recorded in http://www.w3.org/2006/07/11-rif-minutes.html#action10]

csma: Mapping between existing rule languages and existing semantics

pfps: There are big gaps in the mapping at the moment.
... possible to have degenerate compliance

michael: Issue is pfps wants a unified luaguage for a super-language which is inherently small (without PRs, LP, etc)

pfps: I am not asking for that (I think)

<scribe> ACTION: pfps will describe loophole he sees in the semantics [recorded in http://www.w3.org/2006/07/11-rif-minutes.html#action11]

harold: Next step is to proceed to horn clauses
... We might be able to make progress in 2 weeks
... look at existing toc to see current approach

csma: better to lead the discussion by email

<scribe> ACTION: harold, michael to email ideas about extending semantics to cover horn logic [recorded in http://www.w3.org/2006/07/11-rif-minutes.html#action12]

csma: We need more volunteers to see how existing semantics and syntactic mappings are useful

alex There are many rule languages that belong to the PR categories. Existing semantic analysis not helpful to those languages

<PaulaP> I can also try to find time to map the cond lang to Xcerpt/XChange

<scribe> ACTION: alex will look at condition part of a sample PR language to see if semantic mapping is feasable, easy etc. [recorded in http://www.w3.org/2006/07/11-rif-minutes.html#action13]

<scribe> ACTION: paulaP will look at condition part Xcerpt/XChange see if semantic mapping is feasable, easy etc. [recorded in http://www.w3.org/2006/07/11-rif-minutes.html#action14]

<LeoraMorgenstern> I will

<LeoraMorgenstern> Which language?

<LeoraMorgenstern> any version of prolog?

<LeoraMorgenstern> No, I have no preference

<LeoraMorgenstern> Okay

<scribe> ACTION: Leora will look at condition part of prolog to see if semantic mapping is feasable, easy etc. [recorded in http://www.w3.org/2006/07/11-rif-minutes.html#action15]

<scribe> ACTION: Frank will look at condition part of Go! to see if semantic mapping is feasable, easy etc. [recorded in http://www.w3.org/2006/07/11-rif-minutes.html#action16]

<AlexKozlenkov> go!

<LeoraMorgenstern> Okay, so you don't need me to do a version of Prolog, then.

The issue wrt prolog is the meta language

<PaulaP> +1

csma: Propose to adjourn

<AlexKozlenkov> OK, bye folks