15:46:50 RRSAgent has joined #rif 15:46:50 logging to http://www.w3.org/2007/12/11-rif-irc 15:47:01 zakim, this will be rif 15:47:01 ok, ChrisW; I see SW_RIF()11:00AM scheduled to start in 13 minutes 15:47:27 Meeting: RIF Telecon 11 Dec 2007 15:47:34 Chair: Chris Welty 15:48:56 Agenda: http://lists.w3.org/Archives/Public/public-rif-wg/2007Dec/0037.html 15:50:00 Scribe: Mike Dean 15:51:36 Regrets: Axel 15:52:16 ChrisW has changed the topic to: 11 Dec RIF agenda http://lists.w3.org/Archives/Public/public-rif-wg/2007Dec/0037.html 15:52:33 agenda+ Admin 15:52:38 zakim, clear agenda 15:52:38 agenda cleared 15:52:39 agenda+ Admin 15:52:46 agenda+ Liason 15:52:55 agenda+ F2F9 15:53:04 agenda+ BLD - Issue 40 15:53:10 agenda+ BLD - Issue 41 15:53:17 agenda+ BLD - Issue 43 15:53:33 csma has joined #rif 15:53:38 agenda+ AOB 15:53:49 zakim, next item 15:53:49 agendum 1. "Admin" taken up [from ChrisW] 15:55:12 markproctor has joined #rif 15:55:24 Harold has joined #rif 15:55:46 is there a belgium number I can call? 15:55:53 I'm at a conference, so no landline 15:56:03 and international calls to the US on a mobile are very expensive. 15:56:19 Mark, there is a number in France 15:56:23 I can get access to a belgium mobile, if there is a belgium number. 15:56:38 no belgium one? 15:56:43 if not France will have to do 15:56:44 +33 4 89 06 34 99 15:56:56 mdean has joined #rif 15:57:06 where do I find the details? this only lists the US number - http://www.w3.org/2005/rules/wg/wiki/Telecons 15:57:21 we should update that 15:57:28 ok, thanks. 15:57:54 I'll just go and find that belgium mobile and call in- hopefully calling france from belgium on a mobile isn't too much. 15:58:47 patranja has joined #rif 15:59:02 rrsagent, make minutes 15:59:02 I have made the request to generate http://www.w3.org/2007/12/11-rif-minutes.html ChrisW 15:59:35 SW_RIF()11:00AM has now started 15:59:44 i updated the wiki page with the French number, Christian you should update the email agenda template 15:59:56 +Mike_Dean 15:59:58 +[NRCC] 16:00:04 -Mike_Dean 16:00:05 Scribe: Mike Dean 16:00:06 +Mike_Dean 16:00:11 ScribeNick: mdean 16:00:19 zakim, NRCC is me 16:00:20 +Harold; got it 16:00:37 Action: christian to update the agenda template with Zakim french phone number 16:00:38 Created ACTION-394 - Update the agenda template with Zakim french phone number [on Christian de Sainte Marie - due 2007-12-18]. 16:00:56 +[IBM] 16:01:15 zakim, ibm is temporarily me 16:01:15 +ChrisW; got it 16:01:50 zakim, who is on the phone? 16:01:50 On the phone I see Mike_Dean, Harold, ChrisW 16:01:55 StellaMitchell has joined #rif 16:01:59 josb has joined #rif 16:02:08 IgorMozetic has joined #rif 16:02:23 +josb 16:02:27 + +49.892.1.aaaa 16:03:21 +Stella_Mitchell 16:03:48 postpone approval of last week's minutes since they've only been out for a day 16:04:04 + +324789aabb 16:04:13 s/postpone/ChrisW: postpone/ 16:04:15 +MarkProctor 16:04:21 Chair: Chris Welty 16:04:34 damn forgotten how to register a new number 16:04:40 action 393 on axel is complete 16:04:53 +??P43 16:04:53 action 392 on sandro is complete 16:05:02 zakim, ??P43 is me 16:05:02 +IgorMozetic; got it 16:05:08 zakim, mute me 16:05:08 IgorMozetic should now be muted 16:05:23 action 390 on Christian is complete or irrelevant 16:05:46 action 389 on jos is complete 16:06:18 Hassan has joined #rif 16:06:48 + +1.650.685.aacc 16:06:50 +Hassan_Ait-Kaci 16:07:03 zakim, aacc is me 16:07:03 +csma; got it 16:07:12 action 386 on Chris is complete: jos and Mike Dean are RIF members of OWL Task Force - Peter and Uli Sattler are from OWL WG 16:07:49 ... may want to pick 1 more from each side 16:08:07 - +324789aabb 16:08:08 jos: 2 may be preferable 16:08:15 LeoraMorgenstern has joined #rif 16:08:36 + +324789aadd 16:08:44 ChrisW: ensure all stakeholders are accounted for 16:08:44 +LeoraMorgenstern 16:08:49 Zakim, +324789aadd is me 16:08:49 +markproctor; got it 16:08:50 zakim, please mute me 16:08:50 LeoraMorgenstern should now be muted 16:09:00 josb: interested in OWL Full as well as OWL DL 16:09:12 zakim, please unmute me 16:09:12 LeoraMorgenstern should no longer be muted 16:09:42 action 387 on leora is continued 16:09:51 zakim, please mute me 16:09:51 LeoraMorgenstern should now be muted 16:10:16 action 384 pending discussion 16:10:28 Christian updating actions 16:10:32 I'm in two conference calls at the same time 16:10:49 so do say my name twice, incase I can't follow that part of the call - to get my attention. 16:11:45 zakim,next item 16:11:45 agendum 2. "Liason" taken up [from ChrisW] 16:11:58 http://www.w3.org/2005/rules/wg/wiki/Response_to_PPS1 16:13:10 ChrisW: draft of email response 16:13:12 don"t understand 16:13:47 josb: partial response to question 14 16:14:27 ... semantics is same as RDF - syntax is different - michael might justify why 16:14:38 +Gary_Hallmark 16:14:57 ChrisW: may make second pass 16:15:18 ChrisW: still need to respond to Peter's second message 16:15:52 Re 'Liaison', does someone know anything about the results of the OWL Manchester f2f? 16:15:52 Action: Harold to review response to Peter Patel-Schneider 16:15:52 Created ACTION-395 - Review response to Peter Patel-Schneider [on Harold Boley - due 2007-12-18]. 16:15:56 zakim, next item 16:15:56 agendum 3. "F2F9" taken up [from ChrisW] 16:16:13 GaryHallmark has joined #rif 16:16:17 http://www.w3.org/2002/09/wbs/38457/f2f9options/results 16:16:24 ChrisW: not a lot of responses to survey 16:16:37 Christian: 18 answers currently 16:16:44 s/survey/survey earlier/ 16:16:50 Michael_Kifer has joined #rif 16:17:30 ChrisW: let's go with Paris 16:17:44 Christian: will provide dinner 16:17:58 Feb 21-22 16:18:24 dates decided last week 16:18:59 RESOLVED: F2F9 at iLog ilogin Paris Feb 21-22 16:19:22 Mike, that's not actually a resolution but a chair decision 16:19:35 zakim, next item 16:19:35 agendum 4. "BLD - Issue 40" taken up [from ChrisW] 16:19:36 s/iLog ilogin/ILOG in/ 16:20:04 zakim, who is on the phone? 16:20:04 On the phone I see Mike_Dean, Harold, ChrisW, josb, PaulaP (muted), Stella_Mitchell, IgorMozetic (muted), csma, Hassan_Ait-Kaci (muted), markproctor, LeoraMorgenstern (muted), 16:20:07 ... Gary_Hallmark 16:20:16 Michael, are you joining? 16:20:17 rrsagent, make logs public 16:20:19 Christian: need to book hotels through ILOG - will send email to list 16:20:43 +Michael_Kifer 16:20:52 zakim, mute me 16:20:52 Michael_Kifer should now be muted 16:21:34 http://www.w3.org/2005/rules/wg/wiki/List_of_BLD_built-ins 16:22:42 zakim, next item 16:22:42 agendum 6. "BLD - Issue 43" taken up [from ChrisW] 16:23:57 thanks 16:23:58 q+ 16:24:39 q- 16:25:08 ChrisW: anyone who doesn't like option C modulo syntax changes in email? 16:25:19 +1 for Option C 16:25:33 Christian: logic functions would be different in what way? 16:26:05 right 16:26:08 ChrisW: external calls have their own syntax 16:26:13 Re option c, The Presentation Syntax does not use commas but whitespace as separators: 16:26:16 &fn:dateTime( "2006-08-15"^^xs:date, "12:30:45-05:00"xs:time ) 16:26:18 --> 16:26:23 &fn:dateTime( "2006-08-15"^^xs:date "12:30:45-05:00"xs:time ) 16:27:46 http://lists.w3.org/Archives/Public/public-rif-wg/2007Dec/0039.html 16:28:07 at end of message 16:30:56 Also, I think we should not 'use up' the "&" special character for this purpose; "fn:" is clear enough. 16:30:57 I would prefer ... instead of 16:31:11 RESOLVED: Option C 16:31:50 PROPOSED: Go with Axel's option C, that is using a special syntax to distinguish evaluated predicates from logical functions 16:32:09 zakim, unmute me 16:32:09 Michael_Kifer should no longer be muted 16:33:42 And (plus(z,1,1) z>y) 16:36:08 Michael, do you mean a new predicate greaterThanSum(y 1 1)? 16:36:27 harold, this too complex 16:36:39 Michael: allow only total functions, not partial 16:36:56 Christian, I didn't suggest this :-) 16:37:18 Christian: otherwise define binding patterns 16:37:39 However, in F2F8 we tended strongly towards having only builtin predicates. 16:37:51 q+ 16:38:12 This was because we took out Equal from the (future) Core. 16:38:28 zakim, mute me 16:38:28 Michael_Kifer should now be muted 16:38:47 Without Equal, we can no longer define user-defined functions, 16:38:47 zakim, unmute me 16:38:47 Michael_Kifer should no longer be muted 16:39:09 q+ 16:39:11 so it makes little sense to have builtin functions. 16:39:13 ChrisW: resolution is about syntax 16:39:24 RESOLVED: Go with Axel's option C, that is using a special syntax to distinguish evaluated predicates from logical functions 16:39:37 ack hassan 16:40:04 q+ 16:40:22 q- 16:40:23 zakim, mute me 16:40:24 Michael_Kifer should now be muted 16:40:33 ack igor 16:42:35 zakim, unmute me 16:42:35 Michael_Kifer should no longer be muted 16:42:42 zakim, unmute me 16:42:42 IgorMozetic was not muted, IgorMozetic 16:42:42 zakim, mute me 16:42:44 Michael_Kifer should now be muted 16:42:54 zakim, mute me 16:42:54 IgorMozetic should now be muted 16:43:04 Makes sense now ... Thanks Igor! 16:43:13 RESOLVED: Go with Axel's option C, that is using a special syntax to distinguish evaluated functions/predicates from logical functions/predicates 16:43:29 ack har 16:44:04 q+ 16:45:05 Harold: removing Equal may preclude user-defined functions 16:45:18 Christian: wants to allow user-defined functions 16:45:52 ack csma 16:46:05 equality is in BLD, just not in Core 16:46:14 ChrisW: syntax discussion 16:46:34 ATOMIC ::= Uniterm | Equal | ExtTerm 16:46:34 TERM ::= Const | Var | Uniterm | ExtTerm 16:46:46 ExtTerm ::= '&' Const ' ( ' TERM* ' ) ' 16:47:10 q+ 16:47:56 ack jos 16:47:58 Christian: probably not ready to resolve this now 16:47:59 ExtTerm ::= ' BuiltIn( ' Uniterm ' ) ' 16:48:32 I don't agree. Most PR will be all builtins 16:48:33 but this might make confusion with higher-order predicates 16:48:57 ChrisW: add to Wiki page then discuss next week 16:49:21 Gary: prefer simpler presentation syntax 16:49:45 ... prefers & or something similarly concise 16:49:52 q+ 16:49:57 for "builtins" we talking about the first order logic conditional elements? exists, not, forall, collect ? 16:50:08 or are you talking about possible functions used inside test/eval nodes? 16:50:21 typically what goes in a test/eval node is black box. 16:50:22 no, we are talking about procedural attachments 16:50:41 ok so test/evals 16:50:48 right 16:50:52 I agree with Gary 16:51:02 I can do that 16:51:03 so many engines come with a selection of functions, but you can easily add more. 16:51:10 how about ExtTerm ::= ' &[ ' Uniterm ' ] ' 16:51:22 ok 16:51:24 zakim, unmute me 16:51:24 Michael_Kifer should no longer be muted 16:51:35 same possible confusion with embedding, Jos 16:51:40 ACTION: PaulaP to update BLD syntax for new external calls 16:51:40 Sorry, couldn't find user - PaulaP 16:52:11 ACTION: Paula to update BLD syntax for new external calls 16:52:11 Sorry, couldn't find user - Paula 16:52:36 Mike, it is PaulaLa 16:52:44 ok 16:52:55 http://www.w3.org/2005/rules/wg/wiki/List_of_BLD_built-ins 16:52:55 http://www.w3.org/2005/rules/wg/wiki/List_of_BLD_built-ins 16:52:59 Re builtin functions as well as builtin predicates, we should not introduce the **redundancy** of having all/many of the (arithmetic, ...) builtins TWICE, functionally as well as logically. 16:53:06 zakim, list agenda 16:53:06 I see 2 items remaining on the agenda: 16:53:08 6. BLD - Issue 43 [from ChrisW] 16:53:10 7. AOB [from ChrisW] 16:53:31 ACTION: PaulaLa to update BLD list of builtins for new external calls 16:53:31 Sorry, couldn't find user - PaulaLa 16:53:51 zakim, mute me 16:53:51 Michael_Kifer should now be muted 16:54:03 q+ 16:54:08 q- 16:54:15 q? 16:54:44 zakim, unmute me 16:54:44 Michael_Kifer should no longer be muted 16:56:02 Michael: charter addresses frame syntax 16:56:11 q? 16:56:30 ... to accommodate round-tripping of frame-based languages 16:56:45 Michael: Core as profile of BLD 16:57:06 ... defining dialect is a lot of work, but profile (restrictions) are easy 16:57:13 q? 16:57:57 q? 16:58:14 ack c 16:58:29 Michael: if we don't include subclass and membership in BLD, then no reason to include frames 16:59:00 Christian: data model should be passed out-of-band 16:59:37 ... this is the argument against 16:59:52 Sorry, I have to go now 17:00:05 I am not against getting rid of frames in core 17:00:11 bye 17:00:22 -josb 17:00:25 argument for # and ##: you can exchange more rules without understanding details of data models 17:01:27 Christian: suggest BLD++ with membership and subclass 17:01:43 ... will need mechanism to extend dialects 17:01:57 Michael: such a mechanism will be very complicated 17:02:02 argument against # and ##: you have to "bend" your data model to conform to RIF's notion of # and ## 17:04:21 Michael: BLD should be technically complete 17:04:49 Christian: will also have to discuss equality 17:07:15 hand in hand 17:07:36 ChrisW (not as chair): would like membership but not classification 17:07:43 was there a URL to provide the definition difference between the two? 17:07:45 I have no clue ??? 17:08:36 straw poll indicates that the 2 should be treated together, although jos and Dave Reynolds aren't here 17:08:58 so no wiki page explaining the difference? 17:09:08 To me they are the same thing ... If you can do one, you can do the other. Membership = subtype + singleton-denoting-set 17:09:09 +1 with Michael, too much design by committee is not good 17:09:14 ChrisW: doesn't make sense to discuss this now 17:09:16 they are defined in BLD 17:09:25 http://www.w3.org/2005/rules/wg/track/issues/45 17:09:34 someone want to do an action item to define classification/membership in the wiki? 17:09:36 issue 45 lists 17:09:38 agendum Issue 45 Lists 17:09:43 zakim, mute me 17:09:43 Michael_Kifer should now be muted 17:09:51 no isn't it issue 44? 17:09:54 a # b is: instance a is a member of class b 17:09:58 Issue 44 (named arguments Uniterm) [13] 17:10:06 a## b is cals a is a subclass of class b 17:10:59 ChrisW: don't yet have a proposal for lists 17:11:38 Christian: lists in logic vs. list as type 17:11:52 if you have logic functions, you have logic lists 17:12:06 http://www.w3.org/2005/rules/wg/wiki/Core/List_Constructor 17:13:23 Harold: OWL 1.1 sequence construct 17:13:51 ... mapped to RDF 17:13:51 markproctor has joined #rif 17:14:34 ChrisW: just syntactic sugar for rdf:List 17:14:35 need list builtins as well for dialects not supporting logical functions 17:15:53 ChrisW: does OWL 1.1 allow nested sequences? 17:16:02 Harold: don't see any reason why it shouldn't 17:17:47 Gary: won't work so well for production rules 17:19:13 Gary: need builtins to access lists 17:19:18 Gary, lists are part of Horn logic, not Datalog. 17:19:39 peeps we didn't discuss 44? 17:19:39 Michael, I think the easy way out for Core, BLD, BLD++ (or Core, BLD--, BLD) is to have it both way: (1) we keep the BLD document; (2) we specify CORE, BLD-+, BLD+- as restrictions against the complete spec; (3) we call each of them a dialect and) we change the title of the document accordingly. That works because they are specified in the same document, so there is really no difference between a dialect and a profile. 17:19:39 zakim, take up item 6 17:19:39 agendum 6. "BLD - Issue 43" taken up [from ChrisW] 17:19:44 So, we could have them only in BLD, not in the Core. 17:19:47 ChrisW: end early 17:19:59 zakim, pick a victim 17:19:59 Not knowing who is chairing or who scribed recently, I propose Hassan_Ait-Kaci (muted) 17:20:00 Issue 44 (named arguments Uniterm) [13] 17:20:07 we didn't discuss that right? 17:20:07 But why not have builtins for opaque lists already in the Core. 17:20:24 Hassan will scribe next week 17:20:25 ('opaque' in the sense of arrays) 17:20:25 Mark, no, it will be included in the profile/dialect discussion 17:20:28 -IgorMozetic 17:20:29 Chris: adjourned 17:20:33 -Gary_Hallmark 17:20:34 -Michael_Kifer 17:20:34 bye 17:20:35 -Harold 17:20:36 -Hassan_Ait-Kaci 17:20:37 ah ok 17:20:38 -Stella_Mitchell 17:20:38 s/Chris/ChrisW/ 17:20:39 ok peeps 17:20:42 -PaulaP 17:20:43 see ya later 17:20:47 zakim, list attendees 17:20:47 As of this point the attendees have been Mike_Dean, Harold, ChrisW, josb, +49.892.1.aaaa, PaulaP, Stella_Mitchell, +324789aabb, IgorMozetic, +1.650.685.aacc, Hassan_Ait-Kaci, csma, 17:20:50 ... LeoraMorgenstern, markproctor, Gary_Hallmark, Michael_Kifer 17:20:51 -markproctor 17:20:52 -LeoraMorgenstern 17:20:56 rrsagent, make minutes 17:20:56 I have made the request to generate http://www.w3.org/2007/12/11-rif-minutes.html ChrisW 17:21:23 zakim, who is on the phone? 17:21:23 On the phone I see Mike_Dean, ChrisW, csma 17:21:33 -Mike_Dean 17:25:10 -ChrisW 17:25:13 -csma 17:25:15 SW_RIF()11:00AM has ended 17:25:17 Attendees were Mike_Dean, Harold, ChrisW, josb, +49.892.1.aaaa, PaulaP, Stella_Mitchell, +324789aabb, IgorMozetic, +1.650.685.aacc, Hassan_Ait-Kaci, csma, LeoraMorgenstern, 17:25:20 ... markproctor, Gary_Hallmark, Michael_Kifer