15:47:42 RRSAgent has joined #rif 15:47:42 logging to http://www.w3.org/2007/11/20-rif-irc 15:48:01 zakim, this will be rif 15:48:01 ok, csma; I see SW_RIF()11:00AM scheduled to start in 12 minutes 15:48:13 Meeting: RIF telecon 20 November 2007 15:48:32 Chair: Christian de Sainte Marie 15:48:40 Scribe: Dave Reynolds 15:49:12 Agenda: http://lists.w3.org/Archives/Public/public-rif-wg/2007Nov/0070.html 15:49:43 Regrets: Adrian Paschke 15:50:46 csma has changed the topic to: 20 November RIF telecon agenda: http://lists.w3.org/Archives/Public/public-rif-wg/2007Nov/0070.html 15:53:23 rrsagent, list agenda 15:53:23 I'm logging. I don't understand 'list agenda', csma. Try /msg RRSAgent help 15:53:49 agenda 15:54:07 list agenda 15:54:16 close agenda 15:54:20 list agenda 15:54:46 agendun- 15:54:53 agendum- 15:54:59 agenda- 15:55:06 zakim, close agenda 15:55:06 I don't understand 'close agenda', csma 15:55:12 zakim, reset agenda 15:55:12 I don't understand 'reset agenda', csma 15:55:34 zakim, remove agenda 15:55:34 I don't understand 'remove agenda', csma 15:55:45 zakim, remove agendum 7 15:55:45 agendum 7, PRD, dropped 15:55:54 list agenda 15:56:02 zakim, close agenda 15:56:02 I don't understand 'close agenda', csma 15:56:07 zakim, drop agenda 15:56:07 sorry, csma, I don't know what conference this is 15:56:29 zakim, this will be rid 15:56:29 I do not see a conference matching that name scheduled within the next hour, csma 15:56:48 zakim, this will be rif 15:56:48 ok, csma; I see SW_RIF()11:00AM scheduled to start in 4 minutes 15:58:36 zakim, clear agenda 15:58:36 agenda cleared 15:58:50 agenda+ Admin 15:59:08 agenda+ Liaisons 15:59:12 agenda+ F2F9 15:59:26 agenda+ Issue 2 15:59:30 DaveReynolds has joined #rif 15:59:40 agenda+ Issue 42 16:00:09 SW_RIF()11:00AM has now started 16:00:10 agenda+ XML 1.0 or XML 1.1? 16:00:11 +??P17 16:00:13 +Dave_Reynolds (was ??P17) 16:00:17 agenda+ BLD planning 16:00:23 agenda+ Issue 40 16:00:42 patranja has joined #rif 16:00:47 PaulVincent has joined #RIF 16:01:18 josb has joined #rif 16:01:28 +josb 16:01:30 +??P26 16:01:52 IgorMozetic has joined #rif 16:01:57 zakim, ??P26 is me 16:02:00 +csma; got it 16:02:06 q- 16:02:15 ack ??P26 16:02:43 scribenick: DaveReynolds 16:02:54 Scribe: Dave Reynolds 16:02:57 +Sandro 16:02:59 -Sandro 16:03:03 +Sandro 16:03:25 +PaulaP 16:03:31 +??P7 16:03:56 -??P7 16:03:57 barry_b has joined #rif 16:04:19 zakim, who is on the phone? 16:04:19 Harold has joined #rif 16:04:27 On the phone I see Dave_Reynolds, josb (muted), csma, Sandro, PaulaP 16:04:57 AxelPolleres has joined #rif 16:05:01 RRSAgent, pointer? 16:05:01 See http://www.w3.org/2007/11/20-rif-irc#T16-05-01 16:05:23 next agendum 16:05:37 zakim, next agendum 16:05:54 (er, slow Zakim!) 16:05:55 agendum 1 was just opened, sandro 16:06:11 is zakim working properly? (74394# not valid) 16:06:19 +[NRCC] 16:06:22 Hassan has joined #rif 16:06:26 ACTION-371: done 16:06:49 +??P39 16:06:50 zakim, [NRCC] is me 16:06:51 +Harold; got it 16:06:52 +Hassan_Ait-Kaci 16:06:56 ACTION-374: done (extension requested) 16:07:14 +??P41 16:07:14 Sandro: committee meets tomorrow, might have answer then 16:07:23 zakim, ??P41 is me 16:07:23 +IgorMozetic; got it 16:07:32 zakim, mute me 16:07:32 IgorMozetic should now be muted 16:07:35 ACTION-376: done 16:07:45 Odd, IgorMozetic.... Sometimes the tones get too distorted by the phone system to be recognized...... 16:08:22 Harold: haven't seen notification of WD publication on RDF list 16:08:25 LeoraMorgenstern has joined #rif 16:08:43 Harold: should we have larger scale notification of the new WDs? 16:09:12 +??P49 16:09:25 q? 16:10:03 +barry_b 16:10:13 Zakim, mute me 16:10:13 barry_b should now be muted 16:10:27 Sandro: only concern is limited attention, people will only look at docs so many times. If we are going to have a refactored draft in the new couple of months would be reasonable to wait to then then publicize more aggressively. 16:10:45 Ack me 16:10:49 RRSAgent, make record public 16:10:54 s/then then/till then/ 16:11:18 Jos: would be interested in getting as much f/b as possible on the compatibility doc 16:11:53 cmsa: suggested tabling this question until discuss the BLD plan 16:11:56 q? 16:12:30 http://lists.w3.org/Archives/Public/public-rif-wg/2007Nov/att-0057/2007_11_13_rif_minutes.html 16:12:39 +Leora_Morgenstern 16:12:47 zakim, mute me 16:12:47 Leora_Morgenstern should now be muted 16:12:48 No objections. Minutes accepted. 16:13:56 zakim, next agendum 16:13:56 agendum 2. "Liaisons" taken up [from csma] 16:14:27 +Gary_Hallmark 16:14:47 http://www.omg.org/cgi-bin/doc?dtc/07-11-04.pdf 16:15:24 Paul: all input appreciated on PRR review, finalization due around Feb 16:15:43 cmsa: on first page of doc is email address for comments 16:15:48 http://lists.w3.org/Archives/Public/public-rif-wg/2007Nov/0014.html 16:15:49 s/cmsa/csma/ 16:16:34 GaryHallmark has joined #rif 16:16:50 csma: notes that Bijan is liaison from OWL-WG to RIF, do we want a reverse liaison? 16:17:09 csma: currently Sandro is our liaison 16:17:46 yes; I can help 16:17:47 +Mike_Dean 16:18:08 josb volunteers to help Sandro with tracking the OWL-WG liaison issues 16:18:24 zakim, next agendum 16:18:24 agendum 3. "F2F9" taken up [from csma] 16:18:28 http://www.w3.org/2005/rules/wg/wiki/F2F9 16:18:31 mdean has joined #rif 16:18:45 Sandro notes that the chair hasn't filled out the survey! 16:19:01 ack me 16:19:41 Igor: ideally would like to decide F2F9 dates by Dec 4th 16:20:49 Sandro: encourages everyone, especially chairs and editors, to fill survey in next day. Then can set up location survey for next week or so. 16:21:08 mdean has joined #rif 16:23:18 Sandro: need next survey to up for a full week, that would mean that at next telecon will have to both decide on dates and confirm hosts can support dates 16:23:30 s/to up/to be up/ 16:25:03 csma: deadline for date survey end of this week 16:25:27 Sandro: each host work out which dates for them and propose a couple of dates over the weekend ready for next telecon (27th) 16:25:27 q? 16:25:44 s/for/work for/ 16:26:54 Action: AxelPolleres to post proposed F2F9 dates by next telecon, i.e. sometime Monday 26th 16:26:54 Sorry, couldn't find user - AxelPolleres 16:27:13 Action: Igor to post proposed F2F9 dates by next telecon, i.e. sometime Monday 26th 16:27:13 Created ACTION-379 - Post proposed F2F9 dates by next telecon, i.e. sometime Monday 26th [on Igor Mozetic - due 2007-11-27]. 16:27:21 Action: csma to post proposed F2F9 dates by next telecon, i.e. sometime Monday 26th 16:27:21 Sorry, couldn't find user - csma 16:27:29 Action: christian to post proposed F2F9 dates by next telecon, i.e. sometime Monday 26th 16:27:30 Created ACTION-380 - Post proposed F2F9 dates by next telecon, i.e. sometime Monday 26th [on Christian de Sainte Marie - due 2007-11-27]. 16:27:37 Action: Axel to post proposed F2F9 dates by next telecon, i.e. sometime Monday 26th 16:27:37 Created ACTION-381 - Post proposed F2F9 dates by next telecon, i.e. sometime Monday 26th [on Axel Polleres - due 2007-11-27]. 16:27:59 ACTION-377: closed 16:28:15 zakim, next agendum 16:28:15 agendum 4. "Issue 2" taken up [from csma] 16:28:43 ACTION-375: continued 16:29:01 yes 16:29:04 ACTION-369: done 16:29:11 ACTION-370: done 16:29:27 ACTION-367: done 16:29:41 ack me 16:30:21 ACTION-365: pending discussion, drafted reply 16:30:31 right 16:31:02 ACTION-364, ACTION-362: pending discussion 16:31:16 http://www.w3.org/2005/rules/wg/track/issues/2 16:31:34 http://lists.w3.org/Archives/Public/public-rif-wg/2007Nov/0021.html 16:31:57 yes 16:32:17 PROPOSED: Close issue 2, based on Jos's analysis in [7] 16:32:19 PROPOSED: close ISSUE-2 based on Jos' analysis 16:32:47 q? 16:32:57 zakim, mute me 16:32:57 IgorMozetic should now be muted 16:33:00 RESOLVED: close ISSUE-2 based on Jos' analysis 16:33:17 zakim, next agendum 16:33:17 agendum 5. "Issue 42" taken up [from csma] 16:33:28 http://www.w3.org/2005/rules/wg/track/issues/42 16:33:44 http://lists.w3.org/Archives/Public/public-rif-wg/2007Nov/0018.html 16:34:41 ack me 16:35:11 Jos: originally wanted rif:text to be able to treat all constants uniformly in the syntax 16:36:02 Jos: if we violate this for one type of constant then we might want to re-evaluate how we represent other constants (e.g. IRIs, local constants) 16:36:28 MichaelKifer has joined #rif 16:37:01 Jos: drawback of sticky with rif:text is that we are creating a new datatype which is not really our business 16:38:11 csma: why not only allow addition of language tags and stop there? 16:38:32 Jos: that then creates two kinds of constants, a strange lack of uniformity 16:38:58 +MichaelKifer 16:39:14 zakim, mute me 16:39:14 MichaelKifer should now be muted 16:39:19 Harold: can't we have both a symbol space and a language tag? 16:40:26 csma: but the lang tag might apply to other types? 16:40:36 Jos: no! (scribe agrees) 16:40:58 Sandro: by definition XML literals don't allow language tagging 16:41:05 q+ 16:41:10 -Leora_Morgenstern 16:41:15 Harold: e.g. lang tag even for IRIs 16:41:18 q? 16:41:29 +Leora_Morgenstern 16:41:50 (chat.com could be english or french, right?) 16:41:51 zakim, mute me 16:41:51 Leora_Morgenstern should now be muted 16:42:36 DaveR: no, lang just applies to text for user presentation not to other data types 16:42:55 I vote for uniformity 16:43:46 q- 16:43:59 zakim, unmute me 16:43:59 MichaelKifer should no longer be muted 16:44:19 http://lists.w3.org/Archives/Public/public-rif-wg/2007Nov/0018.html 16:45:10 csma: seems it needs more discussion, so postpone to later telecon 16:46:12 +1 with MK 16:46:19 MK: benefit of uniformity is just one mechanism for defining constants, as opposed to mess of special cases 16:46:30 +1 for MK 16:46:45 zakim, mute me 16:46:45 MichaelKifer should now be muted 16:47:09 zakim, next agendum 16:47:09 agendum 6. "XML 1.0 or XML 1.1?" taken up [from csma] 16:47:26 http://lists.w3.org/Archives/Public/public-rif-wg/2007Nov/0019.html 16:48:32 csma: XML 1.1 is a little more permissive but is still WD 16:48:45 yes 16:49:10 Sandro: clarifies this about XML Schema Datatypes not XML! 16:49:21 XSD1.1, not XML1.1 16:49:54 csma: so the proposal is to refer to XSD 1.0 and change that if XSD 1.1 reaches Rec before BLD 16:50:26 ack me 16:51:20 Jos: no real drawback to referring to XSD 1.0 but should explicitly state we will switch to XSD 1.1 when Rec, to satisfy people who want to use XML 1.1 16:51:40 Jos: that remark should be explicit in doc 16:51:44 Sandro: makes sense 16:51:47 +1 16:52:41 q? 16:52:43 PROPOSED: we refer to XSD 1.0 while it is not a Rec, but add an explicit remark that we will switch to 1.1 if it reaches Rec before RIF 16:53:10 PROPOSED: We'll refer to XSD 1.0 instead of XSD 1.1 in our document for now, including a clear note that it our intention to change to XSD 1.1 when it becomes available, so that people can use XML 1.1. 16:53:51 yes 16:54:26 RESOLVED: We'll refer to XSD 1.0 instead of XSD 1.1 in our document for now, including a clear note that it our intention to change to XSD 1.1 when it becomes available, so that people can use XML 1.1. 16:55:26 csma: is equality issue critical path or not? 16:55:42 +1 equality if CriticalPath 16:55:54 s/if/is/ 16:56:01 csma: so ISSUE-47 is critical path 16:56:26 csma: so 13 critical path issues 16:56:51 csma: Sandro needs to add issue on invisible extensions, is that CP? 16:57:47 Sandro: there is extensibility work that is critical path though that issue doesn't capture all of that 16:58:35 csma: if people think there are other issues that are CP to last call should raise them as soon as possible 16:59:11 ACTION: sandro to report any critical-path issues related to extensibility 16:59:11 Created ACTION-382 - Report any critical-path issues related to extensibility [on Sandro Hawke - due 2007-11-27]. 16:59:12 csma: roundtripping - CP or not? 16:59:37 q+ 16:59:44 ack josb 17:00:16 csma: aren't ISSUE-46, ISSUE-39 and ISSUE-xx interdependent yet 46 is not marked CP 17:00:21 q? 17:00:35 Jos: modules is just one way to do this 17:00:38 s/xx/33/ 17:01:25 http://www.w3.org/2005/rules/wg/track/issues/34 17:01:35 csma: ISSUE-34, should that be closed? 17:01:48 q+ 17:01:54 ack josb 17:01:54 ack me 17:02:30 Jos: this was originally raised to record Sandro's concern on whether this conflicts with extensility 17:02:36 Sandro: right, can't close that yet 17:02:48 36? 17:05:00 csma: said at F2F8 that 2nd BLD WD will resolve issues 45 (lists), 41(#), 43(##), 44(named args) and 40(builtins) 17:05:15 If a set of builtins uses unrelated URIs to point to each builtin's specification, there is nothing ressembling a module. If, however, a set of builtins uses a shared base URI and different local URIs to point to each builtin's specification, the base URI can be regarded as a module. 17:05:35 (by the way, regarding an earlier discussion in the telecon, Chris advertised our working drafts during his keynote at ISWC) 17:05:36 zakim, unmute me 17:05:36 MichaelKifer should no longer be muted 17:05:38 csma: can we do work on 40 and get quick decisions on the others in 1.5 months 17:06:32 MK: someone has to work out the actual document for builtins 17:06:37 zakim, mute me 17:06:37 MichaelKifer should now be muted 17:07:28 ack me 17:07:38 csma: want to keep OWL compat doc in sync with BLD, can we have 2nd WD on 1.5m timescale? 17:07:53 Hello MichaelKifer, welcome to #rif 17:07:57 Jos: yes, but would like to discuss the current page in an up coming telecon 17:08:02 ?!? 17:08:42 Action: christian to schedule discussion on OWL compatibility document at future telecon 17:08:42 Created ACTION-383 - Schedule discussion on OWL compatibility document at future telecon [on Christian de Sainte Marie - due 2007-11-27]. 17:09:27 csma: are there issues on the BLD XML syntax, is that just ISSUE-36 or is it related to extensibility? 17:09:56 Harold: current XSD is monolithic, doesn't use any extensibility of XML Schema, could try to modularize it more 17:11:16 zakim, unmute me 17:11:16 MichaelKifer should no longer be muted 17:11:43 zakim, mute me 17:11:43 MichaelKifer should now be muted 17:11:50 zakim, unmute me 17:11:50 MichaelKifer should no longer be muted 17:12:20 MK: builtins should be in a separate document since they are shared by different dialects 17:12:39 The current builtins can also be used by PRD. 17:13:02 Yes, Paula, kind of Core builtins. 17:13:32 So the Core could start with the builtins. 17:14:36 csma: asks Paula to include the additional builtins DaveR mentioned in email 17:14:41 Paula: already in, but will check 17:15:00 zakim, mute me 17:15:00 MichaelKifer should now be muted 17:15:21 zakim, unmute me 17:15:21 MichaelKifer should no longer be muted 17:15:35 csma: what's the issue with binding patterns? 17:15:46 q+ 17:15:55 MK: no issue, just prefers not to have binding patterns in semantics, complicates things 17:16:52 MK: e.g. a + b = 3, if a and b are unbound have infinite relation so impossible to compute 17:17:15 q? 17:17:27 allowing ONLY constants would be too limiting. 17:17:38 MK: binding pattern more complicated, e.g. for plus have to say that two need to bound but one can be unbound 17:17:49 MK: have to specify this but don't have to put them in the semantics 17:17:59 q+ 17:18:05 ack axel 17:18:22 Axel: binding pattern is similar issue to safety 17:19:04 Axel: binding patterns give patterns such that builtin is safe (finite extension) so similar to rule safety 17:19:27 Axel: agrees with MK it is not concern for the semantics 17:20:26 To prevent 'plus' used as in plus(3 ?a ?b), only allowing deterministic calls like plus(?x 1 2), we can specify the single 'plus' [binding pattern or] mode plus(out in in). 17:20:28 Axel: rule engines vary with the binding patterns they support, some might further limit patterns (e.g. only run plus forwards) 17:20:51 you mean swrl? 17:20:58 MK: what do they do in SWRL? 17:21:18 ack hassan 17:21:20 MikeDean: they don't specify binding patterns, just as relations 17:21:50 +1 to mike dean: exactly, if not specified, then it causes difficulties for implementers... 17:22:06 Hassan: tend to disagree that binding patterns is part of semantics, whether rules pass value by unification is important 17:22:48 MK: part of the semantics, point is they are not part of the model theoretic semantics 17:22:55 I also agree that it need't be part of the semantics. 17:23:36 but for a dialect, not only the list of built-ins, but also the supported binding patterns should be specified. 17:23:53 this is more an issue of arch/extensibility than semantics. 17:23:56 q+ 17:23:57 Hassan: can have models for infinite relations perfectly happening 17:24:14 q- 17:25:38 csma: can't we just have simplest binding patterns? 17:26:04 Axel: part of extensibility, dialect should be allowed to specify binding patterns 17:26:10 q? 17:26:15 ack axel 17:26:34 -barry_b 17:27:02 Axel: in generic defn of builtins allow higher order predicates (builtins with take as inputs other predicates), make sense for things like aggregation 17:27:10 no 17:27:15 Axel: is this something we want to account for in BLD? 17:27:55 Hassan: higher order or meta? Seems more like meta - e.g. prolog's univ. 17:28:16 Axel: no, takes extension of another predicate 17:28:50 csma: perhaps beyond scope of BLD 17:28:55 it is beyond bld! 17:29:11 Action: Axel to post use case for higher order builtins 17:29:12 Created ACTION-384 - Post use case for higher order builtins [on Axel Polleres - due 2007-11-27]. 17:29:29 Action: Paula to start document for the list of builtins 17:29:29 Sorry, couldn't find user - Paula 17:29:51 bye 17:29:57 Ah! 17:30:02 one more point!!! 17:30:05 q+ 17:30:06 zakim, who is on the phone? 17:30:06 On the phone I see Dave_Reynolds, josb (muted), csma, Sandro, PaulaP, Harold, AxelPolleres, Hassan_Ait-Kaci (muted), IgorMozetic (muted), PaulVincent, Gary_Hallmark, Mike_Dean, 17:30:10 ... MichaelKifer, Leora_Morgenstern (muted) 17:30:23 Action: Patranjan to start document for the list of builtins 17:30:23 Created ACTION-385 - Start document for the list of builtins [on Paula-Lavinia Patranjan - due 2007-11-27]. 17:31:05 zakim, pick a victim 17:31:05 Not knowing who is chairing or who scribed recently, I propose AxelPolleres 17:31:05 regrets for the next telecon 17:31:23 I'll do it. 17:31:34 +1 17:31:41 bye 17:31:43 -AxelPolleres 17:31:44 bye 17:31:45 -Gary_Hallmark 17:31:46 -Leora_Morgenstern 17:31:47 -IgorMozetic 17:31:49 -PaulaP 17:31:50 -josb 17:31:51 -PaulVincent 17:31:53 -MichaelKifer 17:31:55 -Harold 17:31:56 -Sandro 17:31:58 -Mike_Dean 17:32:05 -Hassan_Ait-Kaci 17:32:05 rrsagent, make record public 17:32:16 rrsagent, make minutes 17:32:16 I have made the request to generate http://www.w3.org/2007/11/20-rif-minutes.html csma 17:33:56 -Dave_Reynolds 17:34:01 zakim, who is on the phone? 17:34:01 On the phone I see csma 17:34:11 -csma 17:34:12 SW_RIF()11:00AM has ended 17:34:14 Attendees were Dave_Reynolds, josb, csma, Sandro, PaulaP, Harold, Hassan_Ait-Kaci, AxelPolleres, IgorMozetic, PaulVincent, barry_b, Leora_Morgenstern, Gary_Hallmark, Mike_Dean, 17:34:16 ... MichaelKifer 17:34:35 rrsagent, make minutes 17:34:35 I have made the request to generate http://www.w3.org/2007/11/20-rif-minutes.html csma 17:37:37 rrsagent, make minutes 17:37:37 I have made the request to generate http://www.w3.org/2007/11/20-rif-minutes.html csma 17:40:27 Dave, apparently no chance that I can get RRSAgent to add the presents in the proper place 17:40:39 ...you will have to do it by hand! 17:41:09 Seems OK to me 17:41:20 Bye 17:41:22 csma has left #rif