RIF telecon 16 February 2010

16 Feb 2010


See also: IRC log


+1.845.227.aaaa, ChrisW, +5875aabb, csma, Harold, Sandro, AdrianP, Stella_Mitchell, +1.503.533.aacc, Gary, +95356aadd, +1.631.833.aaee, MichaelKifer
DaveReynolds, HassanAitKaci, JosDeBruijn, LeoraMorgenstern
Christian de Sainte Marie
Harold Boley


<csma> agendum+ Admin

<csma> agendum+ Liaisons

<csma> agendum+ Actions review

<csma> agendum+ Public comments

<csma> agendum+ Implementations

<csma> agendum+ Test cases

<csma> agendum+ AOB (next meeting)

<csma> Axel, will you join the RIF telecon?

<csma> muting works, indeed

<csma> Scribe: Harold Boley

<csma> scribenick: Harold

<csma> next item

<csma> PROPOSED: approve the minutes of last week

<csma> http://lists.w3.org/Archives/Public/public-rif-wg/2010Feb/att-0023/rif-telecon-minutes-9Feb2010.html

<csma> RESOLVED: approved the minutes of last week

<sandro> csma, your phone isnt working

<ChrisW> can you try with a real phoen?

<csma> I will call with another phone


Sandro: SPARQL-RIF compatibility volunteer found from the SPARQL side.

Chris: Also RDB2RDF WG seems relevant.

Sandro: Still early stage.
... RDB2RDF Team Contact is aware of RIF.
... In the next few months RIF should get well-known in the SemWeb community. Then this will also help with SPARQL, RDB2RDF, etc.

Actions review

<csma> next item

<ChrisW> continued

<ChrisW> (just practicing)

<StellaMitchell> modify_noloop is marked as obsolete and removed from test suite (leora's action)

Sandro: Kendell will not likely have RIF implemented.

Chris: Tried (twice) to contact Action 973 person.
... Sent email to Oracle.

<StellaMitchell> I only read it briefly, looked ok to me

Christian: All-Builtins test case is obsolete.

<csma> next item

<StellaMitchell> modify_noloop has been removed

<StellaMitchell> it is marked as obsolete already

<csma> next item

Public comments

No new one.


Gary: Oracle implementation should be compliant. But have not done compliance testing yet.

Christian: Same for IBM/ILOG.
... Dave's OWL2RL specification in RIF-Core would give us one more (Core and) PRD example.

Gary: Not main application area.

Christian: Would help to pass the exit criteria.

Gary: Cannot do this near-term. First need to implement import of RDF graphs.

Christian: Yes, import is a requirement for OWL2RL to be added.

Sandro: RIF2Python parser being worked on.
... Hoping for direct (rather than RDF-based) semantics.

I am in contact with Jos de Roo, continuing to remind him.

Adrian: Have to think about restarting implementation -- likely RIF-Core first.

Christian: A promised RIF-DTB implementation is still outstanding.

<csma> next item

Test cases

<csma> http://www.w3.org/2005/rules/wiki/AssertRetract2

<csma> PROPOSED: approve http://www.w3.org/2005/rules/wiki/AssertRetract2

<Gary> +1

<ChrisW> +1

<AdrianP> +1


<csma> RESOLVED: approve http://www.w3.org/2005/rules/wiki/AssertRetract2

<csma> http://www.w3.org/2005/rules/wiki/Builtins_XMLLiteral

<StellaMitchell> I can check the spec

<sandro> http://www.w3.org/TR/rif-dtb/#pred:XMLLiteral-equal

<sandro> http://www.w3.org/TR/rdf-concepts/#dfn-rdf-XMLLiteral

<csma> PROPOSED: approve http://www.w3.org/2005/rules/wiki/Builtins_XMLLiteral

<ChrisW> +1

<AdrianP> +1

<Gary> +1


<MichaelKifer> +1

<sandro> +1

<csma> RESOLVED: approve http://www.w3.org/2005/rules/wiki/Builtins_XMLLiteral

<ChrisW> what about External( pred:XMLLiteral-equal( "<br />"^^xs:XMLLiteral "<br/>"^^xs:XMLLiteral ) )

<csma> http://www.w3.org/2005/rules/wiki/Builtins_anyURI

<sandro> sandro: what about: External( pred:is-literal-anyURI( External ( xs:anyURI ( "http"^^xs:string ) ) ) )

<csma> http://www.w3.org/2005/rules/wiki/DTB#Casting_to_XML_Schema_Datatypes

<sandro> sandro: what about: External( pred:is-literal-int( External ( xs:int ( "x"^^xs:string ) ) ) )

<sandro> http://www.w3.org/TR/rif-dtb/#Datatype_Conversion_and_Casting

<sandro> So this is undefined, neither negative entailed nor positive entailed....? Ugh.

<Gary> sandro: need guarded casts, e.g. is-castable-to-int

<sandro> how about casting functions return some specific out-of-bounds thing?

<csma> PROPOSED: approve http://www.w3.org/2005/rules/wiki/Builtins_anyURI

<Gary> +1


<ChrisW> +1

<StellaMitchell> +1

<csma> RESOLVED: approve http://www.w3.org/2005/rules/wiki/Builtins_anyURI

<sandro> +1

<csma> http://www.w3.org/2005/rules/wiki/ElementEqualityFromListEquality

<ChrisW> looks good

<csma> PROPOSED: approve http://www.w3.org/2005/rules/wiki/ElementEqualityFromListEquality

<ChrisW> +1

<sandro> +1


<Gary> +1

<AdrianP> +1

<csma> RESOLVED: approve http://www.w3.org/2005/rules/wiki/ElementEqualityFromListEquality

<csma> http://www.w3.org/2005/rules/wiki/Equality_in_conclusion_3

<csma> PROPOSED: approve http://www.w3.org/2005/rules/wiki/Equality_in_conclusion_3


<sandro> +1

<MichaelKifer> +1

<ChrisW> +1

<AdrianP> +1

<csma> RESOLVED: approve http://www.w3.org/2005/rules/wiki/Equality_in_conclusion_3

<csma> http://www.w3.org/2005/rules/wiki/ListConstantEquality

<ChrisW> looks good

<sandro> this is only true in the case of head equality....

<csma> PROPOSED: approve http://www.w3.org/2005/rules/wiki/ListConstantEquality

<Gary> +1


<ChrisW> +1

<AdrianP> +1

<csma> RESOLVED: approve http://www.w3.org/2005/rules/wiki/ListConstantEquality

<ChrisW> looks good

<csma> http://www.w3.org/2005/rules/wiki/ListEqualityFromElementEquality

<csma> PROPOSED: approve http://www.w3.org/2005/rules/wiki/ListEqualityFromElementEquality

<sandro> +1

<ChrisW> ex:s(List(ex:a)) = ex:s(List(ex:b)) also!

<ChrisW> :)

<ChrisW> +1

<csma> RESOLVED: approve http://www.w3.org/2005/rules/wiki/ListEqualityFromElementEquality


<AdrianP> bye

Summary of Action Items

[End of minutes]

Minutes formatted by David Booth's scribe.perl version 1.135 (CVS log)
$Date: 2010/02/16 17:29:54 $

Scribe.perl diagnostic output

[Delete this section before finalizing the minutes.]
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/should soon/is a requirement for OWL2RL to/
Found Scribe: Harold Boley
Found ScribeNick: Harold
Default Present: +1.845.227.aaaa, ChrisW, +5875aabb, csma, Harold, Sandro, AdrianP, Stella_Mitchell, +1.503.533.aacc, Gary, +95356aadd, +1.631.833.aaee, MichaelKifer
Present: +1.845.227.aaaa ChrisW +5875aabb csma Harold Sandro AdrianP Stella_Mitchell +1.503.533.aacc Gary +95356aadd +1.631.833.aaee MichaelKifer
Regrets: DaveReynolds HassanAitKaci JosDeBruijn LeoraMorgenstern
Agenda: http://lists.w3.org/Archives/Public/public-rif-wg/2010Feb/0027.html
Got date from IRC log name: 16 Feb 2010
Guessing minutes URL: http://www.w3.org/2010/02/16-rif-minutes.html
People with action items: 

[End of scribe.perl diagnostic output]