W3C

- DRAFT -

RIF telecon 2 June 2009

02 Jun 2009

Agenda

See also: IRC log

Attendees

Present
ChrisW, csma, cke, Harold, Sandro, Stella, Hassan, Gary, Axel, Adrian, Michael, Dave
Regrets
LeoraMorgenstern, JosDeBruijn
Chair
Christian de Sainte Marie
Scribe
Gary Hallmark

Contents


csma: no minutes from last telecon?

chris: no not there

<ChrisW> close action-832

<trackbot> ACTION-832 Update wording in intro & abstract to use "SHOULD" closed

<ChrisW> close action-826

<trackbot> ACTION-826 Add, if possible, an operational definition of safety closed

<ChrisW> close action-825

<trackbot> ACTION-825 Clarify in PRD that safeness is required to guarantee that constraint solving is not needed closed

<ChrisW> close action-772

<trackbot> ACTION-772 Review swc closed

<StellaMitchell> done

<ChrisW> close action-708

<trackbot> ACTION-708 Add import rejection test category to test cases and add combination constant equivalence test case closed

<Hassan> continued ...

<AdrianP> not sure if it was reviewed as part of the Core reviews

<ChrisW> close action-439, no one from Aberdeen participates anymore

<ChrisW> close action-439

<trackbot> ACTION-439 Post test cases fir RIF closed

<csma> next item

sandro: rdf:plainLiteral (was rdf:text) ready to publish June 11 (syncing with OWL)

<sandro> expecting actual publication date to be June 11.

csma: need to review Adrian's change to mathematical English

<AdrianP> added ground lists to http://www.w3.org/2005/rules/wiki/Core#Terms_of_RIF-Core

chris: keep subscripts in <tt> for easier to read ones (1)

csma: close or review?

chris: lists can contain function terms?

csma: yes
... provided no variables of course

<ChrisW> close action-803

<trackbot> ACTION-803 Update mathematic syntax for Core to reflect restricted lists closed

axel: will complete BLD and SWC actions today
... small changes to do in DTB for rdf:text

<sandro> Axel, the mail from Alan I'm talking about is: http://lists.w3.org/Archives/Public/public-rdf-text/2009AprJun/0267.html

we will leave Jos' DTB actions open

<sandro> PROPOSED: the formal semantics of list operations, ACTION-814, can wait until after Last Call for DTB.

<sandro> +1

<ChrisW> We will make the change as editorial by CR

<ChrisW> +1

<Harold> +1

<Gary> +1

<AdrianP> +1

<DaveReynolds> +1

<StellaMitchell> +1

<AxelPolleres_> abstain, would feel better with the changes in , but can't commit to do it

<sandro> RESOLVED: the formal semantics of list operations, ACTION-814, can wait until after Last Call for DTB.

chris: DTB is waiting on append and rdf:plainLiteral
... but not waiting for formal semantics of list ops

<csma> ACTION: axel to do the name changes in DTB and rdf:PlainLiteral [recorded in http://www.w3.org/2009/06/02-rif-minutes.html#action01]

<trackbot> Created ACTION-834 - Do the name changes in DTB and rdf:PlainLiteral [on Axel Polleres - due 2009-06-09].

csma: PRD contingent on Chris' review of equivalence of semantics of conditions
... and Gary's review of safeness
... SWC status - for now, remove the proofs

gary: why is PRD's safeness definition is completely different from Core?

chris: SWC uses outdated defn of multistructures

axel: can make some changes

chris: will review Axel's SWC changes
... happy w/ Michael's FLD edits
... Core and BLD are ready to publish; others await actions

sandro: sparql and OWL now agree on syntax and semantics of rdf:plainLiteral
... oddly, rdf:plainLiteral doesn't appear in RDF graphs
... should the spec go to CR, or 2nd LC?

chris: Axel needs to review

csma: this doesn't affect RIF, so can't we make a resolution (for RIF)?

sandro: OWL and sparql are reviewing the semweb compatibility aspects; we don't need to worry about it
... they seem to be doing the right things

<sandro> PROPOSED: We approve rdf:PlainLiteral (formerly rdf:text) as ready for Candidate Recommendation (or second Last Call, if others block it from being CR), pending completion of pending actions.

<sandro> PROPOSED: We approve rdf:PlainLiteral (formerly rdf:text) as ready for Candidate Recommendation (or second Last Call, if others block it from being CR), pending completion of pending actions and Axel's review.

<sandro> action-834?

<trackbot> ACTION-834 -- Axel Polleres to do the name changes in DTB and rdf:PlainLiteral -- due 2009-06-09 -- OPEN

<trackbot> http://www.w3.org/2005/rules/wg/track/actions/834

<ChrisW> ACTION: axel to review rdf:text this week [recorded in http://www.w3.org/2009/06/02-rif-minutes.html#action02]

<trackbot> Created ACTION-835 - Review rdf:text this week [on Axel Polleres - due 2009-06-09].

<ChrisW> ACTION: axel to address AlanR's comments [recorded in http://www.w3.org/2009/06/02-rif-minutes.html#action03]

<trackbot> Created ACTION-836 - Address AlanR's comments [on Axel Polleres - due 2009-06-09].

<sandro> that's http://lists.w3.org/Archives/Public/public-rdf-text/2009AprJun/0267.html

<csma> PROPOSED: We approve rdf:PlainLiteral (formerly rdf:text) as ready for Candidate Recommendation (or second Last Call, if others block it from being CR), pending completion of action 834, 835 and 836.

<ChrisW> +1

<sandro> +1 (W3C)

<DaveReynolds> 0 [Don't object, think current position is probably best that can be achieved]

<Harold> +1

<Gary> +1

<Michael_Kifer> +1

<AdrianP> +1

<AxelPolleres> +1

<sandro> http://www.w3.org/Member/ACList still lists CSMA.

<csma> RESOLVED: We approve rdf:PlainLiteral (formerly rdf:text) as ready for Candidate Recommendation (or second Last Call, if others block it from being CR), pending completion of action 834, 835 and 836.

csma: RIF needs FAQ
... all please submit some Qs

<Harold> >>What does "RIF" stand for, literally?<<

<csma> ACTION: sandro to start an FAQ wiki [recorded in http://www.w3.org/2009/06/02-rif-minutes.html#action04]

<trackbot> Created ACTION-837 - Start an FAQ wiki [on Sandro Hawke - due 2009-06-09].

<sandro> "literally", Harold?

sandro: will check pubs for broken links, etc. Please fix problems promptly!
... RIF extension asked for until end of Nov 2009

<csma> http://www.w3.org/2005/rules/wg/meeting/2009-04-17#future_of_the_WG

<Harold> Sandro, what about another (http://en.wikipedia.org/wiki/GNU) recursive acronym: "RIF's In Flux"

<ChrisW> http://www.w3.org/2005/rules/wiki/Extension_Request_2009

<sandro> Harold, is there some problem with "Rule Interchange Format"? That's what I've typed about 1000 times.

<ChrisW> I think Harold is being facetious

<ChrisW> ...as well as pointing out a legitimate faq

<ChanghaiKe> Christian, the network here is extremely slow

<sandro> http://www.w3.org/2005/rules/wg/meeting/2009-04-17

csma: we plan 4 week last call comment deadline

<sandro> chris: July 10 as deadline for comments.

<sandro> chris: CR decision on July 31

chris: (proposal) meet June 9, then every other week
... meet = RIF telecon

<sandro> chris: (4 weeks last call period)

csma: if REC in Nov, when do we need implementations?

sandro: transition from LC to CR may be overly optimistic
... at least 5 weeks

<sandro> csma: we need implementations done by the end of September.

csma: implementors should start now (last call)

sandro: implement what?
... e.g. all the different entailments, etc

Summary of Action Items

[NEW] ACTION: axel to address AlanR's comments [recorded in http://www.w3.org/2009/06/02-rif-minutes.html#action03]
[NEW] ACTION: axel to do the name changes in DTB and rdf:PlainLiteral [recorded in http://www.w3.org/2009/06/02-rif-minutes.html#action01]
[NEW] ACTION: axel to review rdf:text this week [recorded in http://www.w3.org/2009/06/02-rif-minutes.html#action02]
[NEW] ACTION: sandro to start an FAQ wiki [recorded in http://www.w3.org/2009/06/02-rif-minutes.html#action04]
 
[End of minutes]

Minutes formatted by David Booth's scribe.perl version 1.135 (CVS log)
$Date: 2009/06/02 16:27:57 $