14:50:16 RRSAgent has joined #rif 14:50:16 logging to http://www.w3.org/2007/05/29-rif-irc 14:50:32 zakim, this will be rif 14:50:32 ok, ChrisW; I see SW_RIF()11:00AM scheduled to start in 10 minutes 14:50:52 Meeting: RIF Telecon 29 May 2007 14:50:58 Chair: Chris Welty 14:51:16 Agenda: http://lists.w3.org/Archives/Public/public-rif-wg/2007May/0066.html 14:51:31 ChrisW has changed the topic to: 28 May RIF Telecon Agenda: http://lists.w3.org/Archives/Public/public-rif-wg/2007May/0066.html 14:51:42 Scribe: Jeff Pan 14:51:59 agenda+ Admin 14:52:05 agenda+ F2F 14:52:09 agenda+ Liason 14:52:19 agenda+ Core - Builtins 14:52:32 agenda+ Core - XML Syntax 14:52:39 agenda+ UCR 14:52:43 agenda+ AOB 14:53:00 rrsagent, make minutes 14:53:00 I have made the request to generate http://www.w3.org/2007/05/29-rif-minutes.html ChrisW 14:55:01 Francois has joined #rif 14:55:09 csma has joined #rif 14:56:11 SW_RIF()11:00AM has now started 14:56:18 +??P3 14:56:23 zakim, ??P3 is me. 14:56:23 +Francois; got it 14:56:30 zakim, mute me. 14:56:30 sorry, Francois, muting is not permitted when only one person is present 14:57:59 +[NRCC] 14:58:11 zakim, NRCC is me 14:58:11 +Harold; got it 14:59:35 IgorMozetic has joined #rif 14:59:48 LeoraMorgenstern has joined #rif 14:59:55 +Sandro 15:00:55 JeffP has joined #rif 15:00:58 zakim, mute me. 15:00:58 Francois should now be muted 15:01:12 +??P29 15:01:21 zakim, ??P29 is me 15:01:21 +IgorMozetic; got it 15:01:25 zakim, mute me 15:01:25 IgorMozetic should now be muted 15:01:38 +Leora_Morgenstern 15:01:43 DavidHirtle has joined #rif 15:01:44 zakim, mute me 15:01:44 Leora_Morgenstern should now be muted 15:02:05 StellaMitchell has joined #rif 15:02:06 +??P35 15:02:16 +Jeff_Pan 15:02:17 zakim, ??P35 is me 15:02:17 +csma; got it 15:02:19 +??P38 15:02:27 AllenGinsberg has joined #rif 15:02:33 zakim, ??P38 is me 15:02:33 +DavidHirtle; got it 15:02:57 AxelPolleres has joined #rif 15:02:59 josb has joined #rif 15:03:09 scribe: Jeff Pan 15:03:17 +Allen_Ginsberg 15:03:20 scribenick: Jeff_Pan 15:03:39 zakim, who is on the phone? 15:03:39 On the phone I see Francois (muted), Harold, Sandro, IgorMozetic (muted), Leora_Morgenstern (muted), csma, Jeff_Pan, DavidHirtle, Allen_Ginsberg 15:04:04 + +39.047.101.aaaa 15:04:46 +Axel_Polleres 15:04:53 DeborahNichols has joined #rif 15:04:56 zakim, mute me 15:04:56 csma should now be muted 15:05:19 +ChrisW 15:05:30 Hi! 15:05:41 +Deborah_Nichols 15:05:53 zakim, mute me 15:05:55 csma was already muted, csma 15:05:57 scribenick: JeffP 15:06:14 zakim, next item 15:06:14 agendum 1. "Admin" taken up [from ChrisW] 15:06:44 +[IBM] 15:06:46 -[IBM] 15:06:46 ChrisW: we don't have telecon next week 15:06:49 PaulVincent has joined #rif 15:06:54 as the weekend will be our FTF 15:06:56 no 15:07:10 ABG has joined #rif 15:07:22 zakim, next item 15:07:22 agendum 2. "F2F" taken up [from ChrisW] 15:07:23 +[IBM] 15:07:25 ChrisW: any changes to the agenda? 15:07:29 no 15:07:50 zakim, [ibm] is temporarily me 15:07:50 +StellaMitchell; got it 15:07:52 -ChrisW 15:07:57 FTF starts at 9am 15:08:00 we do not hear you 15:08:14 zakim, unmute me 15:08:14 csma should no longer be muted 15:08:29 hmmm 15:08:44 (JeffP will arrive about noon) 15:08:50 +Gary_Hallmark 15:08:54 +ChrisW 15:09:15 +??P46 15:09:49 josb: THe meeting will be at the university, outside the centre 15:10:09 ... two ways to reaching it: taxi or bus 15:10:10 sandro has joined #rif 15:10:18 ... see the wiki 15:12:02 csma: there is a need of using the phone 15:12:56 patranja has joined #rif 15:13:10 zakim, next item 15:13:10 agendum 3. "Liason" taken up [from ChrisW] 15:13:31 ChrisW: any updates? 15:13:56 none 15:13:56 zakim, close item 3 15:13:56 agendum 3, Liason, closed 15:13:57 I see 4 items remaining on the agenda; the next one is 15:13:59 zakim, next item 15:13:59 4. Core - Builtins [from ChrisW] 15:13:59 PRR update: final submisson supposedly in for June OMG meeting 15:14:00 agendum 4. "Core - Builtins" taken up [from ChrisW] 15:14:05 GaryHallmark has joined #rif 15:14:09 + +49.892.180.aabb 15:14:20 Okay, Jeff, I answered the registration survey for you. 15:14:34 Thanks, sandro 15:14:36 ACTION-291 done 15:14:56 (bringing us to 25 people who will attend at least part of the meeting.) 15:15:01 ACTION-292 done 15:15:07 ACTION-290 complete 15:15:12 ACTION-285 done 15:15:45 ACTION-282 done 15:16:00 ACTION-281 continued 15:16:02 s/292/291 15:16:05 ACTION-280 complete 15:16:23 MichaelKifer has joined #rif 15:16:52 ACTION-230 dropped 15:17:16 zakim, mute me 15:17:16 csma should now be muted 15:17:17 http://www.w3.org/2005/rules/wg/wiki/List_of_functions_and_operators 15:17:20 + +39.047.101.aacc 15:17:33 zakim, aac is me 15:17:34 sorry, MichaelKifer, I do not recognize a party named 'aac' 15:17:44 zakim, aacc is me 15:17:47 ChrisW: any discussions on this? 15:17:47 +MichaelKifer; got it 15:17:51 q? 15:18:00 zakim, mute me 15:18:03 MichaelKifer should now be muted 15:18:32 Axel_Polleres: is there a function translating URIs to strings and vice versa? 15:19:34 fn:encode-for-uri is what you are looking for, Axel? 15:20:02 csma: maybe, but at the biginning we should focus the core ones 15:20:04 paula, this is only one direction, the otherone is problematic, I think 15:20:21 fn:escape-html-uri? 15:20:44 ChrisW: seems that one direction is possible 15:21:02 q+ 15:21:03 Axel_Polleres: maybe good to keep it recorded 15:21:25 yes 15:21:26 yes 15:21:35 we should have toString for every type. why reinvent the wheel 15:21:37 yes, anyURI 15:21:56 http://www.w3.org/TR/2001/REC-xmlschema-2-20010502/#anyURI 15:22:53 http://www.w3.org/TR/xpath-functions/#anyURI-functions 15:23:13 there is just one function fn:resolve-uri 15:23:55 what i wanted to state is that we might need something special for rif:iri 15:24:01 anyURI is not a sub-type of string 15:24:05 http://www.w3.org/TR/xmlschema11-2/#anyURI 15:25:03 ChrisW: is there a general transforming functions? 15:25:17 http://www.w3.org/TR/xpath-functions/#casting 15:26:21 zakim, unmute me 15:26:21 MichaelKifer should no longer be muted 15:26:29 q+ 15:27:09 An example from RDF: FOAF uses tel: URI's for telephone numbers, vCard uses strings... if you want to convert, you need something... 15:27:31 ChrisW: we need to reuse XML Schema, if possible 15:28:35 q- 15:28:39 zakim, mute me 15:28:39 MichaelKifer should now be muted 15:29:28 q? 15:29:50 IgorMozetic has joined #rif 15:30:13 Summary: probably we only need to extend the casting of XPath/XPQuery to new primitive datatypes we introduce/use, such as e.g. rif:iri, yes? 15:30:32 q? 15:30:46 what I mean is, we should nail down which basic sets of types AND which conversions we allow. 15:31:15 q? 15:31:44 q+ 15:33:07 the wiki page points already to that document 15:33:12 http://www.w3.org/TR/xpath-functions/#func-concat 15:33:46 perhaps is better to first decide on F&O 15:33:51 and then link them 15:33:58 ChrisW: add links to their definitions 15:34:17 ok 15:34:23 I see 15:35:24 thanks, Sandro 15:35:54 Action: Sandro to put links to the F&O wiki page 15:35:54 Created ACTION-292 - Put links to the F&O wiki page [on Sandro Hawke - due 2007-06-05]. 15:36:02 q? 15:37:14 ChrisW: we should read F&O before the FTF 15:37:36 in particular on what should/shouldn't in core and why 15:37:42 ack csma 15:37:45 ack Harold 15:38:43 +1 to harold, allow all in principle, and only declare a subset normative! 15:40:17 Sandro: so the use of an xpath function that we exclude will not be syntactically detectable. 15:43:44 csma: we have a mandated datatype in the charter 15:43:58 s/datatype/list datatype/ 15:44:31 A F&O sequence can be represented as nested Uniterms in the normal Prolog manner. 15:45:00 Action: on Axel to prepare a datatype conversion proposal 15:45:00 Sorry, couldn't find user - on 15:45:18 Action: Axel to prepare a datatype conversion proposal 15:45:18 Created ACTION-293 - Prepare a datatype conversion proposal [on Axel Polleres - due 2007-06-05]. 15:45:32 zakim, pick a victim 15:45:32 Not knowing who is chairing or who scribed recently, I propose StellaMitchell (muted) 15:45:36 zakim, pick a victim 15:45:36 Not knowing who is chairing or who scribed recently, I propose DavidHirtle 15:45:46 zakim, pick a victim 15:45:46 Not knowing who is chairing or who scribed recently, I propose PaulVincent 15:45:58 zakim, pick a victim 15:45:58 Not knowing who is chairing or who scribed recently, I propose StellaMitchell (muted) 15:46:02 zakim, pick a victim 15:46:02 Not knowing who is chairing or who scribed recently, I propose PaulVincent 15:46:04 zakim, pick a victim 15:46:04 Not knowing who is chairing or who scribed recently, I propose csma 15:46:06 zakim, pick a victim 15:46:06 Not knowing who is chairing or who scribed recently, I propose Gary_Hallmark 15:46:08 [e1, e2, ...., eN] --> Uniterm(e1 Uniterm(e2 Uniterm(... eN)...)) 15:46:10 zakim, pick a victim 15:46:10 Not knowing who is chairing or who scribed recently, I propose PaulVincent 15:46:14 zakim, pick a victim 15:46:14 Not knowing who is chairing or who scribed recently, I propose josb 15:46:35 zakim, pick a victim 15:46:35 Not knowing who is chairing or who scribed recently, I propose Sandro 15:47:09 I have to go; see you in Innsbruck 15:47:23 -Allen_Ginsberg 15:47:24 Action: on Harold to prepare a proposal on sequences 15:47:24 Sorry, couldn't find user - on 15:47:31 ACTION: Harold to propose a treatment of sequences 15:47:31 Created ACTION-294 - Propose a treatment of sequences [on Harold Boley - due 2007-06-05]. 15:49:51 Gary: Is there a way I can tell if a function is logical or non-logical (built-in) ? 15:50:24 csma: (ie unbound variables allows as argument). 15:50:49 chris: ie can only tell at runtime? 15:51:55 sandro: one solution by Harold is to have one builtin ... 15:52:17 ChrisW: Harold, Michael? 15:52:21 zakim, unmute me 15:52:21 MichaelKifer should no longer be muted 15:52:59 MichaelKifer: I propose a special syntax 15:53:14 User-defined functions can often be inverted: [a b c d] = append(?L ?M) tries to split [a b c d] into all prefix-postfix pairs ([],[a b c d]), ([a],[b c d]), ..., ([a b c d],[]). 15:53:31 q? 15:55:12 that would mean we talk about different types of atoms then... 15:55:52 MichaelKifer: different dialects have different name spaces 15:56:02 that would touch on the CORE model, wouldn't it? 15:56:17 Sandro: I think implementors would like to know when they are seeing a call to a builtin vs using a logic function. Although we might want to hide the difference. 15:56:18 Functions can already be defined in RIF WD1 using equations: append([] ?M) = ?M append([?H | ?T] ?M) = ... 15:56:28 zakim, mute me 15:56:28 MichaelKifer should now be muted 15:56:30 ChrisW: we seem to need more discussion on this 15:56:53 q+ 15:57:06 csma: we might not need a solution in the 2nd WD 15:57:26 AxelPolleres: we need to have a solution 15:57:39 (Axel, your audio quality is quite poor) 15:57:42 Action: chairs to open an issue 15:57:42 Sorry, couldn't find user - chairs 15:58:29 proposed ACTION: DeborahNichols open issue on whether the abstract syntax will distinguish between builtins and logic functions. 15:58:59 ACTION: DeborahNichols open issue on whether the abstract syntax will distinguish between builtins and logic functions. 15:58:59 Sorry, couldn't find user - DeborahNichols 15:59:06 ACTION: Deborah open issue on whether the abstract syntax will distinguish between builtins and logic functions. 15:59:06 Created ACTION-295 - Open issue on whether the abstract syntax will distinguish between builtins and logic functions. [on Deborah Nichols - due 2007-06-05]. 15:59:10 I can propose a strawman syntax, taken from a system I work with which at least opens some requirements 16:00:53 For logic functions there are again two possibilities: uninterpreted functions and interpreted (equation-efined) functions. Only the latter ones can be compared with builtins. 16:01:01 ACTION: Axel to propose strawman for resolving this new issue (builtins vs logic functions) 16:01:01 Created ACTION-296 - Propose strawman for resolving this new issue (builtins vs logic functions) [on Axel Polleres - due 2007-06-05]. 16:01:07 -PaulVincent 16:01:12 s/-efined/-defined/ 16:01:18 zakim, next item 16:01:18 I see a speaker queue remaining and respectfully decline to close this agendum, ChrisW 16:01:22 q? 16:01:25 ack axel 16:01:27 zakim, next item 16:01:27 agendum 5. "Core - XML Syntax" taken up [from ChrisW] 16:01:34 -Gary_Hallmark 16:01:42 +Gary_Hallmark 16:01:48 q- 16:02:03 q+ 16:02:10 q- 16:02:43 q+ 16:03:32 Christw: Did you propose the XML syntax for RIF Core will not use stripe-skipping 16:03:40 Gary: yes 16:05:03 we lost you Chria. 16:05:06 we lost you Chris. 16:06:53 Gary, you're right, it's quite verbose to write And(arg1(Conjunct1) arg2(Conjunct2) ... argN(ConjunctN)) rather than just And(Conjunct1 Conjunct2 ... ConjunctN). 16:08:36 Apologies had to leave. 16:09:19 csma: We should avoid discussions on stripe-skipping in FTF 16:09:48 I propose to omit stripes if they are 'artificial' (position-simulating) anyway such as arg1, arg2, ..., argN. 16:10:02 ChrisW: we need to proposal from abstract syntax to W3C XMLS 16:10:10 q+ 16:10:48 Think back to the IRI vs. URI discussion: human readability. 16:11:53 sandro: human readability should not have 0 weight 16:11:55 :) 16:12:12 q? 16:12:20 q- 16:12:24 ack csma 16:12:26 ack Harold 16:12:46 rdf:_1, rdf:_2, ... 16:13:20 I basically agree. 16:13:49 Gary: I agree, unless the position has some special role, as in uniterm. 16:13:51 +1 Gary 16:14:02 Gary: the first argument should be a name for function 16:14:25 ChrisW: do we need a propsoal in FTF on this? 16:14:43 s/the first argument should be a name for function/if the first argument is a name for function etc. then it should keep a stripe/ 16:15:01 thanks, Harold 16:15:32 Gary also mentioned the remaining positional arguments could get stripe-skipped. 16:17:38 q+ 16:17:43 zakim, next item 16:17:43 I see a speaker queue remaining and respectfully decline to close this agendum, ChrisW 16:18:33 q? 16:18:36 ack josb 16:18:37 ack josb 16:18:47 zakim, next item 16:18:47 agendum 6. "UCR" taken up [from ChrisW] 16:18:57 ack allen 16:19:00 zakim, who is on the phone? 16:19:00 On the phone I see Francois (muted), Harold, Sandro, IgorMozetic (muted), Leora_Morgenstern (muted), csma, Jeff_Pan, DavidHirtle, josb, Axel_Polleres, Deborah_Nichols (muted), 16:19:04 ... StellaMitchell (muted), ChrisW, PaulaP (muted), MichaelKifer (muted), Gary_Hallmark 16:19:28 allen - your action #274 status? 16:20:06 yes 16:20:12 http://www.w3.org/2005/rules/wg/wiki/Design_Constraints 16:20:25 I added a couple of requirements today 16:20:33 yes 16:21:58 Issues 14-21 to be closed? 16:22:10 Deborah: does it mean resolved? 16:22:32 sandro: delay till phase 2 16:22:54 the typical term is "Postponed" 16:24:00 q? 16:24:06 zakim, next item 16:24:06 agendum 7. "AOB" taken up [from ChrisW] 16:24:45 csma: we will start at 9am on June 2 16:24:49 THe brave can meet at 6am to climb a mountain! 16:25:00 a small mountain? 16:25:04 +1 16:25:05 +1 16:25:09 -Deborah_Nichols 16:25:11 rdml (roll down mountain laughing...) 16:25:11 -IgorMozetic 16:25:11 bye 16:25:11 +1 16:25:12 -Harold 16:25:14 -MichaelKifer 16:25:15 -Axel_Polleres 16:25:16 -Leora_Morgenstern 16:25:17 -StellaMitchell 16:25:19 -josb 16:25:20 -PaulaP 16:25:20 better than moving the mountain 16:25:21 -DavidHirtle 16:25:22 rrsagent, make logs public 16:25:30 rrsagent, make minutes 16:25:30 I have made the request to generate http://www.w3.org/2007/05/29-rif-minutes.html ChrisW 16:25:37 -Gary_Hallmark 16:26:36 zakim, who is the phone? 16:26:36 I don't understand your question, ChrisW. 16:26:38 -Jeff_Pan 16:26:39 zakim, who is on the phone? 16:26:40 On the phone I see Francois (muted), Sandro, csma, ChrisW 16:26:59 zakim, drop francois 16:26:59 Francois is being disconnected 16:27:01 -Francois 16:27:09 bye. 16:27:51 Regrets: DaveReynolds 16:33:14 -Sandro 16:33:15 -ChrisW 16:33:17 -csma 16:33:19 SW_RIF()11:00AM has ended 16:33:20 Attendees were Francois, Harold, Sandro, IgorMozetic, Leora_Morgenstern, Jeff_Pan, csma, DavidHirtle, Allen_Ginsberg, +39.047.101.aaaa, josb, Axel_Polleres, ChrisW, 16:33:22 ... Deborah_Nichols, StellaMitchell, Gary_Hallmark, PaulVincent, PaulaP, +39.047.101.aacc, MichaelKifer 16:33:29 rrsagent, make minutes 16:33:29 I have made the request to generate http://www.w3.org/2007/05/29-rif-minutes.html ChrisW 16:34:12 looks like its ready, Jeff 16:34:19 thanks for scribing 16:42:18 csma has left #rif 16:43:39 OK - will send to the list soon 17:36:37 AxelPolleres has left #rif