hi

<LeoraMorgenstern> I'm on the irc and on the phone, but it hasn't registered.

http://lists.w3.org/Archives/Public/public-rif-wg/2008Oct/0035.html

- http://www.w3.org/2005/rules/wg/track/issues/48

PROPOSED: RIF Core will include member (#) but

syntactically restricted its use in rule bodies. Note that in RIF-RDF

the equivalent property rdf:type would still be permitted in rule heads.

Rationale: PRD rules almost always start with

"if p is a person and p.age > 16 and ... then ..."

http://www.w3.org/2005/rules/wiki/PRD#Member

PROPOSED: RIF Core will include member (#) but syntactically restricted its use in rule bodies.

Comment: Note that in RIF-RDF the equivalent property rdf:type would still be permitted in rule heads.
... If PRD introduces member (#) in the conclusion, this restriction to conditions in Core should be reconsidered.

Rationale: PRD rules almost always start with a member test in the condition.

PROPOSED: RIF Core will include member (#) but syntactically restricted its use in rule conditions.

<Gary> rationale 2: PR leverages type system from host programming language and that is externally defined and immutable by rules

Comment: Note that in RIF-RDF the equivalent property rdf:type would still be permitted in rule heads.
... If PRD introduces member (#) in the conclusion, this restriction to conditions in Core should be reconsidered.

Approved by Leora, Dave, Gary, Harold

- http://www.w3.org/2005/rules/wg/track/issues/75

PROPOSED: Core should keep disjunction in rule bodies,

only if this is permitted by the solution to issue-70.

http://lists.w3.org/Archives/Public/public-rif-wg/2008Sep/0178.html

<Gary> if (month='may' or month = 'jun' or month = 'jul' or month = 'aug') and (dish='clams' or dish='oysters' or dish='mussels') then "skip main course"

month(may) etc. stored as facts and then retrieved with month(?x) has the same effect.

Finite Domains and Exclusions as First-Class Citizens: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.3860

PROPOSED: Core should keep disjunction in rule bodies.

Comment:

<Gary> harold: Month('may') Month('june') Dish('clams') etc. + if (Month(?month) and Dish(?dish) then "skip main course" is equivalent

The solution to issue-70 is able to cope with disjunction.

The solution to issue-70 will be able to cope with disjunction. (see http://lists.w3.org/Archives/Public/public-rif-wg/2008Sep/0178.html and follow up)>

PROPOSED: Core should keep disjunction in rule bodies. Implementations can be direct or in using a well-know preprocessing step.
... Core should keep disjunction in rule bodies. Implementations can be direct or in use a well-known preprocessing step.
... Core should keep disjunction in rule bodies. Implementations can be direct or use a well-known preprocessing step.

Comment: The solution to issue-70 will be able to cope with disjunction. (See http://lists.w3.org/Archives/Public/public-rif-wg/2008Sep/0178.html and follow up).

PROPOSED: Core should keep ground disjunction in rule bodies. Implementations can be direct or use a well-known preprocessing step.

(Sorry, cannot be decided statically.)

PROPOSED: Core should keep safe disjunction in rule bodies. Implementations can be direct or use a well-known preprocessing step.

Comment: The solution to issue-70, Option 2, will be able to cope with disjunction. (See http://lists.w3.org/Archives/Public/public-rif-wg/2008Sep/0178.html and follow up).
... An example of solution to issue-70 it Option 2, which will be able to cope with disjunction. (See http://lists.w3.org/Archives/Public/public-rif-wg/2008Sep/0178.html and follow up).
... An example of a solution to issue-70 is Option 2, which will be able to cope with disjunction. (See http://lists.w3.org/Archives/Public/public-rif-wg/2008Sep/0178.html and follow up).

Approved as above, plus by Adrian.

Dave: Work on Document itself. End of month should be ready.
... Happy to take sections, but we should agree on them.
... EBNF, Ed notes, structural changes.

Dave will work on this until next Monday, perhaps another Core telecon.

This is scribe.perl Revision: 1.133  of Date: 2008/01/18 18:48:51  
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: Harold
Inferring Scribes: Harold

WARNING: No "Topic:" lines found.


WARNING: No "Present: ... " found!
Possibly Present: Comment Dave DaveReynolds Gary Gary_Hallmark LeoraMorgenstern NRCC P2 P3 PROPOSED Rationale harold
You can indicate people for the Present list like this:
        <dbooth> Present: dbooth jonathan mary
        <dbooth> Present+ amy


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: 13 Oct 2008
Guessing minutes URL: http://www.w3.org/2008/10/13-rif-minutes.html
People with action items: 

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