14:48:51 RRSAgent has joined #rif 14:48:52 logging to http://www.w3.org/2008/03/18-rif-irc 14:48:59 zakim, this will be rif 14:48:59 ok, csma; I see SW_RIF()11:00AM scheduled to start in 12 minutes 14:49:20 Meeting: RIF telecon March 18 2008 14:49:38 Chair: Christian de Sainte Marie 14:49:46 Scribe: Igor Mozetic 14:50:04 Agenda: http://lists.w3.org/Archives/Public/public-rif-wg/2008Mar/0091.html 14:50:35 Regrets: PaulVincent LeoraMorgenstern 14:51:38 csma has changed the topic to: 18 March RIF telecon agenda: http://lists.w3.org/Archives/Public/public-rif-wg/2008Mar/0091.html 14:51:48 zakim, list agenda 14:51:48 I see nothing on the agenda 14:52:22 agenda+ Admin 14:52:37 agenda+ F2F10 14:52:54 agenda+ Action review 14:53:03 ChrisW has joined #rif 14:53:34 agenda+ FLD/BLD grammar 14:53:53 agenda+ XML syntax 14:54:12 agenda+ publication plan 14:57:24 IgorMozetic has joined #rif 14:58:07 SW_RIF()11:00AM has now started 14:58:16 +??P18 14:58:30 zakim, ??P18 is me 14:58:30 +IgorMozetic; got it 14:59:08 scribenick: IgorMozetic 14:59:20 zakim, list agenda 14:59:22 I see 6 items remaining on the agenda: 14:59:24 1. Admin [from csma] 14:59:26 2. F2F10 [from csma] 14:59:28 3. Action review [from csma] 14:59:30 4. FLD/BLD grammar [from csma] 14:59:30 markproctor has joined #rif 14:59:32 5. XML syntax [from csma] 14:59:34 6. publication plan [from csma] 14:59:36 Hassan has joined #rif 14:59:48 -IgorMozetic 14:59:50 SW_RIF()11:00AM has ended 14:59:52 Attendees were IgorMozetic 15:00:10 SW_RIF()11:00AM has now started 15:00:12 +[NRCC] 15:00:19 AdrianP has joined #rif 15:00:28 +??P18 15:00:28 zakim, [NRCC] is me 15:00:32 -??P18 15:00:36 +??P18 15:00:38 +Mike_Dean 15:00:44 +Mark_Proctor 15:00:46 +Harold; got it 15:00:52 -??P18 15:00:58 -Mark_Proctor 15:01:00 +Hassan_Ait-Kaci 15:01:04 -Hassan_Ait-Kaci 15:01:06 +Hassan_Ait-Kaci 15:01:10 + +6928aaaa 15:01:14 +Sandro 15:01:20 zakim, aaaa is me 15:01:30 + +49.351.463.4.aabb 15:01:32 +csma; got it 15:01:34 DaveReynolds has joined #rif 15:01:39 Zakim, aabb is me 15:01:42 +Mark_Proctor 15:01:44 +??P30 15:01:45 StellaMitchell has joined #rif 15:01:45 josb has joined #rif 15:01:50 zakim, ??P30 15:01:54 +AdrianP; got it 15:01:55 zakim, who is on the phone? 15:02:01 zakim, ??P30 is me 15:02:05 Zakim, mute me 15:02:08 + +43.158.801.1aacc 15:02:10 I don't understand '??P30', IgorMozetic 15:02:14 On the phone I see Harold, Mike_Dean, Hassan_Ait-Kaci (muted), csma, Sandro, AdrianP, Mark_Proctor, ??P30, +43.158.801.1aacc 15:02:30 +IgorMozetic; got it 15:02:32 AdrianP should now be muted 15:02:54 +??P57 15:03:02 +Dave_Reynolds (was ??P57) 15:03:22 +Stella_Mitchell 15:03:47 zakim, take up agendum 1 15:04:00 agendum 1. "Admin" taken up [from csma] 15:04:02 -AdrianP 15:04:15 http://lists.w3.org/Archives/Public/public-rif-wg/2008Mar/att-0064/04-Mar-2008-rif-minutes.htm 15:04:33 PROPOSED: accept minutes of March 4 telecon 15:04:52 RESOLVED: accepted minutes of March 4 telecom 15:05:04 PROPOSED: accept minutes of March 11 telecon 15:05:08 + +1.914.784.aadd 15:05:16 zakim, aadd is me 15:05:16 +ChrisW; got it 15:05:18 http://lists.w3.org/Archives/Public/public-rif-wg/2008Mar/att-0072/rif-minutes-11-March-2008.html 15:05:26 RESOLVED: accepted minutes of March 11 telecon 15:05:59 next agendum 15:06:17 no update on F2F10 15:06:30 next agendum 15:06:34 +Gary_Hallmark 15:06:38 Adrian_P has joined #rif 15:07:00 zakim, close item 2 15:07:00 agendum 2, F2F10, closed 15:07:02 I see 4 items remaining on the agenda; the next one is 15:07:04 3. Action review [from csma] 15:07:09 zakim, next item 15:07:10 next agendum 15:07:17 agendum 3. "Action review" taken up [from csma] 15:07:27 + +49.351.463.4.aaee 15:07:38 Zakim, aaee is me 15:07:40 +Adrian_P; got it 15:20:42 zakim, close item 3 15:20:43 agendum 3, Action review, closed 15:20:44 I see 3 items remaining on the agenda; the next one is 15:20:45 4. FLD/BLD grammar [from csma] 15:20:59 zakim, next item 15:20:59 agendum 4. "FLD/BLD grammar" taken up [from csma] 15:22:33 Zakim, mute me 15:22:33 Adrian_P should now be muted 15:22:43 josb: no news on OWL+RIF task force 15:24:39 Harold: discuss UNITERM 15:25:21 Harold: UNITERM is split in functions and predicates 15:26:15 Harold: since nobody supported UNITERMs, they were taken out of docs 15:27:05 Expression 15:27:08 q+ 15:27:19 ack josb 15:27:44 josb: expresses concern over the term 'expression' 15:28:14 Harold: Expression is only function expression 15:28:25 q+ 15:28:35 how do I get on the speaker queue? 15:28:39 josb: what about predicate expression? 15:28:41 type "q+" markproctor 15:28:51 q+ markproctor 15:29:01 ack sandro 15:29:51 sandro: let's wait for feedback and mark issues under discussion 15:29:54 ack markp 15:31:41 -Gary_Hallmark 15:31:49 Mark, we did have a neutral word for both predicate and function applications: Uniterms. But no one came to their support. 15:32:03 So we again split them into Atoms and Expressions. 15:32:14 Not sure I understand the argument (!) about arities,,, 15:32:18 +Gary_Hallmark 15:32:39 Boolean functions 15:33:10 csma: let's keep separation between functions and predicates 15:33:12 q+ 15:33:28 harold: yes it does seem a bit more a mess around the definitions and how different systems seem the differently. 15:33:39 in the PR world it's not something I'm comfortable with 15:33:40 csma: let's keep the naming and mark it as 'under discussion' 15:33:46 and would like to see resolved 15:33:48 ack jos 15:33:59 PROPOSED: Open an issue on terminology around terms/functions/predicates and include an editorial comment in WD2 asking for feedback. 15:34:41 PROPOSED: Open an issue on terminology around terms/functions/predicates and include an editorial comment in WD2 asking for feedback, but keep "atom" and "expr" for this draft. 15:35:04 +1 15:35:12 +1 15:35:20 RESOLVED: Open an issue on terminology around terms/functions/predicates and include an editorial comment in WD2 asking for feedback, but keep "atom" and "expr" for this draft. 15:35:32 I can hear someone typing through their mic. 15:35:36 GaryHallmark has joined #rif 15:35:52 ACTION: cdesaint to open the issue on terminology around terms/functions 15:35:52 Created ACTION-447 - Open the issue on terminology around terms/functions [on Christian de Sainte Marie - due 2008-03-25]. 15:36:16 definitions are e.g. given in the book about logic programming of Lloyd 15:36:32 csma: next issue logic terms vs. external calls 15:37:02 harold: external call cannot be in the head 15:37:17 harold: atomic can be in the head 15:38:11 josb_ has joined #rif 15:38:28 csma: next issue: lists 15:39:07 harold: lists are not on the critical path 15:39:50 csma: PR handle lists as objects with specific builtins 15:39:51 in production rules you have collections of objects 15:40:05 an define patterns on top of the collections 15:40:26 q? 15:40:48 personally I like the pair idea 15:40:57 harold: many want standardized syntactic sugar for lists 15:41:57 as far as I remember we discussed lists as not being on critical path in F2F8 15:42:04 as well as modules 15:42:46 csma: not having listst in WD2 15:43:05 csma: next issue: nexted Forall 15:43:18 s/nexted/nested/ 15:44:11 q+ 15:44:21 ack hassan 15:44:48 hassan: logical Forall is not the same as in BRs 15:45:10 csma: here we talk about BLD 15:45:53 csma: nested Forall should not be allowed in BLD, but we need them in FLD 15:46:10 q+ 15:46:15 I think (Forall ?X ?Y ...) is the same as (Forall ?X (Forall ?Y ...)) 15:46:49 Gary, I agree. 15:46:51 ack harold 15:47:03 in PR forall is a logical element. It means when a pattern is true for all matching objects. 15:47:30 forall to iterate the entire WM, has little value for PR systems. 15:48:06 q? 15:48:09 -1 15:48:11 csma: Forall is needed when quantifiers are dirrefent 15:48:20 ... for nested forall 15:48:59 we have no scoping yet. So nested Forall can be flattened and is not really needed 15:49:09 sandro: wonders about roundtripping, why to change the nesting? 15:49:39 nesting is useful when alternating quantifiers in FOL 15:50:54 PROPOSED: remove nested Foralls for WD2. Maybe we'll get some use case some day for putting them back in. 15:51:03 PROPOSED: remove nested Forall (nested variable declarations) from BLD 15:51:04 josb has joined #rif 15:51:09 PROPOSED: remove nested Foralls for BLD WD2. Maybe we'll get some use case some day for putting them back in. 15:51:34 q? 15:51:36 s/(Forall/Forall(/g 15:51:40 +1 15:51:45 no objections 15:51:50 +1 15:51:51 RESOLVED: remove nested Foralls for BLD WD2. Maybe we'll get some use case some day for putting them back in. 15:52:13 csma: last issue: Metadata 15:53:03 harold: currently metadata not in BLD, proposal by Thur. 15:53:55 harold: natural attachment point for Metadata if Forall tag 15:54:07 q+ 15:54:13 s/if F/is F/ 15:54:57 q- 15:55:08 harold: will add metadata by the next telecon 15:55:38 ACTION: cdesaint put metadata on agenda for next telecon 15:55:38 Created ACTION-448 - Put metadata on agenda for next telecon [on Christian de Sainte Marie - due 2008-03-25]. 15:56:14 q? 15:56:33 next agendum 15:57:20 csma: issues: striping 15:57:43 s/striping/stripping/ 15:58:16 q+ 15:58:18 csma: slots are not fully stripped 15:58:34 ack josb 15:59:05 josb: RIF XML syntaxt is horribly verbose 15:59:29 q? 15:59:31 the verbosity applies to the entire RIF 15:59:33 You keep the 'object model' in the XML syntax. 15:59:41 you are developing an XML framework that is beyond most engineers 15:59:48 it will not be human readable 15:59:58 and thus only specialists can maintain systems that use the XML you create 16:00:06 I responded to [11]: http://lists.w3.org/Archives/Public/public-rif-wg/2008Mar/0080.html 16:00:21 csma: full stripping makes derivation of XML syntax easy 16:00:38 josb: but not the reading of XML 16:01:00 We could have OPTIONAL 'strip-skipping' in certain cases, 16:01:10 introducing Atom and Expr instead of Uniterm means also making RIF more verbose 16:01:11 AxelPolleres has joined #rif 16:01:19 as Sandro discusses about 5 years ago in a web page. 16:01:20 q? 16:01:22 +??P13 16:01:23 I would prefer spending effort on readability on the presentation syntax 16:02:08 harold: we could allow both alternatives, eg, arg 16:02:56 Gary, I agree that we should make the presentation syntax readable, but we need to keep in mind that also people will be working with the XML syntax. 16:02:59 from F2F9: RESOLVED: We keep named arguments, explaining in BLD that: A RIF consumer that does not support named arguments can implement them, with relative ease, by treating them as positional arguments (of a different predicate, formed in a stable but implementation-dependent way) in the lexical order of the argument names. (Closing ISSUE-44). 16:03:05 csma: normative syntaxt should be fully stripped, but falback doesn't be 16:03:21 harold: one shouldn't read the XML 16:03:38 s/harold/gary/ 16:03:41 +1 with Gary 16:03:50 +1 to Gary, readable pres syntax pleeease 16:03:58 gary: prefers fully stripped syntax 16:04:02 q? 16:05:14 The fully striped pabcefg could be optionally stripe-skipped to p abc efg. 16:05:35 0Adrian, why do you mention that resolution from F2F9? 16:06:00 q+ 16:06:56 Basically, our current user slot names (keys) are fine; 16:06:56 they maintain full striping on the user level, writing it as 16:06:56 mykey myfiller 16:06:56 because 16:06:56 myfiller 16:06:57 doesn't XML-technically allow markup such as F-logic's 16:06:59 Someslotname and ...method... 16:07:01 instead of the constant mykey, 16:07:03 while 16:07:05 myfiller 16:07:07 would be "non-generic" markup (http://www.ai.sri.com/pkarp/xol/xol.html). 16:08:15 ack josb 16:08:17 csma: since args are already ordered, this applies to slots and values as well 16:08:59 LOL :-) 16:09:00 josb: why use abbreviations for tags if we don't care about the sice of XML? 16:09:12 s/sice/size/ 16:09:38 You mean size doesn't matter??? ;-) 16:09:44 csma: refers to resolution on naming conventions, Sep.11 2007 16:09:44 RESOLVED: we will have naming conventions; people edit the page to propose theirs (with explanation and reasons for any differences from what's already on page) 16:10:03 (from telecon setp 11 07) 16:10:06 we could drop integers and just use 0, S0, SS0, etc 16:11:38 We had a discussion about camel case and long construct names 16:11:38 josb: open an issue regarding implementation of the above resolution 16:12:28 ACTION: cdesaint open an issue on naming of XML element 16:12:28 Created ACTION-449 - Open an issue on naming of XML element [on Christian de Sainte Marie - due 2008-03-25]. 16:12:39 (elementS) 16:12:56 q? 16:13:43 q+ 16:13:52 ack jos 16:13:54 csma: issue: stripping 16:15:15 csma: In NAU the key could be a constant, but in frames, they keys can be variables, etc. 16:16:14 STRAWPOLL: Normative XML syntnax for RIF dialects will be full-striped 16:16:30 +1 with a sigh 16:16:33 we could spend a lot of time debating what stripes to remove... 16:16:48 0 (to early to decide) 16:16:50 -0.5 16:16:55 +0.5 16:16:56 0 16:17:02 +0.5 16:17:06 +.839 16:17:09 +1 16:17:13 -0 (not as the only option: see optional stripe-skipping above) 16:17:17 0 ( to early to decide, there are exception sometimes useful) 16:17:23 +0.5 16:17:35 yeah still thinking about it :) 16:17:47 I won't know really 16:17:54 until I see how you handle types 16:18:01 personally I like the pair idea 16:18:16 sandro: change the XML for WD2 to be fully striped 16:18:24 The term "slot" is used nowhere in the BLD document except for the XML syntax. Instead of "slot", "argument" should be used, as in the BLD syntax description. 16:18:36 I would say this would be subject to agreement on how typing is handled. 16:18:37 Harold: we'd need to be more precise about what fully-striped means. 16:18:38 agree with Mark, example name - value pairs 16:19:03 slots or named arguments - prefer slots. 16:19:07 as it's not always an argument 16:19:20 csma: I think we could pass this resulution at a future telecon 16:19:23 csma: issue: XML syntaxt for BLD 16:19:33 0 ( to early to decide, need to see how typing is handled) 16:19:43 PROPOSED: XML Syntax of BLD in WD2 before fully striped -- modify frames and named argument uniterms. 16:19:44 -1 16:19:58 PROPOSED: XML Syntax of BLD in WD2 be fully striped -- modify frames and named argument uniterms. 16:20:16 Harold: In my definition it already is. 16:20:42 harold: my definition of fully striped is different 16:21:00 We can see these examples all spelled out in my e-mail: http://lists.w3.org/Archives/Public/public-rif-wg/2008Mar/0077.html 16:22:03 TERMTERM 16:22:29 ok change of mind, thought about it more. 16:22:31 -1 16:23:03 -Dave_Reynolds 16:23:04 Ciao, DaveReynolds 16:24:53 to add a new role tag for a slot seems to be superficial 16:24:57 csma: move that discussion to future 16:25:19 this is a VERY superficial issue, Adrian_P 16:25:21 16:25:21 TERM 16:25:21 Const 16:25:21 TERM 16:25:21 16:25:35 -ChrisW 16:25:47 just feel that there re too many unknowns 16:25:48 q? 16:25:48 yeah 16:25:55 I'd like to see more use cases 16:25:57 You mean k f should be expanded to kf? 16:26:42 Harold, Christian wants my option 2. You're suggesting my option 3. 16:26:46 csma: XML schema in BLD is not alignd with BNF 16:27:25 csma: several updates in WD2 are needed 16:28:06 csma: are there any constraints on Var? 16:28:38 btw the problem on verbosity. the problem with key/value pair represetation is the least of your worries. compared to the rest of the verbosity. 16:29:15 +1 ok for me ta add 5min 16:29:22 +1 extend 16:29:23 +1 16:29:28 next addendum 16:29:38 Zakim, unmute me 16:29:38 Adrian_P should no longer be muted 16:29:39 extend the meeting for 5 min 16:30:14 Publication plan: SWC 16:30:24 josb: I need BLD syntax+semantics frozen before I can update swc. 16:31:27 csma: cannot freeze SWC today 16:31:43 Can this made dependent on confrimation by email from michael? 16:32:39 csma: when BLD syntax+semantics is frozen, SWC can be frozen in two days 16:32:49 s/csma/josb/ 16:33:12 adrian: we can freeze UCR now 16:33:25 ACTION: Sandro make frozen version of UCR. 16:33:26 Created ACTION-450 - Make frozen version of UCR. [on Sandro Hawke - due 2008-03-25]. 16:33:48 two reviewers of UCR: 16:33:58 zakim, who is on the phone? 16:33:58 On the phone I see Harold, Mike_Dean, Hassan_Ait-Kaci (muted), csma, Sandro, Mark_Proctor, IgorMozetic, josb, Stella_Mitchell, Adrian_P, Gary_Hallmark, AxelPolleres (muted) 16:34:07 zakim, pick a victim 16:34:07 Not knowing who is chairing or who scribed recently, I propose Gary_Hallmark 16:34:50 ACTION: GaryHallmark review UCR 16:34:50 Sorry, couldn't find user - GaryHallmark 16:34:51 have to go 16:34:53 bye 16:34:54 ACTION: Gary review UCR 16:34:54 Created ACTION-451 - Review UCR [on Gary Hallmark - due 2008-03-25]. 16:34:55 Gary: agrees to review UCR by next telecon 16:35:05 zakim, pick a victim 16:35:05 Not knowing who is chairing or who scribed recently, I propose Gary_Hallmark 16:35:12 heh 16:35:19 zakim, pick a victim 16:35:19 Not knowing who is chairing or who scribed recently, I propose josb 16:35:21 zakim, who is talking? 16:35:25 -josb 16:35:31 sandro, listening for 10 seconds I heard sound from the following: Gary_Hallmark (20%), csma (38%) 16:35:41 zakim, pick a victim 16:35:41 Not knowing who is chairing or who scribed recently, I propose IgorMozetic 16:36:23 ACTION: Igor review UCR -- due 2008-0401 16:36:23 Created ACTION-452 - Review UCR -- due 2008-0401 [on Igor Mozetic - due 2008-03-25]. 16:36:41 thanks 16:36:43 -Gary_Hallmark 16:36:49 -Stella_Mitchell 16:36:50 -Hassan_Ait-Kaci 16:36:50 -Harold 16:36:51 Gary and Igor please send comments on UCR to David and me 16:36:53 thanks 16:36:55 bye 16:36:58 -AxelPolleres 16:37:04 rrsagent, make minutes 16:37:04 I have made the request to generate http://www.w3.org/2008/03/18-rif-minutes.html csma 16:37:06 -Adrian_P 16:37:13 -Mike_Dean 16:37:28 RRSAgent, make record public 16:38:06 Zakim, list attendees 16:38:06 As of this point the attendees have been Mike_Dean, Mark_Proctor, Harold, Hassan_Ait-Kaci, +6928aaaa, Sandro, +49.351.463.4.aabb, csma, AdrianP, +43.158.801.1aacc, IgorMozetic, 16:38:10 ... Dave_Reynolds, josb, Stella_Mitchell, +1.914.784.aadd, ChrisW, Gary_Hallmark, +49.351.463.4.aaee, Adrian_P, AxelPolleres 16:38:22 rrsagent, make minutes 16:38:22 I have made the request to generate http://www.w3.org/2008/03/18-rif-minutes.html csma 16:40:12 -IgorMozetic 16:44:43 -Mark_Proctor 16:44:56 -Sandro 16:44:58 -csma 16:45:00 SW_RIF()11:00AM has ended 16:45:01 Attendees were Mike_Dean, Mark_Proctor, Harold, Hassan_Ait-Kaci, +6928aaaa, Sandro, +49.351.463.4.aabb, csma, AdrianP, +43.158.801.1aacc, IgorMozetic, Dave_Reynolds, josb, 16:45:03 ... Stella_Mitchell, +1.914.784.aadd, ChrisW, Gary_Hallmark, +49.351.463.4.aaee, Adrian_P, AxelPolleres 16:54:50 ACTION: chris, look, Tracker has nicknames now! 16:54:50 Sorry, couldn't find user - chris, 16:55:00 ACTION: chris notice that Tracker has nicknames now! 16:55:01 Sorry, couldn't find user - chris 16:55:12 ACTION: csma notice that Tracker has nicknames now! 16:55:12 Sorry, couldn't find user - csma 17:25:34 DaveReynolds has joined #rif