Admin

<ChrisW> scribenick: Harold

<ChrisW> last meeting minutes: http://lists.w3.org/Archives/Public/public-rif-wg/2010May/att-0003/20-rif-minutes.html

<ChrisW> PROPOSED: Approve minutes of last meeting

<ChrisW> RESOLVED: Approve minutes of last meeting

Liason

<ChrisW> sandro??????

<ChrisW> you coming back?

Actions

<ChrisW> close action-1003

<trackbot> ACTION-1003 Copy the OWL text about XSD1.1 to DTB, copying http://www.w3.org/TR/2009/REC-owl2-conformance-20091027/#XML_Schema_Datatypes into DTB 2.3, changing OWL to RIF. closed

close action-1002

<trackbot> ACTION-1002 Update DTB to remove at-risk features and update change log closed

close action-1000

<trackbot> ACTION-1000 Update http://lists.w3.org/Archives/Public/public-rif-comments/2009Nov/att-0015/RIF-CASPD.html remove "W3C Note" closed

close action-998

<trackbot> ACTION-998 Prepare preview drafts closed

close action-969

<trackbot> ACTION-969 Draft response on public comment JA closed

Public Comments

List Syntax

http://lists.w3.org/Archives/Public/public-rif-wg/2010Apr/0032.html

<ChrisW> PROPOSED: Validate the corrected XML syntax of lists, allowing annotations and aligning with the other constructs.

<DaveReynolds> +1

<Gary> +1

+1

<Adrian> +1

<ChrisW> Sandro (on phone): +1

<ChrisW> RESOLVED: Validate the corrected XML syntax of lists, allowing annotations and aligning with the other constructs.

PR transition update

http://www.w3.org/2005/rules/wiki/FLD#Appendix:_A_Subframework_for_Herbrand_Semantic_Structures

Chris: Need reviewers

Adrian: Can take a look.

Chris: Next couple of days.

<ChrisW> ACTION: Adrian to review new FLD appendix on herbrand structures [recorded in http://www.w3.org/2010/05/04-rif-minutes.html#action01]

<trackbot> Created ACTION-1007 - Review new FLD appendix on herbrand structures [on Adrian Paschke - due 2010-05-11].

Chris: Conditional on that, we are approved to go to PR.
... Need to get Public Relations out for these Proposed Recommendations.
... Last time we need to drum up interest.
... Make Statements of Support for RIF.
... E.g.: Implementers and Users.

Sandro: Will send email about such 'Testimonials'.
... Everyone who has a product in that space can participate.

Chris: Gary, Christian/Chris need to make PR their machineries going.

Sandro: Next week, Tue, W3C will send a msg about this.
... Mid/End of June the Rec could be out.

Chris: Christian/Chris will give Semech presentations on RIF around that time.
... Right after that, there will be an RDF workshop.
... If interested, let Chris know.

Sandro: May send emails on formatting issues soon.
... Process is: Goes to PR next week. Then Advisory Committee need to decide. Rec would then follow.

NRC's AC Rep: Danny d'Amour.

Sandro: Oracle's AC Rep: Dr. Gutentag (formerly Sun)
... Good time for joining W3C, because the 'Testimonials' also help the companies doing them.

Dave: Former HP colleagues, ...

Chris: Contact people who were (formally) in the WG but no longer read WG email.

 

<ChrisW> sandro: send chris an email list of RIF WG members

<ChrisW> http://www.w3.org/Member/ACList

Sandro: After the PR is announced we should ping these colleagues.

<ChrisW> ACTION: sandro to send chris an email list of RIF WG members [recorded in http://www.w3.org/2010/05/04-rif-minutes.html#action02]

<trackbot> Created ACTION-1008 - Send chris an email list of RIF WG members [on Sandro Hawke - due 2010-05-11].

Jos: Can also read Herbrand Semantic Structures.

<ChrisW> ACTION: josb to review Appendix A of FLD [recorded in http://www.w3.org/2010/05/04-rif-minutes.html#action03]

<trackbot> Created ACTION-1009 - Review Appendix A of FLD [on Jos de Bruijn - due 2010-05-11].

Chris: Started to review proofs of SWC document.
... But am not through yet.
... Notation MIGHT be confused.
... So far haven't found real issue.

Test Cases

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

Chris: Has no Presentation Syntax.

Jos: All Test cases should have a PS, if only for uniformity.

Dave: Even XML doesn't appear to be there.

<ChrisW> ACTION: Sandro to try and translate Fibonacci test case to presentation syntax [recorded in http://www.w3.org/2010/05/04-rif-minutes.html#action04]

<trackbot> Created ACTION-1010 - Try and translate Fibonacci test case to presentation syntax [on Sandro Hawke - due 2010-05-11].

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

Chris: Problem is not the imported document but the RIF document itself.

Jos: Both are reasons for rejection.

Sandro: Maybe have two different tests.

Jos: I do it right now.

Sandro: Stella should re-generate the XML later.

<ChrisW> ACTION: jos to add an import rejection test case for an empty rdf file [recorded in http://www.w3.org/2010/05/04-rif-minutes.html#action05]

<trackbot> Created ACTION-1011 - Add an import rejection test case for an empty rdf file [on Jos de Bruijn - due 2010-05-11].

<josb> Ontology()

<sandro> jos: "ontologies without a name are given a blank node", so it's okay to use _:x rdf:type owl:Ontology.

Jos: Modifier of dialect in the wiki template is not being rendered when you view it.

<ChrisW> ACTION: josb to review all test cases for use of "importProfile" wiki attribute [recorded in http://www.w3.org/2010/05/04-rif-minutes.html#action06]

<trackbot> Created ACTION-1012 - Review all test cases for use of "importProfile" wiki attribute [on Jos de Bruijn - due 2010-05-11].

Sandro: Update the wiki template importProfile right now.

<ChrisW> PROPOSED: Approve test case OWL_Combination_Invalid_DL_Formula

<ChrisW> +1

<DaveReynolds> +1

+1

<josb> +1

<sandro> +1

<Adrian> +1

<Gary> +1

<ChrisW> RESOLVED: Approve test case OWL_Combination_Invalid_DL_Formula

<josb> I made the test case: OWL_Combination_Invalid_DL_Import

<josb> http://www.w3.org/2005/rules/wiki/OWL_Combination_Invalid_DL_Import

<ChrisW> PROPOSED: OWL_Combination_Invalid_DL_Import

<sandro> +1

<DaveReynolds> +1

<ChrisW> +1

<ChrisW> PROPOSED: Approve test case OWL_Combination_Invalid_DL_Import

<josb> +1

+1

<Adrian> +1

<ChrisW> +1

<Gary> +1

<DaveReynolds> +1

<ChrisW> RESOLVED: Approve test case OWL_Combination_Invalid_DL_Import

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

Chris: SpecRef is BLD but the Dialect is Core.

Sandro: Would use more narrow SpecRef within BLD (where it's actually described).

<sandro> Gary: lets used 10 instead of "10"^^xs:integer)

Gary: Could we not write 10 instead "10"^^xs:integer ?

Sandro: My tool accepts this PS shortcut.

<sandro> sandro: how about "positional arguments" instead of "ordered relations"

<sandro> (general agreement, Chris renames it.)

<sandro> rename http://www.w3.org/2005/rules/wiki/Unordered_Relations to Named_Arguments ?

<Adrian> fine with the change

Dave/Sandro: Names of named arguments can be a string.

Sandro: Parser needs look-ahead until it finds forward-arrow or not.

<ChrisW> PROPOSED: Approve test case Named_Arguments

<ChrisW> +1

<sandro> +1

<DaveReynolds> +1

<Adrian> +1

<ChrisW> RESOLVED: Approve test case Named_Arguments

<ChrisW> RESOLVED: Approve test case Positional_Arguments

<ChrisW> +1

<sandro> +1

+1

<DaveReynolds> +1 :)

<ChrisW> RESOLVED: Approve test case Positional_Arguments

<josb> +1

<Gary> +1

<josb> +1

<Adrian> +1

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

Chris: Another one without PS and with broken links.

Dave: Same for Purchase.

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

Dave: Supposed to illustrate the syntactic difference.

Jos: Make PLAINLITERAL out of it?
... or change it back to string?

<ChrisW> Proposed: approve test case RDF_Combination_Constant_Equivalence_4

+1

<ChrisW> +1

<Adrian> +1

<Gary> +1

<DaveReynolds> +1

<ChrisW> Resolved: approve test case RDF_Combination_Constant_Equivalence_4

<josb> +1