14:58:50 RRSAgent has joined #rif 14:58:50 logging to http://www.w3.org/2008/09/23-rif-irc 14:59:01 rrsagent, make minutes 14:59:01 I have made the request to generate http://www.w3.org/2008/09/23-rif-minutes.html ChrisW 14:59:13 Meeting: RIF Telecon 23 Sep 2008 14:59:21 Chair: Chris Welty 14:59:50 Agenda: http://lists.w3.org/Archives/Public/public-rif-wg/2008Sep/0139.html 15:00:02 ChrisW has changed the topic to: 23 Sept RIF Telecon Agenda http://lists.w3.org/Archives/Public/public-rif-wg/2008Sep/0139.html 15:00:17 rrsagent, make logs public 15:00:36 agenda+ Admin 15:00:40 agenda+ Liason 15:00:44 agenda+ Publicity 15:00:54 agenda+ Action Review 15:00:59 agenda+ F2F11 15:01:13 agenda+ Core task force debrief 15:01:18 agenda+ PRD task force debrief 15:01:26 SW_RIF()11:00AM has now started 15:01:33 +[NRCC] 15:01:34 +Mike_Dean 15:01:37 -[NRCC] 15:01:38 agenda+ Test Cases 15:01:39 +[NRCC] 15:01:44 agenda+ AOB 15:01:52 StellaMitchell has joined #rif 15:02:43 DaveReynolds has joined #rif 15:03:04 LeoraMorgenstern has joined #rif 15:03:19 +[IBM] 15:03:30 zakim, ibm is temporarily me 15:03:30 +ChrisW; got it 15:03:32 + +1.212.781.aaaa 15:03:46 zakim, aaaa is me 15:03:46 +LeoraMorgenstern; got it 15:03:48 +??P51 15:03:54 +Dave_Reynolds (was ??P51) 15:04:19 +[IBM] 15:04:23 zakim, ibm is temporarily me 15:04:29 +StellaMitchell; got it 15:04:31 + +1.503.533.aabb 15:04:50 Hassan has joined #rif 15:04:59 +Hassan_Ait-Kaci 15:05:47 +Sandro 15:06:14 sandro has joined #rif 15:06:24 f 15:06:27 zakim, who is here? 15:06:27 On the phone I see [NRCC], Mike_Dean, ChrisW, LeoraMorgenstern, Dave_Reynolds, StellaMitchell, +1.503.533.aabb, Hassan_Ait-Kaci (muted), Sandro 15:06:28 zakim, who is on the phone? 15:06:30 On IRC I see sandro, Hassan, LeoraMorgenstern, DaveReynolds, StellaMitchell, RRSAgent, Zakim, mdean, ChrisW, Harold, trackbot 15:06:32 On the phone I see [NRCC], Mike_Dean, ChrisW, LeoraMorgenstern, Dave_Reynolds, StellaMitchell, +1.503.533.aabb, Hassan_Ait-Kaci (muted), Sandro 15:06:48 zakim, aabb is GaryHallmark 15:06:48 +GaryHallmark; got it 15:07:37 zakim, mute me 15:07:37 LeoraMorgenstern should now be muted 15:07:42 zakim, pick a victim 15:07:42 Not knowing who is chairing or who scribed recently, I propose LeoraMorgenstern (muted) 15:07:49 yes, I can scribe 15:07:53 zakim, unmute me 15:07:53 LeoraMorgenstern should no longer be muted 15:07:55 Scribe: LeoraMorgenstern 15:08:03 zakim, take up item 1 15:08:03 agendum 1. "Admin" taken up [from ChrisW] 15:08:17 http://lists.w3.org/Archives/Public/public-rif-wg/2008Sep/att-0111/00-part 15:08:26 PROPOSED: Accept last week's telecon minutes 15:08:29 Above, minutes from last week's telecon 15:08:31 +Sandro.a 15:08:40 -Sandro 15:08:41 RESOLVED: Accept last week's telecon minutes 15:09:45 double quotes in PS 15:09:48 Agenda amendments? Harold may have something --- possibly to be determined later in the call, since neither Harold nor chris remembers 15:09:59 zakim, next item 15:09:59 agendum 2. "Liason" taken up [from ChrisW] 15:10:32 Dave Reynolds had started to do some work looking on OWL rule profile 15:10:56 Dave: Translation ought to be possible, but there are two issues: 15:11:06 Dave: First issues: data type mismatch 15:11:34 Dave: But can restrict to datatypes that both OWL and RIF support 15:12:01 Dave: so there is a way to generate safe RIF Core rule set 15:12:23 http://www.w3.org/2005/rules/wiki/OWLRL#Datatypes_supported 15:13:05 Gary has joined #rif 15:13:24 Above link gives types that are and are not supported in OWL RL 15:13:26 zakim, next item 15:13:26 agendum 3. "Publicity" taken up [from ChrisW] 15:13:42 (excellent work Dave, thank you.... thinking about the issues you raise, and how to progress with them.....) 15:13:54 Chris: Good number of public comments 15:14:11 Sandro: probably okay. (11 public comments) 15:14:21 PaulVincent has joined #RIF 15:14:42 Chris: There are a couple of new comments, for which I've set up wiki pages; I've sent 3 responses out; Also have emailed a draft of response to Peter Patel-Schneider 15:15:36 Chris: responses are accessible from rif wiki home page 15:15:53 zakim, next item 15:15:53 agendum 4. "Action Review" taken up [from ChrisW] 15:17:21 Action 576 on Leora: continued until tomorrow night 15:17:21 Sorry, couldn't find user - 576 15:19:04 Action 573 on Sandro to ask for review from OWL wg on RDF & OWL 15:19:04 Sorry, couldn't find user - 573 15:19:18 Sandro's action 573 is continued 15:19:58 yes 15:20:06 Sandro's action 565 depends on Adrian sending ssh key: will straighten it out at f2f 15:20:43 actions 563, 564, and 565 are continued 15:21:13 zakim, next item 15:21:13 agendum 5. "F2F11" taken up [from ChrisW] 15:21:13 chris: pending review: some prd issues still under discussion: hopefully will be discussed at f2f 15:21:16 same for ?? 15:21:28 f2f11 starts this Friday. 15:21:42 q 15:21:46 q+ 15:23:02 +Michael_Kifer 15:23:33 zakim, next item 15:23:33 I see a speaker queue remaining and respectfully decline to close this agendum, ChrisW 15:23:38 q- 15:23:39 ack l 15:23:42 zakim, next item 15:23:42 agendum 6. "Core task force debrief" taken up [from ChrisW] 15:23:59 csma has joined #rif 15:24:15 Harold's update on Core task force (telecon on Monday, Sept. 22) 15:24:26 Harold: We went through all open issues, most of which came from Dave. 15:24:38 Harold: Much of it had already been resolved by David's previous emails. 15:24:59 Harold: In our notes can be found current state of resolution to proposed issues. 15:25:40 http://lists.w3.org/Archives/Public/public-rif-wg/2008Sep/att-0140/2008-09-22-rif-core-minutes.html 15:26:13 Issue 76 is actually special case of Issue 71 which is also agreed within the task force 15:26:47 PROPOSED: RIF Core will include member (#) but syntactically restricted its use in rule bodies. 15:27:10 There was an extra clause in the PROPOSED member resolution. 15:27:31 +Christian 15:27:46 zakim, christian is me 15:27:46 +csma; got it 15:27:53 zakim, mute me 15:27:53 csma should now be muted 15:28:19 Harold will have action to list in email proposals on which there is consensus. 15:28:26 action: harold to summarize proposed resolutions from Core task force 15:28:26 Created ACTION-578 - Summarize proposed resolutions from Core task force [on Harold Boley - due 2008-09-30]. 15:28:47 zakim, who is on the call? 15:28:47 On the phone I see [NRCC], Mike_Dean, ChrisW, LeoraMorgenstern, Dave_Reynolds, StellaMitchell, GaryHallmark, Hassan_Ait-Kaci (muted), Sandro.a, Michael_Kifer, csma (muted) 15:28:50 chris: are there any that are still contentious? 15:29:02 Issue 72 is still open 15:29:07 zakim, GaryHallmark is me 15:29:07 +Gary; got it 15:29:56 harold: existing contentious issues include: haven't worked out how inclusion of or in rule bodies affects safety. 15:30:35 dave: issues 74, 71, 76 are prety clear. 15:30:36 -Mike_Dean 15:31:40 dave: issue 48 --- membership issue --- still needs discussion, but within core group, there is compromise resolution. Issues 70, 72 still need discussion 15:33:01 PROPOSED: Core will have unrestricted equality in conditions, closing ISSUE-76 15:33:56 dave: issue 76 was special case of issue 71, so worth rephrasing and then closing 71 15:34:19 dave: (that is, 71 was rephrased) 15:34:20 PROPOSED: Core should keep unrestricted equality and external function and predicate calls in rule bodies and keep external functions calls in rule heads. 15:34:43 dave: above covers both 71 and 76 15:34:58 chris: but this is more extensive than what was in agenda today. 15:35:09 ok 15:35:10 chris: Let's wait on this, and pass it at f2f. 15:35:37 chris: any discussion about this broader resolution, which covers external calls as well as equality? 15:35:47 no questions, no discussion about this. 15:36:00 chris: this looks pretty good. No problems; we should be able to pass it at f2f. 15:36:12 q? 15:36:17 zakim, next item 15:36:17 agendum 7. "PRD task force debrief" taken up [from ChrisW] 15:36:44 zakim, unmute me 15:36:45 csma should no longer be muted 15:37:02 http://lists.w3.org/Archives/Public/public-rif-wg/2008Sep/0116.html 15:37:37 http://www.w3.org/2008/09/16-rif-prd-minutes.html 15:39:24 csma: we have a (quasi) frozen draft, but it doesn't have everything that we want to have in it. 15:40:24 gary: we'd need someone to show us how FLD can do aggregation. 15:40:58 me/ gary, you need to know how fld can do aggregation in order to share condition language? 15:41:08 me/ gary, or in order to share something else? 15:41:26 Aggregation in DLV, SPARQL, etc. 15:42:16 Aggregates as used in PRD is operational - see: http://lambda.uta.edu/monoid.ps.gz 15:42:55 s/Aggregates /Aggregation / 15:43:16 mkifer: rather complicated to do this in FLD. 15:43:32 q+ 15:43:45 mkifer: complicated in logical languages because of recursion. 15:44:58 Hassan: Should not be that complicated because aggregates as used in P 15:45:34 q- 15:45:44 Hassan: in PRD are operational, as posted above. 15:46:00 michael: probably what is being asked for will be feasible. 15:47:54 q? 15:47:57 Gary: Need to work on conflict resolution issues on PRD 15:48:26 +Mike_Dean 15:48:50 zakim, next item 15:48:50 agendum 8. "Test Cases" taken up [from ChrisW] 15:49:58 zakim, mute me 15:49:58 csma should now be muted 15:50:30 [Note: conflict resolution is issue 64] 15:50:38 *PROPOSED:* Each RIF test case MUST, eventually, be provided in RIF XML, and MAY be provided in some syntax for which a translator-to-XML has been promised. The translator SHOULD be available for use by the WG to check the translation. 15:53:29 to clarify: I am not against normative PS, for dialect where the stakeholder want one, and provided that a PS is not normative accross dialects. But even for BLD, where people seem to want a normative PS, I think very strongly that it is not a priority for this WG 15:54:43 q+ 15:55:01 ack hassan 15:55:19 chris: this does depend on Hassan finishing up the translator. 15:55:41 hassan: it is somewhat more difficult than expected to work on the P 15:55:45 q+ 15:55:45 hassan: on the P 15:56:05 hassan: on the PS to xml translator, because the spec/requirements aren't clear 15:56:20 hassan: I had a prototype of translator with strict PS syntax 15:56:25 q+ 15:56:37 hassan: because tokenizing was sound: everything was put into double quotes, and you didn't have to worry about weird syntax 15:56:49 hassan: but currently, there is some inconsistency which needs to be fixed. 15:56:57 hassan: we need t have an understanding of what a token means. 15:57:16 chris: people do understand this --- just must iron out errors 15:57:51 q? 15:57:54 hassan: yes, I am confident that it will be straightened out.. Due to my schedule (traveling through month of October), will be hard to totallly finish up, but am trying to get something working. 15:58:02 ack me 15:58:51 dave: Jeff Pan has a student Stuart Taylor, who had an implementation of early PS syntax, and is now trying to work on updates to PS syntax; perhaps those efforts can be merged, but possibly not. 15:59:07 hassan: Good. Perhaps we should have a task force on this issue. 15:59:21 ack me 15:59:26 chris: Okay, we'll send out msg to find out how many are interested in participating 15:59:51 csma: real priority is finding test cases that we recommend ... rather than working on an implementation. 16:00:10 csma: we will finally converge, but I'm afraid it will take some time. 16:02:10 hassan: we could use the original PS to express test cases. For that, the tool is already available. 16:03:06 csma: let's take whatever Hassan already has, and just use it. 16:03:09 q+ 16:03:47 we don't need a tool to write more test cases. Just to execute them, if at some time someone has something that can execute BLD-RIF-XML. 16:04:04 Hassan: but admittedly, the examples are hard to write in original PS 16:04:19 csma: but easier to write the examples in original PS than in xML. 16:04:44 Hassan: I've posted the documentation and results; I can also provide and package the code. 16:05:00 Hassan: this takes some time off other thing. 16:05:13 yes, this sounds good 16:05:27 q 16:05:31 I'd rather hope that we'll have a tool for the APS 16:05:46 I am afraid that fewer people will submit test cases if they know they must submit them in original PS. 16:06:01 As it is, most cases that have been submitted are not in original PS. 16:06:16 leora, they don't have to submit in original PS, we will fix them up for them 16:06:26 Or at least, were not first submitted in original PS. 16:06:34 Sandro: We have to have names for these two different versions of the PS, so they can be named in the Test Case 16:06:44 stella, yes, I realize. 16:06:52 q? 16:07:01 sandro, don't you think that will be more confusing 16:07:23 No, I agree with Sandro; it's good to make the distinction clear. 16:08:38 mkifer: Original PS is not subsumed by new PS 16:08:42 zakim, mute me 16:08:42 csma should now be muted 16:08:56 in "abridged" PS: "aaa" is equivalient to "aaa"^^xsd:string 16:09:31 ack harold 16:10:25 ok 16:10:32 chris: so we move forward in parallel: we continue working on test cases, and as presentation syntax improves, changes are incorporated into test change document, and in parallel, we work on implementation of translation using new spec. 16:10:33 :-) 16:11:34 q+ about keeping open the possibility to submit in any language provided someone commits to a translator 16:11:59 q+ to ask about keeping open the possibility to submit in any language provided someone commits to a translator 16:12:06 yes 16:12:09 okay 16:12:37 The question is how many of the current test cases are in which syntax? 16:13:13 Sandro, Stella is pretty much the only one who has been careful to work in original PS. 16:13:18 The rest of us have been much sloppier. 16:13:21 q? 16:13:24 ack c 16:13:24 csma, you wanted to ask about keeping open the possibility to submit in any language provided someone commits to a translator 16:13:27 So we'll need to rework our cases. 16:13:34 leora, most of the test cases are in ps 16:13:38 I guess when we have Hassan's code we can see which test cases actually parse. :-) 16:13:53 ack csma 16:14:00 Suspense ... :-) 16:14:06 chris: no need for resolution, this will just be our mode of operation. 16:14:18 (we could call the the PS's PS1/ and PS/2 :-) 16:14:56 it just makes it harder for reviewers 16:15:04 but ok with me 16:15:16 Stella, It makes it harder for us. 16:15:21 right 16:15:24 Not just the reviewers. 16:15:31 we are part of the reviewers 16:15:47 Right, but we're also the translators. 16:15:54 satella, why does it meke it more diffivcult for you? 16:16:05 The reviewers will presumably be getting the translated cases? 16:16:17 *PROPOSED:* Each RIF test case MUST, eventually, be provided in RIF XML, and MAY be provided in some syntax for which a translator-to-XML has been promised. The translator SHOULD be available for use by the WG to check the translation. 16:16:23 language->xml->ps 16:16:24 csma, if we have the reverse translator, it's ok 16:16:38 hassan just said we have 16:18:45 I think Stuart's old tool worked both ways, might be able to adapt that. 16:19:01 ACTION: Sandro implement RIF-XML to PS translator 16:19:01 Created ACTION-579 - Implement RIF-XML to PS translator [on Sandro Hawke - due 2008-09-30]. 16:19:10 PROPOSED: Each RIF test case MUST, eventually, be provided in RIF XML, and MAY be provided in some syntax for which a translator-to-XML has been promised. The translator SHOULD be available for use by the WG to check the translation. 16:19:11 zakim, mute me 16:19:11 csma should now be muted 16:19:20 sandro, the only "tricky" part is divining the Prefix() to make CURIEs look good 16:19:22 the discussino has covered it 16:19:25 Chris, the resolution seems fine. 16:19:25 seems fine 16:19:43 It's the mode of operation --- working in original PS --- that makes life somewhat harder for Stella, Adrian, and me. 16:19:50 no, leora 16:19:52 RESOLVED: Each RIF test case MUST, eventually, be provided in RIF XML, and MAY be provided in some syntax for which a translator-to-XML has been promised. The translator SHOULD be available for use by the WG to check the translation. 16:19:57 Gary, it's not hard if you don't care how good they look. :-) (seriously, I've written that kind of code 20 times.) 16:20:31 Gary, Jena has a "localname" algorithm that splits off the NCName end off a URI just a few lines of code. 16:20:40 zakim, next item 16:20:40 agendum 9. "AOB" taken up [from ChrisW] 16:20:54 zakim, unmute me 16:20:54 csma should no longer be muted 16:21:32 +1 on the telcon 16:22:05 +1 to adjourn 16:22:14 -[NRCC] 16:22:17 -Gary 16:22:18 -Dave_Reynolds 16:22:19 -StellaMitchell 16:22:21 -Hassan_Ait-Kaci 16:22:22 zakim, list attendees 16:22:22 As of this point the attendees have been [NRCC], Mike_Dean, ChrisW, +1.212.781.aaaa, LeoraMorgenstern, Dave_Reynolds, StellaMitchell, +1.503.533.aabb, Hassan_Ait-Kaci, Sandro, 16:22:26 ... Michael_Kifer, csma, Gary 16:22:40 -Mike_Dean 16:22:42 Regrets: JosDeBruijn AxelPolleres AdrianPaschke MohamedZergaoui ChanghaiKe 16:22:50 -Michael_Kifer 16:22:52 rrsagent, make minutes 16:22:52 I have made the request to generate http://www.w3.org/2008/09/23-rif-minutes.html ChrisW 16:23:03 zakim, who is on the phone? 16:23:03 On the phone I see ChrisW, LeoraMorgenstern, Sandro.a, csma 16:23:11 -LeoraMorgenstern 16:27:23 -Sandro.a 16:27:57 -csma 16:27:58 -ChrisW 16:27:58 SW_RIF()11:00AM has ended 16:27:59 Attendees were [NRCC], Mike_Dean, ChrisW, +1.212.781.aaaa, LeoraMorgenstern, Dave_Reynolds, StellaMitchell, +1.503.533.aabb, Hassan_Ait-Kaci, Sandro, Michael_Kifer, csma, Gary 16:28:20 csma has left #rif