15:52:11 RRSAgent has joined #rif 15:52:11 logging to http://www.w3.org/2008/11/18-rif-irc 15:52:20 zakim, this will be rif 15:52:20 ok, ChrisW; I see SW_RIF()11:00AM scheduled to start in 8 minutes 15:52:46 Meeting: RIF Telecon 18-Nov-08 15:52:46 Chair: Christian de Sainte-Marie 15:55:27 ChrisW has changed the topic to: 18 Nov RIF Telecon Agenda http://lists.w3.org/Archives/Public/public-rif-wg/2008Nov/0101.html 15:55:30 Agenda: http://lists.w3.org/Archives/Public/public-rif-wg/2008Nov/0101.html 15:55:58 Harold has joined #rif 15:56:03 agenda+ Admin 15:56:08 agenda+ Liason 15:56:17 agenda+ Public comments 15:56:24 agenda+ action review 15:56:31 agenda+ TF updates 15:56:35 agenda+ UCR 15:56:40 agenda+ publication plan 15:56:44 agenda+ DTB 15:56:53 agenda+ PICK SCRIBE 15:56:58 agenda+ AOB 15:57:11 zakim, next item 15:57:11 agendum 1. "Admin" taken up [from ChrisW] 15:58:49 josb has joined #rif 15:59:41 csma has joined #rif 16:00:34 SW_RIF()11:00AM has now started 16:00:41 +[IBM] 16:00:42 zakim, sing me a song 16:00:42 I don't understand 'sing me a song', ChrisW 16:00:49 zakim, ibm is temporarily me 16:00:49 +ChrisW; got it 16:01:02 +??P30 16:01:03 LeoraMorgenstern has joined #rif 16:01:07 -ChrisW 16:01:09 +ChrisW 16:01:17 +Harold 16:01:24 zakim, ??P30 is me 16:01:24 +csma; got it 16:01:42 + +1.212.781.aaaa 16:01:51 zakim. aaaa is me 16:02:00 zakim, aaaa is me 16:02:00 +LeoraMorgenstern; got it 16:02:35 okay, so I'll keep it muted as I scribe. 16:02:40 +josb 16:02:43 Thanx 16:02:46 +Sandro 16:02:46 If I need to ask a question, I'll unmute just for that moment. 16:03:28 Hassan has joined #rif 16:03:48 StellaMitchell has joined #rif 16:03:50 +Hassan_Ait-Kaci 16:04:19 zakim, who is on the phone? 16:04:20 On the phone I see ChrisW, csma, Harold, LeoraMorgenstern, josb, Sandro, Hassan_Ait-Kaci 16:04:29 +[IBM] 16:04:36 zakim, ibm is temporarily me 16:04:36 +StellaMitchell; got it 16:04:48 DaveReynolds has joined #rif 16:05:01 next item 16:05:10 item 1 16:05:12 +??P11 16:05:17 zakim, take up agendum 1 16:05:17 agendum 1. "Admin" taken up [from ChrisW] 16:05:29 PROPOSED: accept minutes of telecon November 11 16:05:37 scribenick: LeoraMorgenstern 16:05:41 http://lists.w3.org/Archives/Public/public-rif-wg/2008Nov/att-0042/2008-11-11-rif-minutes.html 16:05:52 trackbot has joined #rif 16:06:31 RESOLVED: accept minutes of telecon November 11 16:06:43 Gary_Hallmark has joined #rif 16:06:49 csma: any agenda amendments? 16:07:09 Harold: Dave Reynolds and I would like to bring in two topics from Core discussion yesterday to agenda. 16:07:38 +Gary 16:07:46 Harold: with respect to pattern matching vs. unification and also of # and ## 16:08:02 AxelPolleres has joined #rif 16:08:04 action-1? 16:08:05 ACTION-1 -- Leora Morgenstern to set up draft proposal on what we mean by FOL -- due 2006-04-30 -- CLOSED 16:08:05 http://www.w3.org/2005/rules/wg/track/actions/1 16:08:14 (just testing trackbot) 16:08:17 csma: Discussing these would take more than 5 minutes. More urgent than DTB and UCR? 16:08:19 +??P45 16:08:34 chris: Probably not, so will only discuss if there is time. 16:08:36 Harold: okay 16:08:50 zakim, take up item 2 16:08:50 agendum 2. "Liason" taken up [from ChrisW] 16:09:05 Any news, comments from liaisons? 16:09:23 csma: was RDF text published? 16:09:31 +??P54 16:09:46 sandro: no, due to publishing snafu; still debating, also, whether to send it out no, or later. 16:10:00 csma? anything new wrt XBRL (check the acronym)? 16:10:30 s/csma:/csma? 16:10:42 q? 16:10:49 next item 16:10:52 sandro: 16:11:56 chris: I have to deal with 2 public comments; Christian is supposed to deal with RAK1. 16:12:24 csma: I will address this once I have gone through the paper; will ask Gary for support. 16:12:47 Harold: text in BLD has changed somewhat. 16:12:57 chris: I'm the one who is supposed to draft the response. 16:13:11 next item 16:13:13 next item 16:14:04 Action 655 on Dave to update EBNF to match BLD is done. 16:14:04 Sorry, couldn't find user - 655 16:15:01 654: done 16:15:33 action 653 to open issue on polyadic functions per note in DTB 3.5 is continued 16:15:33 Sorry, couldn't find user - 653 16:16:11 652 to write some more pathological test cases for potentially confusing uses of iri-string predicate --- continued 16:16:11 Axel, Yes, we should have multi-arity built-ins (e.g. max and min). 16:16:17 651: done 16:16:27 650: continued (see above) 16:18:09 648 & 647 on Axel ( to add editor's note on xml schema compatibility, and add editor's note regarding status of finite/infinite characters) turned out to be the same action, and is/are done. 16:18:59 646 on Gary to draft a response to RAK: continued 16:19:11 645: Chris to send WL response is continued 16:19:20 644: Draft comment to ok: continued. 16:19:26 643: done 16:19:32 harold, a) we have no resolution on this, b) this also aplies to e.g. fn:concat, not to new, not yet agreed built-ins 16:19:45 do we have a resolution on min/max ? 16:20:07 637 on sandro to generate test case manifests: basically done, although Stella and Sandro still have to work out some details. 16:20:30 633 on Chris to discuss to how specify prefixes on email: continued, needs to be moved to PS task force. 16:20:54 604 on Axel: continued for now. 16:20:59 592: continued 16:21:42 588 on Leora: continued; part of bigger effort to collect UCR cases that can't be represented currently in RIF. 16:22:14 573, 579 on sandro: continued 16:22:32 565 on sandro (access for Adrian to CVS) is done. 16:22:56 564 on Hassan: needs to be moved to PS task force, continued 16:23:08 Michael_Kifer has joined #rif 16:23:22 439, 152 continued. 16:23:31 Pending reviews: 16:24:09 postponed to agenda discussion 16:24:12 next item 16:24:24 Task force updates. 16:25:08 csma: PRD task force: we are still discussing our next working draft; discusson will probably be concluded later today. 16:25:22 +Michael_Kifer 16:27:34 chris: PS task force: We met on Friday. We split issues into 2 categoreis: (1) making the syntax more presentable (2) making the syntax less ambiguous. We came up with a set of changes that should reduce the ambiguities. Everyone including Hassan was content. Hassan is working through some implementational issues before changes can be tested. 16:28:05 chris: still a lot of disagreement about what's presentable. Hard to judge presentability, especially with a group so used to doing things in particular ways. 16:28:18 chris: easier to reduce ambiguity, because there are clear technical requirements. 16:28:23 I will send to whole group 16:28:51 done 16:28:56 ok 16:28:57 q? 16:29:41 harold: perhaps we should look at OWL working group since many in RIF group will want to use RIF rules with OWL ontology. 16:30:01 +1 on Harold's suggestion to get inspired on OWL's abstract syntax 16:30:12 http://lists.w3.org/Archives/Public/public-rif-wg/2008Nov/0103.html 16:30:20 Harold: Core task force. Minutes linked above. 16:31:08 Harold: Discussed member and subclass. Consensus: have # in rule bodies. 16:31:36 Harold: More constructs on Core defined by referring to BLD. Process not finished, but should be done by Monday. 16:31:55 csma: Does this mean implementing Core will require reading and understanding BLD? 16:32:33 harold: yes, and PRD too. 16:33:02 q+ 16:33:31 csma: Doesn't that make things more difficult for people who just want to implement Core? 16:33:32 ack Dave 16:34:13 harold: yes, but necessary to facilitate maintenance. 16:34:53 dave: yes, otherwise there would be tremendous amounts of duplication. 16:35:27 csma: why not explicitly specify in Core, and have BLD and PRD make reference to it? 16:35:39 harold: Because BLD is further advanced, and last call, why Core is not yet stable. 16:35:48 PRD colleagues, could you pleas briefly bring up if http://www.w3.org/2005/rules/wiki/Core#Intersection_of_RIF-PRD_and_RIF-BLD is fine for the FPWD of Core? 16:36:04 harold: and Core is less than the intersection of PRD and BLD. 16:36:48 harold: easier to extend BLD and PRD to Core. 16:36:58 next item 16:37:10 Yes, less than intersection. 16:37:33 http://lists.w3.org/Archives/Public/public-rif-wg/2008Nov/0041.html 16:37:46 adrian: I added two new requirements to UCR 16:38:27 adrian: First: inter-dialect and intra-dialect interoperability 16:39:21 adrian: this had never been explicitly stated 16:39:21 RIF must allow intra-dialect interoperation, i.e. interoperability between 16:39:22 semantically similar rule languages (via interchange of RIF rules) within 16:39:22 one dialect, and it should support inter-dialect interoperation, i.e. 16:39:22 interoperation between different dialects with maximum overlap. 16:40:20 q+ 16:40:24 csma: discussion? Any objections to this requirement? 16:40:27 ack dave 16:41:04 Dave: Just some comments on how this got lost: We had this requirements structure, and interoperatibility wa one of the high-level goals. 16:41:22 Dave: (i.e., high-level goal rather than requirement) 16:41:31 q- 16:43:21 q+ to ask about interop req 16:43:26 csma: So perhaps interoperabilty should be moved to a high-level requirement. Structure things so that there's no overlap. 16:43:35 RIF must support internationalized text - that is, text that additionally 16:43:36 conveys information in terms of a language tag. 16:43:56 adrian: Second requirement: internationalized text (see above). 16:43:58 q- 16:44:42 csma: any discussion or objection to internationalized text requirement? 16:45:25 csma: we'll have a resolution next week about this. 16:46:10 sandro: Is interoperability just restricted to common substrates of the dialects? 16:46:41 "maximum overlap" had been my comment 16:48:49 csma: summary: resolution next week regarding internationalized text; while interoperatibility still under discussion 16:48:51 next item 16:49:50 csma: according to plan UCR. Core, Test, PRD, due to be frozen today. (missing something. Get) 16:50:05 Note to self: add DTB to above list. 16:50:34 chris: UCR has been reviewed 16:50:35 q+ 16:51:04 adrian: some open examples and work needs to be done on the examples 16:51:16 ack LeoraM 16:52:31 adrian: but otherwise ready for next publication 16:53:02 harold: There will be some changes before we can freeze it. Our target for freezable core is Monday, Nov. 24 16:53:34 next Mon should be ok 16:53:43 harold: gary, michael, and dave may need more time 16:53:45 http://www.w3.org/2005/rules/wiki/Core 16:53:55 zakim, who is here 16:53:55 ChrisW, you need to end that query with '?' 16:53:58 next Mon should be ok 16:53:59 zakim, who is here? 16:53:59 On the phone I see ChrisW, csma, Harold, LeoraMorgenstern, josb, Sandro, Hassan_Ait-Kaci (muted), StellaMitchell, DaveReynolds, Gary, ??P45, AxelPolleres, Michael_Kifer 16:54:02 On IRC I see Michael_Kifer, AxelPolleres, Gary, trackbot, DaveReynolds, StellaMitchell, Hassan, LeoraMorgenstern, csma, josb, Harold, RRSAgent, Zakim, ChrisW, sandro 16:54:07 I can review core 16:54:18 The EBNF updates are done modulo decisions on #/## and external functions 16:54:19 zakim, ??p45 is AdrianP 16:54:19 +AdrianP; got it 16:54:46 action: csma to review Core by two weeks 16:54:46 Created ACTION-656 - Review Core by two weeks [on Christian de Sainte Marie - due 2008-11-25]. 16:55:17 action: leora to review core by two weeks 16:55:17 Created ACTION-657 - Review core by two weeks [on Leora Morgenstern - due 2008-11-25]. 16:56:59 csma: PRD: we still have the question of # ##, but not holding up PRD since i's a working draft. 16:57:10 csma: xml, external data models, also not in this draft. 16:57:47 csma: should be able to have this WD done by Friday. 16:57:57 csma: so we'll freeze by Friday. 16:58:51 hassan, would you have time to review PRD? 16:59:17 action: mkifer to review Core in two weeks 16:59:17 Created ACTION-658 - Review Core in two weeks [on Michael Kifer - due 2008-11-25]. 17:00:13 action: hassan to review PRD - due in two weeks 17:00:13 Created ACTION-659 - review PRD [on Hassan Ait-Kaci - due 2008-11-18]. 17:00:33 3^D 17:00:42 action-659 due 2008-12-03 17:00:43 ACTION-659 review PRD due date now 2008-12-03 17:01:14 stella: Test is ready to freeze. Still needs more work, especially wrt format, but Sandro feels it's okay for a first pass. 17:02:11 action: sandro to review test - due Dec 02 17:02:11 Created ACTION-660 - review test [on Sandro Hawke - due 2008-12-02]. 17:02:51 action: gary to review test - due Dec 02 17:02:51 Created ACTION-661 - review test [on Gary Hallmark - due 2008-12-02]. 17:02:57 Stella, Adrian, should there perhaps be a pointer inthe Test doc to the spreadsheet that I prepared regarding the test caes? 17:03:42 jos: DTB: Edtiing editor's note still needs to be done. Action 604 needs to be done. 17:04:01 s/jos/axel/ 17:04:01 note to self: that was Axel, not jos. 17:04:57 chris: DTB has been reviewed. 17:05:13 axel: making changes in response to reviews. Should be done by the end of the week. 17:06:03 q+ 17:06:25 ack josb 17:06:28 axel: everything not done is marked with editor's notes. I will leave editor's notes, but may still make some changes to improve situaiton. 17:06:51 jos: Not all my comments resulted in editor's note, e.g., mapping , data type conversions. 17:07:51 axel: I will add editor's notes as needed. 17:08:45 next item 17:08:54 http://www.w3.org/2005/rules/wg/track/issues/67 17:09:00 This has already been done in above discussion. 17:09:02 next item 17:09:08 well, it needs to be closed now. 17:09:14 next item 17:09:23 close agendum 8 17:10:15 Next topic to discuss: Issue 67 17:11:45 Issue 67: inconsistency in hte way numeric-less-than operator is used. 17:12:10 q? 17:12:57 josb: not natural to compare strings in the same way as numbers: numbers have a natural ordering 17:13:34 Strings have lexicographic ordering. 17:13:38 s/Alex/Axel/ 17:14:14 Gary: What's more important for strings is equal and non-equal, rather than ordering. 17:14:31 from fn:compare (xpath-functions): This function, invoked with the first signature, backs up the "eq", "ne", "gt", "lt", "le" and "ge" operators on string values. 17:16:22 chris: Also, issues 79, 80, 81. 17:16:33 Note: fix above, that is csma, not chris. 17:18:45 csma: propose to have equal and non-equal for all those types (strings, etc.) and to leave the greater than and less than issues for now. 17:19:32 Axel: I'd prefer to mark this with an editor's note, rather than remove the gt, lt, le, ge orderings in those cases. 17:19:43 s/chris:/csma:/ 17:20:09 axel: issue 67, and thus the editor's note, was only on strings. 17:20:57 csma has joined #rif 17:21:13 Sorry I have to leave slightly early: no objection to =/!= on strings; regarding issue 80 I don't think this is yet closable 17:21:44 -DaveReynolds 17:22:09 I see no point in closing "half" of the issue... 17:22:14 ... to be honest. 17:22:39 PROPOSED: Add equal and not-equal builtins for string 17:23:33 Axel: why is equal and not-equal less contentious than gt and lt? 17:24:47 I think for DTB, which is a kind of taxonomy of mostly independent features (built-ins) we should keep reasonable built-ins, so DTB has a chance to become the ground layer of built-ins for the (Semantic) Web. 17:25:31 no, as it stands DTB is a part of BLD 17:26:16 As i typed earlier, fn:compare in Xquery/Xpath backs up eq, ne, gt, and lt... so if we only want to have half of those... fine. 17:26:30 http://www.w3.org/TR/xpath-functions/#func-compare 17:27:51 action: csma to put string= proposed resolution on next week's agenda 17:27:52 Created ACTION-662 - Put string= proposed resolution on next week's agenda [on Christian de Sainte Marie - due 2008-11-25]. 17:28:01 +1 to adjourn 17:28:15 next item 17:28:23 -josb 17:28:25 Adrian is scribe for next week 17:28:29 -Harold 17:28:31 -AxelPolleres 17:28:31 -StellaMitchell 17:28:31 -Hassan_Ait-Kaci 17:28:32 -Michael_Kifer 17:28:36 rrsagent, make logs public 17:28:38 next item 17:28:40 rrsagent, make minutes 17:28:40 I have made the request to generate http://www.w3.org/2008/11/18-rif-minutes.html ChrisW 17:28:43 -Gary 17:29:02 -AdrianP 17:29:27 Regrets: PaulVincent 17:29:31 zakim, list attendees 17:29:31 As of this point the attendees have been ChrisW, Harold, csma, +1.212.781.aaaa, LeoraMorgenstern, josb, Sandro, Hassan_Ait-Kaci, StellaMitchell, DaveReynolds, Gary, AxelPolleres, 17:29:35 ... Michael_Kifer, AdrianP 17:29:39 rrsagent, make minutes 17:29:39 I have made the request to generate http://www.w3.org/2008/11/18-rif-minutes.html ChrisW 17:31:20 action: chris to consider issue on representing test cases in BLD (not expressive for a lot of cases) 17:31:36 trackbot? 17:32:23 -LeoraMorgenstern 17:33:02 Created ACTION-663 - Consider issue on representing test cases in BLD (not expressive for a lot of cases) [on Christopher Welty - due 2008-11-25]. 17:34:46 -Sandro 17:34:47 -ChrisW 17:34:48 -csma 17:34:49 SW_RIF()11:00AM has ended 17:34:50 Attendees were ChrisW, Harold, csma, +1.212.781.aaaa, LeoraMorgenstern, josb, Sandro, Hassan_Ait-Kaci, StellaMitchell, DaveReynolds, Gary, AxelPolleres, Michael_Kifer, AdrianP