15:42:39 RRSAgent has joined #rif 15:42:39 logging to http://www.w3.org/2007/12/04-rif-irc 15:43:31 topic: 4 December RIF telecon, agenda: http://lists.w3.org/Archives/Public/public-rif-wg/2007Dec/0001.html 15:44:37 zakim, this will be rif 15:44:37 "rif" matches SW_RIF()11:00AM, and Team_(rifc)15:29Z, csma 15:45:08 Meeting: RIF telecon 4 December 07 15:45:26 Chair: Chris Welty 15:45:45 Agenda: http://lists.w3.org/Archives/Public/public-rif-wg/2007Dec/0001.html 15:46:00 Scribe: Adrian Giurca 15:46:13 scribenick: agiurca 15:46:30 topic #rif 4 December RIF telecon, agenda: http://lists.w3.org/Archives/Public/public-rif-wg/2007Dec/0001.html 15:46:50 csma has changed the topic to: 4 December RIF telecon, agenda: http://lists.w3.org/Archives/Public/public-rif-wg/2007Dec/0001.html 15:46:57 zakim, list agenda 15:46:57 I see nothing on the agenda 15:47:21 agenda+ Admin 15:47:37 agenda+ liaisons 15:47:42 agenda+ F2F 15:47:56 agenda+ issue 42 15:48:25 agenda+ issue 40 (builtins) 15:48:53 agenda+ issue 44 (Named arguments Uniterm) 15:49:05 agenda+ issue 45 (lists) 15:57:53 SW_RIF()11:00AM has now started 15:58:05 +Mike_Dean 15:59:44 Harold has joined #rif 15:59:54 josb has joined #rif 16:00:05 mdean has joined #rif 16:00:35 DaveReynolds has joined #rif 16:00:51 IgorMozetic has joined #rif 16:00:56 +[NRCC] 16:00:57 patranja has joined #rif 16:01:00 + +39.047.1.aaaa 16:01:10 +??P7 16:01:12 zakim, [NRCC] is me 16:01:12 +Harold; got it 16:01:14 + +1.646.842.aabb 16:01:32 StellaMitchell has joined #rif 16:01:39 +[IBM] 16:01:46 zakim, ibm is temporarily me 16:01:46 +ChrisW; got it 16:01:52 PaulVincent has joined #rif 16:01:54 agiurca has joined #rif 16:02:43 zakim, who is on the phone? 16:02:45 On the phone I see Mike_Dean, Harold, josb, ??P7, +1.646.842.aabb (muted), ChrisW 16:02:48 +[IBM] 16:02:56 zakim, ??P7 is me 16:02:57 +[TU-Cottbus] 16:02:58 zakim, aabb is LeoraMorgenstern 16:03:00 zakim, [ibm] is temporarily me 16:03:00 +csma; got it 16:03:02 +LeoraMorgenstern; got it 16:03:03 +??P24 16:03:05 +Dave_Reynolds (was ??P24) 16:03:06 +StellaMitchell; got it 16:03:14 zakim, TU-Cottbus is me 16:03:14 +agiurca; got it 16:03:23 zakim, mute me 16:03:23 agiurca should now be muted 16:03:27 zakim, mute me 16:03:27 csma should now be muted 16:03:27 Scribe: agiurca 16:03:41 yes 16:03:48 zakim, unmute me 16:03:48 agiurca should no longer be muted 16:04:01 +??P13 16:04:02 zakim, mute me 16:04:02 agiurca should now be muted 16:04:10 zakim, ??P13 is me 16:04:11 +IgorMozetic; got it 16:04:18 zakim, mute me 16:04:18 IgorMozetic should now be muted 16:04:20 +[LMU] 16:04:29 http://lists.w3.org/Archives/Public/public-rif-wg/2007Dec/0001.html 16:04:47 http://lists.w3.org/Archives/Public/public-rif-wg/2007Nov/att-0084/2007-11-27-rif-minutes-edited.htm 16:05:07 hak has joined #rif 16:05:22 q+ 16:05:26 +Hassan_Ait-Kaci 16:05:27 actually http://lists.w3.org/Archives/Public/public-rif-wg/2007Dec/att-0005/2007-11-27-rif-minutes-revised.htm 16:05:31 ChrisW: Minutes of last telecon, approved 16:05:32 ack josb 16:05:41 zakim, unmute me 16:05:41 csma should no longer be muted 16:05:54 AxelPolleres has joined #rif 16:06:28 zakim, who is on the phone? 16:06:28 On the phone I see Mike_Dean, Harold, josb, csma, LeoraMorgenstern (muted), ChrisW, StellaMitchell, agiurca (muted), Dave_Reynolds, IgorMozetic (muted), PaulaP (muted), 16:06:31 ... Hassan_Ait-Kaci 16:06:38 +??P30 16:06:48 csma: Axel has a formal action (not official) to send a reply to a public comment 16:06:54 +??P32 16:07:06 Zakim, ??P32 is me 16:07:06 +hak; got it 16:07:27 -hak 16:07:43 AxelPoleres: I did not answer yet to the public question but I will do it immediate 16:08:27 Axel was not there last time 16:08:37 +Sandro 16:10:22 +[IPcaller] 16:10:52 If it's only one week till MichaelK is back, then we might wait. 16:11:24 ChrisW: Jos, can you reply to the Peter email? 16:11:40 q+ 16:12:03 JosB: I can answer to some questions but many of them are related to design questions (i.e. Michael and Harold) 16:12:51 ack h 16:13:06 zakim, mute me 16:13:06 csma should now be muted 16:13:23 ChrisW: Move to next agenda: Liaison 16:13:24 zakim, next item 16:13:24 agendum 1. "Admin" taken up [from csma] 16:13:30 zakim, close item 1 16:13:30 agendum 1, Admin, closed 16:13:31 I see 7 items remaining on the agenda; the next one is 16:13:32 2. liaisons [from csma] 16:13:39 q+ 16:13:41 zakim, unmute me 16:13:41 csma should no longer be muted 16:13:43 zakim, take up item 3 16:13:43 agendum 3. "F2F" taken up [from csma] 16:13:45 Liaison: might be of interest: OMG are holding a vocabulary management meeting next week 16:14:49 csma: Next F2F in Paris 16:15:08 Feb 21-22 next F2F 16:17:45 ChrisW: We have to vote for Paris/Galway location 16:19:36 JosB: Which thinks will be sponsored by ILOG 16:19:59 csma: I have to complete with other info (such as dinner etc) 16:20:20 sandro: Do we have special rates for hotels? 16:20:39 csma: I have to check the rates too 16:21:38 +Gary_Hallmark 16:22:20 GaryHallmark has joined #rif 16:22:23 q? 16:22:35 ack jos 16:23:06 BTW: reply mail to public-rif-comments is sent. 16:23:29 action: axel to reply to public-rif-comment 16:23:30 Created ACTION-388 - Reply to public-rif-comment [on Axel Polleres - due 2007-12-11]. 16:24:35 action Jos de Bruijn to make a pass on the wiki page for responses to public comments 16:24:44 action: Jos de Bruijn to make a pass on the wiki page for responses to public comments 16:24:44 Sorry, amibiguous username (more than one match) - Jos 16:24:44 Try using a different identifier, such as family name or username (eg. jderoo, jdebruij) 16:24:55 action: Bruijn to make a pass on the wiki page for responses to public comments 16:24:55 Sorry, couldn't find user - Bruijn 16:25:16 MichaelKifer has joined #rif 16:25:34 action: jos_de_bruijn to make a pass on the wiki page for responses to public comments 16:25:34 Sorry, couldn't find user - jos_de_bruijn 16:25:42 rifbot, you are an idiot 16:26:08 action: jdebruijn to make a pass on the wiki page for responses to public comments 16:26:08 Sorry, couldn't find user - jdebruijn 16:26:08 + +1.631.833.aacc 16:26:14 action: jdebruij to make a pass on the wiki page for responses to public comments 16:26:14 Created ACTION-389 - Make a pass on the wiki page for responses to public comments [on Jos de Bruijn - due 2007-12-11]. 16:26:25 zakim, aacc is me 16:26:26 +MichaelKifer; got it 16:26:34 zakim, mute me 16:26:34 MichaelKifer should now be muted 16:26:57 zakim, take up item 4 16:26:57 agendum 4. "issue 42" taken up [from csma] 16:27:35 ChrisW: Next item: Issue 42 (rif:text) 16:27:43 action: christian to finish F2F9 proposal 16:27:43 Created ACTION-390 - Finish F2F9 proposal [on Christian de Sainte Marie - due 2007-12-11]. 16:28:00 action: to axel to finish F2F9 proposal 16:28:00 Sorry, couldn't find user - to 16:28:28 action: AxelPolleres to finish F2F9 proposal 16:28:28 Sorry, couldn't find user - AxelPolleres 16:28:51 zakim, unmute me 16:28:51 MichaelKifer should no longer be muted 16:29:00 q? 16:29:50 action: apol to finish F2F9 proposal 16:29:50 Sorry, couldn't find user - apol 16:30:09 zakim, mute me 16:30:09 MichaelKifer should now be muted 16:30:25 action: axel to finish f2f9 proposal 16:30:25 Created ACTION-391 - Finish f2f9 proposal [on Axel Polleres - due 2007-12-11]. 16:30:50 action: sandro to set up wbs for f2f9 on friday 16:30:50 Created ACTION-392 - Set up wbs for f2f9 on friday [on Sandro Hawke - due 2007-12-11]. 16:34:50 issue 42: Conceptually a text constant is a pair of a unicode string and a language tag. 16:34:52 Currently we handle this by means of a rif:text datatype. By virtue of the 16:34:54 current definition of a datatype that means it needs a simple lexical space 16:34:55 which is currently described as "string@lang". 16:34:57 However, in the XML representation we will use the xml:lang attribute to carry 16:34:59 the language code and the string will be conveyed in the element content. So the 16:35:00 "string@lang" lexical form is not explicitly part of the XML representation and 16:35:02 a RIF processor, working from XML, would not be expected to explicitly 16:35:04 materialize the "string@lang" lexical form at any stage. 16:35:05 It is unclear whether this is a problem, or a possible confusion that needs to 16:35:06 -Mike_Dean 16:35:07 be explained further or a non-issue. 16:35:08 We are raising it as an issue to record that we have thought about it and may 16:35:10 need to examine it further in the future but it is not something we currently 16:35:11 regard as a barrier to at least the next working draft. 16:36:04 +Mike_Dean 16:36:22 zakim, who is on the phone? 16:36:22 On the phone I see Harold, josb, csma, LeoraMorgenstern (muted), ChrisW, StellaMitchell, agiurca (muted), Dave_Reynolds, IgorMozetic (muted), PaulaP (muted), Hassan_Ait-Kaci, 16:36:26 ... AxelPolleres, Sandro, PaulVincent, Gary_Hallmark, MichaelKifer (muted), Mike_Dean 16:36:54 Adrian, are scribing off-line? 16:37:27 No comments of Sandro regarding rif:text issue 16:38:37 which is to say -- I'm not really happy with this solution -- just using the mapping table -- but I don't see any serious harm from it, so I wont object. 16:38:41 PROPOSED: Resolve Issue 42 such that the relationship between the xml syntax treatment of constants and the presentation treatment of constants is specified in the syntax mapping table 16:39:50 sandro: I think the issue should be closed as Chris proposed 16:39:59 -0: I wont object 16:40:16 (abstain) 16:40:22 (abstain) 16:40:28 (abstain) 16:40:58 No other objections 16:41:03 RESOLVED: Resolve Issue 42 such that the relationship between the xml syntax treatment of constants and the presentation treatment of constants is specified in the syntax mapping table 16:41:15 zakim, next item 16:41:15 agendum 2. "liaisons" taken up [from csma] 16:41:22 zakim, close item 2 16:41:22 agendum 2, liaisons, closed 16:41:24 I see 5 items remaining on the agenda; the next one is 16:41:25 3. F2F [from csma] 16:41:39 zakim, take up item 5 16:41:39 agendum 5. "issue 40 (builtins)" taken up [from csma] 16:42:03 ChrisW: What is the issue around builtins 16:42:22 csma: A discussion about the mechanism to identify builtins 16:43:00 q+ 16:43:14 http://www.w3.org/2005/rules/wg/wiki/List_of_BLD_built-ins 16:43:31 lists also a couple of issues to be discussed 16:44:17 seems that builtins will be identified by IRI 16:44:44 I was offline the last few days, but I also feel unease with it! 16:44:50 josb: I would object on that. We need syntactic distinction between builtins and other predicates 16:44:55 mdean has joined #rif 16:45:01 q+ 16:45:20 ack josb 16:47:08 ack axel 16:47:25 AxelPolleres: We need distinguish them syntactically 16:47:29 me too 16:47:31 yes 16:47:43 q+ 16:47:58 +1 Axel, a builtin should be part of a dialect, syntactically. 16:48:29 ... and a dialect should also define under which binding patterns they are usable. 16:49:16 +1 for built-ins as part of a dialect 16:49:33 q? 16:49:42 sorry, as I said, I was mainly offline since last week and only reutnred yesterday night. 16:49:43 csma: I would expect people to react to the emails concerning a specific subject 16:49:44 ack j 16:50:20 q+ 16:50:33 josb: They say (csma) that chould be a fixed list of builtins but I'm in favor of an open list 16:50:37 +1 for Josb: having an open ended list of buildins 16:50:49 the list IS extensible by dialect extensibility... why would we want two extensibility mechanisms?!? 16:50:55 May I suggest that we use two different names: builtin for what is fixed and belongs to a dialect 16:51:03 q+ 16:51:10 and eg external call for what is open and free 16:51:14 ack csma 16:51:38 csma: I'm in favor of an open list of builtins 16:52:11 csma: The dialect should also have a fixed list of builtins part of it 16:52:22 +1 for csma's point 16:52:31 ack c 16:52:32 +1 csma: fixed list of bultins, open list of external calls 16:52:34 ack ax 16:53:14 q+ 16:54:01 +1 Axel: it's important for a receiver to know whether a given function is expected to be built-in or not. 16:56:15 csma: A specific dialect has a specific list of builtins which are external calls necessary to be implemented 16:56:24 q+ 16:56:41 csma: but out of that there might be other external calls 16:56:51 zakim, unmute me 16:56:51 MichaelKifer should no longer be muted 16:57:22 zakim, mute me 16:57:22 MichaelKifer should now be muted 16:57:23 ack m 16:57:25 ack j 16:57:26 q- 16:57:30 MichaelKifer: I propose an action to JosB or Axel to clarify addressing of builtins 16:57:32 Where the IRI of a 'builtin' points (to a RIF dialect or to some external library), would show what kind of 'builtin' it is. 16:58:55 just to make clear: I do NOT want 2 different forms of built-ins/external function calls. I was rather suggesting that only the ones defined in the dialect should be allowed. If you need more, extend the dialect. 17:00:28 q? 17:00:33 q+ 17:00:39 With IRIs as the distinguishing element, we would not need other syntactic means. 17:00:42 q+ 17:00:52 q- 17:01:11 ack csma 17:01:18 q+ 17:01:55 ack csma 17:02:36 Recall the MichaelKifer proposal: an action to clarify addressing of builtins 17:03:10 As long as this is not subject to interchange, all is fine :-) 17:03:52 The question is: do app-specific parts of a system need to be part of a new dialect? 17:04:03 If you do not accept that some elements required for an interchange will be agreed on out of band, you will have very little actual interchanges 17:04:21 +1 Axel: app-specific parts should be part of a dialect definition, if you want to interchange them. 17:04:53 The question, csma, is whether that agreement is equal to agreeing to some dialect. 17:05:25 ChrisW: We should allow people to extends their list of builtins 17:05:44 q+ 17:05:44 +1 Chris: We all agree that folks should be able to extend the list of builtins, we just disagree about whether to call that new agreement is called a 'dialect'. 17:05:56 csma: We need that two parties can extend the fixed list of builtins 17:06:53 -1 csma: The label 'dialect' matters because it forbids out of band agreement. [ I don't see that at all. ] 17:07:27 Chris: (1) agrrement to have call some-uri 17:07:33 To Sandro: that's what I have been saying all the time. That's why I think that I disagree with Axel 17:07:46 Chris: (2) the list of external calls specified by a dialect are "the builtins" 17:07:49 q- 17:08:18 Chris: (3) you should be allowed to extend that list among consenting parties -- BUT we're not agreed at the moment about whether to call that extension a new dialect. 17:08:43 option a) we allow metadata to say "ruleset R is dialect D + builtin (X) which semantics is defined somewhere else" 17:09:09 b) we only allow metadata to say "ruleset R is in dialect D' " 17:09:43 Since different RIF dialects D1, ..., Dn should be allowed to share a given set of builtins B, D1, ..., Dn should point to B a la D1->B, ..., Dn->B, rather than 'adding' B into D1, ..., Dn as new dialects a la D1+B, ..., Dn+B. 17:10:51 but then we agree on a dialect? right? and whether we decide to writye down the dialect and publish it is our own business. 17:13:23 Chris: (4) We're also not agreed about whether we need a formal mechanism about extending the list of builtins. 17:13:30 ChrisW: We have to close this issue 17:13:46 s/have to/can/ 17:13:50 issue 40: At the moment the WG has agreed to support "builtins", in particular those 17:13:51 defined for supported XS datatypes, however the syntactic and semantic treatment 17:13:53 of builtins has not been made clear. 17:13:54 One issue is how they will relate to functions in the syntax (e.g. are builtins 17:13:56 just logic functions?). 17:13:57 Another issue is whether builtins will be sensitive to "order" as they are in 17:13:59 query languages and production rules; in these cases, the order is understood to 17:14:00 be required to "bind" variables before the builtin is called. 17:14:21 csma: this discussion is just a small part of the Issue 40 17:14:57 right 17:15:35 sandro please write your proposal on iRC 17:15:45 PROPOSED: The XML syntax for BLD will distinguish between external calls (including builtins) and logic functions 17:15:57 thanks. I did not catch it 17:16:31 zakim, unmute me 17:16:31 MichaelKifer should no longer be muted 17:16:57 MichaelKifer: We need a concrete proposal from Axel. 17:17:05 IgorMozetic has joined #rif 17:17:40 csma: there was one proposal that the use of URIs be the distinguishing factor, but now we see that wont do. 17:18:27 q+ 17:19:24 17:19:25 17:19:25 http://www.w3.org/2005/xpath-functions/#dateTime 17:19:25 17:19:25 17:21:03 I take an action to review Michael's two proposals again and suggest something else if needed. My alrernative would be something like http://www.w3.org/2005/xpath-functions/#dateTime 17:21:16 oops. 17:21:35 http://www.w3.org/2005/xpath-functions/#dateTime 17:21:54 MichaelKifer: We have to see more proposals 17:22:52 q- 17:23:17 I think this is about binding patterns 17:23:18 action: apollere2 to review the discussion about external calls, including Michael's 2 proposals 17:23:18 Created ACTION-393 - Review the discussion about external calls, including Michael\'s 2 proposals [on Axel Polleres - due 2007-12-11]. 17:26:15 Order in conjunctions: And(?x=3 add(?r ?x ?x)) vs. And(add(?r ?x ?x) ?x=3). 17:28:33 MichaelKifer: Don't mention nothing about errors. They should be left to implementations 17:31:54 there are also no binding patterns specified in SWRL 17:33:17 paulap, so I can write: ?X ex:gt ?Y <- ?X < ?Y, the question is how this shall be implemented. 17:33:29 Let's use "mode" rather than "binding pattern". 17:34:06 zakim, pick a victim 17:34:06 Not knowing who is chairing or who scribed recently, I propose Mike_Dean 17:34:15 (otherwise confusion risk between "binding" and "binding pattern"). 17:34:52 Re Mediawiki: We used advanced features for formulas etc. 17:35:10 Mike, will you be able to scribe next Tuesday? 17:35:38 (still, it is a good idea not to discuss 'modes'...we just need to specify the meaning of a built-in, not how it should be implemented) 17:35:43 zakim, who is on the phone? 17:35:43 On the phone I see Harold, josb, csma, LeoraMorgenstern (muted), ChrisW, StellaMitchell, agiurca (muted), Dave_Reynolds, IgorMozetic (muted), PaulaP (muted), Hassan_Ait-Kaci, 17:35:46 ... AxelPolleres, Sandro, PaulVincent, Gary_Hallmark, MichaelKifer, Mike_Dean 17:36:05 I need to go ,sorry 17:36:31 Since we have many other things to change, there would an increased need for version maintenance. 17:36:32 bye 17:36:35 -IgorMozetic 17:36:37 -Dave_Reynolds 17:36:38 -Hassan_Ait-Kaci 17:36:38 zakim, unmute me 17:36:39 -PaulVincent 17:36:40 -AxelPolleres 17:36:41 bye 17:36:42 agiurca should no longer be muted 17:36:45 -josb 17:36:46 -StellaMitchell 17:36:47 -PaulaP 17:36:58 rrsagent, make record public 17:37:06 rrsagent, make minutes 17:37:06 I have made the request to generate http://www.w3.org/2007/12/04-rif-minutes.html csma 17:37:22 zakim, mute me 17:37:22 agiurca should now be muted 17:38:04 adrian, see the link above? It gets you to the draft of the minutes 17:38:23 Youjust have to edit it and publish the thus obtained minutes 17:38:42 Adrian? 17:39:10 no 17:39:18 zakim, unmute me 17:39:18 agiurca should no longer be muted 17:39:49 zakim, list attendees 17:39:49 As of this point the attendees have been Mike_Dean, +39.047.1.aaaa, Harold, josb, +1.646.842.aabb, ChrisW, csma, LeoraMorgenstern, Dave_Reynolds, StellaMitchell, agiurca, 17:39:53 ... IgorMozetic, PaulaP, Hassan_Ait-Kaci, AxelPolleres, hak, Sandro, PaulVincent, Gary_Hallmark, +1.631.833.aacc, MichaelKifer 17:40:10 rrsagent, make minutes 17:40:10 I have made the request to generate http://www.w3.org/2007/12/04-rif-minutes.html csma 17:40:45 -agiurca 17:45:02 -Harold 17:45:03 -MichaelKifer 17:46:15 -Sandro 17:46:16 -ChrisW 17:46:18 -csma 17:46:20 -Mike_Dean 17:46:24 -Gary_Hallmark 17:46:35 -LeoraMorgenstern 17:46:37 SW_RIF()11:00AM has ended 17:46:38 Attendees were Mike_Dean, +39.047.1.aaaa, Harold, josb, +1.646.842.aabb, ChrisW, csma, LeoraMorgenstern, Dave_Reynolds, StellaMitchell, agiurca, IgorMozetic, PaulaP, 17:46:41 ... Hassan_Ait-Kaci, AxelPolleres, hak, Sandro, PaulVincent, Gary_Hallmark, +1.631.833.aacc, MichaelKifer