14:30:46 RRSAgent has joined #rif 14:30:47 logging to http://www.w3.org/2008/10/21-rif-irc 14:30:52 zakim, this will be rif 14:30:52 ok, ChrisW; I see SW_RIF()11:00AM scheduled to start in 30 minutes 14:30:59 rrsagent, make minutes 14:30:59 I have made the request to generate http://www.w3.org/2008/10/21-rif-minutes.html ChrisW 14:31:36 Meeting: RIF Telecon 21-Oct-08 14:31:41 Chair: Chris Welty 14:31:53 Agenda: http://lists.w3.org/Archives/Public/public-rif-wg/2008Oct/0083.html 14:32:06 ChrisW has changed the topic to: 21 Oct RIF Telecon Agenda http://lists.w3.org/Archives/Public/public-rif-wg/2008Oct/0083.html 14:32:26 rrsagent, make logs public 14:59:04 DaveReynolds has joined #rif 15:00:04 sandro has joined #rif 15:00:12 zakim, who is here? 15:00:12 apparently SW_RIF()11:00AM has ended, sandro 15:00:13 On IRC I see sandro, DaveReynolds, RRSAgent, ChrisW, Zakim, trackbot 15:00:15 SW_RIF()11:00AM has now started 15:00:20 + +1.914.784.aaaa 15:00:23 zakim, aaaa is me 15:00:23 +ChrisW; got it 15:00:28 +StuartTaylor 15:00:34 +Sandro 15:00:55 mdean has joined #rif 15:01:12 StellaMitchell has joined #rif 15:01:29 +Mike_Dean 15:01:37 Hassan has joined #rif 15:02:08 +[IBM] 15:02:15 zakim, ibm is temporarily me 15:02:15 +StellaMitchell; got it 15:02:24 hassan, will you be able to scribe today? 15:03:00 Harold has joined #rif 15:03:00 Gary_Hallmark has joined #rif 15:03:00 yzhao has joined #rif 15:03:07 zakim, who is on the phone? 15:03:07 On the phone I see ChrisW, StuartTaylor, Sandro, Mike_Dean, StellaMitchell 15:03:18 -StuartTaylor 15:03:46 josb has joined #rif 15:03:47 +josb 15:04:01 +Hassan 15:04:06 +??P13 15:04:11 +??P14 15:04:26 Scribe: Hassan 15:04:41 + +43.158.801.3aabb 15:04:46 Last week's minutes: http://lists.w3.org/Archives/Public/public-rif-wg/2008Oct/att-0017/2008-10-07-minutes.html 15:04:57 PROPOSED: accept minutes of last telecon 15:05:01 RESOLVED: accept minutes of last telecon 15:05:25 zakim, +43.158.801.3aabb is me 15:05:25 +Harold; got it 15:05:33 zakim, take up item 2 15:05:33 agendum 2. "Action Review" taken up [from ChrisW] 15:05:37 No telecon on Oct. 28 - meetin cancelled 15:05:39 +Gary 15:05:49 s/meetin/meeting/ 15:05:53 zakim, who is on the phone? 15:05:53 On the phone I see ChrisW, Sandro, Mike_Dean, StellaMitchell, josb, Hassan, DaveReynolds, ??P14, Harold, Gary 15:06:35 zakim, ??P14 is me 15:06:35 +yzhao; got it 15:07:03 action-621 done 15:07:16 ACTION-621: done 15:07:16 ACTION-621 Start F2F12 wiki page notes added 15:07:23 ACTION-621 done 15:07:27 ACTION-621 complete 15:07:53 ACTION-621: completed 15:07:54 ACTION-621 Start F2F12 wiki page notes added 15:07:56 ACTION-621 is done 15:08:33 ACTION-621 closed 15:08:34 ACTION-621 Start F2F12 wiki page closed 15:10:47 +[IPcaller] 15:11:08 zakim, who is on the call 15:11:08 I don't understand 'who is on the call', ChrisW 15:11:11 zakim, who is on the call? 15:11:11 On the phone I see ChrisW, Sandro, Mike_Dean, StellaMitchell, josb, Hassan (muted), DaveReynolds, yzhao, Harold, Gary, [IPcaller] 15:11:25 mkifer has joined #rif 15:11:25 zakim, [ipcaller] is AdrianP 15:11:25 +AdrianP; got it 15:13:15 +Michael_Kifer 15:13:47 StuartTaylor has joined #rif 15:14:39 zakim, who is on the call? 15:14:39 On the phone I see ChrisW, Sandro, Mike_Dean, StellaMitchell, josb, Hassan (muted), DaveReynolds, yzhao, Harold, Gary, AdrianP, Michael_Kifer 15:15:04 Zakim, StuartTaylor is with yzhao 15:15:04 +StuartTaylor; got it 15:15:49 action-613 closed 15:15:49 ACTION-613 Put f2f12 on agenda next week closed 15:17:17 zakim, take up item 3 15:17:17 agendum 3. "Core" taken up [from ChrisW] 15:17:41 PROPOSED: Core should keep safe disjunction in rule bodies. Implementations can be direct or use a well-known preprocessing step. 15:18:15 RESOLVED: Core should keep safe disjunction in rule bodies. Implementations can be direct or use a well-known preprocessing step. 15:18:54 It was Issue-75 I thinkg 15:19:34 PROPOSED: Core should keep safe disjunction in rule bodies. Implementations can be direct or use a well-known preprocessing step. 15:19:44 PROPOSED: CLose Issue-75 15:19:59 RESOLVED: Close Issue-75 15:20:10 action: Chris to close issue 75 15:20:10 Created ACTION-622 - Close issue 75 [on Christopher Welty - due 2008-10-28]. 15:21:18 Harold discussing 2 sorts of "safeness" 15:21:20 I already said last week I'm fine with either choice 15:21:43 PROPOSED: Parameterize the conformance clauses of Core with 15:21:43 safeness requirements "strict" and "none" (default: "none"). 15:22:11 PROPOSED: Parameterize the conformance clauses of Core with safeness requirements "strict" and "none" (default: "none"). 15:22:51 action: chris to put proposal in agenda for next telecon (to close issue-70) 15:22:51 Created ACTION-623 - Put proposal in agenda for next telecon (to close issue-70) [on Christopher Welty - due 2008-10-28]. 15:24:43 DaveReynolds: Looking for definition of Skolem functions that would suit both BLD and PRD. But this looks like two different concepts. 15:25:15 ChrisW: Does this mean Skloem functions should not be on Core? 15:25:48 DaveReynolds: Not necessarily - just that the logical notion is not good for PRD. 15:26:14 Harold: member is in Core - but not subclass 15:26:41 zakim, take up item 4 15:26:41 agendum 4. "UCR" taken up [from ChrisW] 15:26:42 ChrisW: these are the 2 things remaining to discuss for Core 15:27:53 s/Skloem/Skolem/ 15:28:35 AdrianPaschke: Updated some examples in the UCR document to use the canonical syntax 15:29:59 DaveReynolds: discusses the changes needed in his UCR examples (frames vs. predicates) 15:31:29 -Mike_Dean 15:32:42 The 4.2 example seems to use nested frames - I didn't think that was supported in BLD PS. 15:34:02 ChrisW: looking for reviewers of the UCR document after AP is done with it (two weeks) 15:34:13 action: stella to review UCR in two weeks 15:34:13 Created ACTION-624 - Review UCR in two weeks [on Stella Mitchell - due 2008-10-28]. 15:34:21 zakim, pick a victim 15:34:21 Not knowing who is chairing or who scribed recently, I propose Michael_Kifer 15:34:46 zakim, pick a victim 15:34:46 Not knowing who is chairing or who scribed recently, I propose Gary 15:35:06 action: Gary to review UCR in two weeks 15:35:07 Created ACTION-625 - Review UCR in two weeks [on Gary Hallmark - due 2008-10-28]. 15:35:19 zakim, take up item 5 15:35:19 agendum 5. "SWC" taken up [from ChrisW] 15:35:43 http://www.w3.org/2005/rules/wiki/SWC 15:36:51 ChrisW: asking for comments before we publish this? discussion? 15:38:01 ChrisW: asking for reviewers for the SWC document... 15:38:13 action: sandro freeze RDF&OWL 15:38:13 Created ACTION-626 - Freeze RDF&OWL [on Sandro Hawke - due 2008-10-28]. 15:38:23 action: Chris to review RDF&OWL 15:38:23 Created ACTION-627 - Review RDF&OWL [on Christopher Welty - due 2008-10-28]. 15:38:58 zakim, who is on the call? 15:38:58 On the phone I see ChrisW, Sandro, StellaMitchell, josb, Hassan (muted), DaveReynolds, yzhao, Harold, Gary, AdrianP, Michael_Kifer 15:39:01 yzhao has yzhao, StuartTaylor 15:39:08 zakim, pick a victim 15:39:08 Not knowing who is chairing or who scribed recently, I propose Hassan (muted) 15:39:23 zakim, pick a victim 15:39:23 Not knowing who is chairing or who scribed recently, I propose AdrianP 15:39:39 zakim, pick a victim 15:39:39 Not knowing who is chairing or who scribed recently, I propose AdrianP 15:39:43 zakim, pick a victim 15:39:43 Not knowing who is chairing or who scribed recently, I propose ChrisW 15:39:45 zakim, pick a victim 15:39:45 Not knowing who is chairing or who scribed recently, I propose StuartTaylor 15:40:15 Stuart are U there? 15:40:23 sorry ChrisW phone problems again 15:40:33 yes, I'll do that 15:40:39 action: StuartTaylor to review RDF&OWL in two weeks 15:40:39 Sorry, couldn't find user - StuartTaylor 15:40:48 I can also review it 15:41:00 action: YutingZhao to review RDF&OWL in two weeks 15:41:00 Sorry, couldn't find user - YutingZhao 15:41:26 action: Yuting to review RDF&OWL in two weeks 15:41:44 action: Stuart to review RDF&OWL in two weeks 15:42:03 action-600? 15:42:09 issue-1? 15:42:16 trackbot, help? 15:42:17 Created ACTION-628 - Review RDF&OWL in two weeks [on Yuting Zhao - due 2008-10-28]. 15:42:18 Created ACTION-629 - Review RDF&OWL in two weeks [on Stuart Taylor - due 2008-10-28]. 15:42:20 ACTION-600 -- Christopher Welty to draft revised metadata conformance wording for BLD -- due 2008-10-03 -- CLOSED 15:42:20 http://www.w3.org/2005/rules/wg/track/actions/600 15:42:22 ISSUE-1 -- This is a test issue. Please ignore. -- CLOSED 15:42:24 http://www.w3.org/2005/rules/wg/track/issues/1 15:42:26 See http://www.w3.org/2005/06/tracker/irc for help 15:43:07 zakim, list agenda 15:43:07 I see 10 items remaining on the agenda: 15:43:08 1. Admin [from ChrisW] 15:43:08 2. Action Review [from ChrisW] 15:43:09 3. Core [from ChrisW] 15:43:09 4. UCR [from ChrisW] 15:43:10 5. SWC [from ChrisW] 15:43:10 6. Test Cases [from ChrisW] 15:43:12 7. Liason [from ChrisW] 15:43:14 8. Public Comments [from ChrisW] 15:43:15 zakim, take up item 6 15:43:16 9. Pick Scribe [from ChrisW] 15:43:18 10. AOB [from ChrisW] 15:43:20 agendum 6. "Test Cases" taken up [from ChrisW] 15:43:45 http://www.w3.org/2005/rules/wiki/Category:Test_Case 15:46:03 Discussing the "Disjuctive Information from Negative Guards" test case 15:46:26 ChrisW: there are two cases 15:46:47 s/Discussing/ChrisW: Discussing/ 15:47:43 ChrisW: discussing: Equality in conclusion 1, Equality in conclusion 2, Inconsistent Entailment - all seem to look good 15:47:45 +Mike_Dean 15:48:38 ChrisW: discussing No polymorphic symbols, Non-Annotation Entailment - both seem to look good 15:49:11 ChrisW: discussing http://www.w3.org/2005/rules/wiki/Category:Proposed 15:49:54 ChirsW: Annotation Entailment needs to be discussed 15:50:07 s/ChirsW/ChrisW/ 15:50:29 PROPOSED: accept TC http://www.w3.org/2005/rules/wiki/Annotation_Entailment 15:50:30 ChrisW: this case is about annotation in OWL 15:50:48 RESOLVED: accept TC http://www.w3.org/2005/rules/wiki/Annotation_Entailment 15:50:56 yes 15:51:32 http://www.w3.org/2005/rules/wiki/Argument_names_not_Const 15:52:53 sandro: Wow -- that's not what I was expecting. I dont like that. We should allow IRIs. 15:53:27 "The argument names in ArgNames are written as unicode strings that must not start with a question mark, "?"." 15:54:01 a countably infinite set of argument names, ArgNames (disjoint from Const and Var) 15:54:36 sandro: So maybe no one cares that Named Arguments are broken like this, since no one is ever going to use Named Arguments. :-( :-( 15:55:05 _p("http://example.com/example#a"->4) 15:55:19 (that IS okay) 15:55:42 _p("http://example.com/example#a"->4) IS OKAY 15:55:49 "http://example.com/example#a"^^xsd:string 15:55:51 _p(->4) NOT OKAY 15:56:04 JosB: points out that shorthands syntax is interfering with this... 15:56:15 yes, they are in DTB 15:56:42 q+ 15:57:15 yes, it just can be a string that satisfies the syntaxs of a constant 15:57:27 cannot, I mean 15:57:31 all: discussing the ambiguous syntax of identifiers 15:57:38 it can be anything except something that is syntactically a constant 15:57:40 q? 15:57:50 ack hassan 15:57:55 q+ 15:58:06 q? 15:59:33 q- 15:59:39 action: open issue on ambiguity in presentation syntax 15:59:39 Sorry, couldn't find user - open 15:59:48 action: chris to open issue on ambiguity in presentation syntax 15:59:48 Created ACTION-630 - Open issue on ambiguity in presentation syntax [on Christopher Welty - due 2008-10-28]. 16:01:03 q+ 16:01:05 -Mike_Dean 16:01:45 the BLD doc does give a reason for argname different from conts 16:02:05 http://www.w3.org/2005/rules/wiki/BLD#Terms 16:02:09 discussing the rationale of syntactic choices ... 16:02:20 ack jos 16:02:39 http://example.com/example#a 16:02:54 _p(http://example.com/example#a->4) 16:03:12 JosB: IRI's and Strings are usable there (as slots) but we need a means to identify that case. 16:03:46 why don't we just get rid of named arg uniterms? 16:03:59 :) 16:04:09 All: discussing the nature of named-argument terms' slots 16:04:14 q- 16:04:33 q- 16:04:49 Sandro: Oh, okay, I remember now why these argument names can't be constants (like slot names) -- we don't want equality to apply (as Michael is saying) -- we want them to be purely syntactic sugar. 16:04:59 Hassan has joined #rif 16:05:17 Hassan, hello? 16:05:20 hello 16:06:00 q+ 16:06:31 q- 16:06:40 I can do that test case 16:06:43 JosB: let use the XML not the PS when the latter is ambiguous 16:06:53 I can 16:07:08 s/let/let's/ 16:07:13 will make xml versions of all the test 16:07:15 action: Stella make a positive syntax test version of Argument names not Const 16:07:16 Created ACTION-631 - Make a positive syntax test version of Argument names not Const [on Stella Mitchell - due 2008-10-28]. 16:07:16 test 16:08:30 http://www.w3.org/2005/rules/wiki/Class_Membership 16:10:55 Can someone read this in English: fam:isParent(?Y ?X):- And (?Y=fam:Uwe fam:Uwe#fam:Parent ?X=fam:Adrian fam:Adrian#fam:Child) 16:12:58 q+ 16:13:00 q+ 16:13:27 q- 16:13:38 Exactly what I was going to say! 16:13:50 JosB: I don't understand the purpose of the TC - should be simpler to illustrate membership 16:13:52 Sandro: Yes, please, let's do this in a much simpler way. 16:13:58 q- 16:14:24 action: adrian to shorten test case Class Membership 16:14:24 Sorry, couldn't find user - adrian 16:14:34 action: apaschke to shorten test case Class Membership 16:14:34 Sorry, couldn't find user - apaschke 16:14:40 action: paschke to shorten test case Class Membership 16:14:40 Sorry, couldn't find user - paschke 16:14:51 action: adrianp to shorten test case Class Membership 16:14:51 Sorry, couldn't find user - adrianp 16:15:09 I concur with Sandro: the last rule makes no sense ... 16:15:21 Sandro: It's baffling to have Adrian named in the body of the isParent rule. 16:16:17 action: sandro to ask adiran to shorten test case Class Membership 16:16:17 Created ACTION-632 - Ask adiran to shorten test case Class Membership [on Sandro Hawke - due 2008-10-28]. 16:16:26 q+ 16:17:48 Sandro: I've been assuming we'd use the Prefix(...) declarations from the Premise in the Conclusion condition. 16:19:33 I fully concur with Jos on this - I already requested this (Prefix and Base are pragmas) 16:19:45 Jos: Just say the the conclusion has the Prefix copied from the Premise 16:20:13 a lot of the test case conclusions are not documents, but they are condition formulas 16:20:29 and the xml validates by bldcond.xsd and not bldrule.xsd 16:21:29 s/adiran/AdrianPaschke/ 16:21:45 stu_ has joined #rif 16:22:07 q+ 16:22:18 q- 16:24:10 pre:local 16:24:28 =http://bla#local 16:24:45 (if Prefix(pre http://bla#local)) 16:25:06 q- 16:25:07 write conclusions in fully expanded format 16:25:18 or anglebracket iri form 16:26:26 I agree with DaveReynolds - separting the macroexpansion from the syntax analysis 16:26:30 I think fully expanded it ok 16:26:37 s/separt/separat/ 16:28:03 DaveRaynolds: no - I propose to separate the pragmas from the examples 16:28:35 I agree wit Dave - that is what I proposed earlier 16:28:54 s/DaveRay/DaveRey/ 16:29:45 action: chris to discuss how to specify prefixes on email 16:29:45 Created ACTION-633 - Discuss how to specify prefixes on email [on Christopher Welty - due 2008-10-28]. 16:29:57 BTW: What Dave is porposing is what we did De Facto in the previous versions using namespaces 16:30:07 s/porpo/propo/ 16:30:40 AOB? 16:30:48 -Michael_Kifer 16:30:49 Sandro: Agreed -- namespace handling of the presentation syntax of the conclusion is something test-case-specific, not BLD-general. 16:30:50 -Gary 16:30:50 +1 to adjourn 16:30:52 -AdrianP 16:30:54 -StellaMitchell 16:30:54 bye 16:30:57 -josb 16:30:58 -Harold 16:30:58 -Hassan 16:31:00 -DaveReynolds 16:31:00 zakim, list attendees 16:31:00 As of this point the attendees have been +1.914.784.aaaa, ChrisW, StuartTaylor, Sandro, Mike_Dean, StellaMitchell, josb, Hassan, DaveReynolds, Harold, Gary, yzhao, AdrianP, 16:31:04 ... Michael_Kifer 16:31:07 ye 16:31:12 Leora Morgenstern (Sukkot) StuartTaylor ChanghaiKe Christian de Sainte Marie (at risk) PaulVincent 16:31:28 Regrets: Leora Morgenstern (Sukkot) StuartTaylor ChanghaiKe Christian de Sainte Marie (at risk) PaulVincent 16:31:30 zakim, who is here? 16:31:30 On the phone I see ChrisW, Sandro, yzhao 16:31:31 yzhao has yzhao, StuartTaylor 16:31:32 On IRC I see StuartTaylor, Hassan, mkifer, Gary, Harold, mdean, sandro, RRSAgent, ChrisW, Zakim, trackbot 16:32:02 rrsagent, make minutes 16:32:02 I have made the request to generate http://www.w3.org/2008/10/21-rif-minutes.html ChrisW 16:32:02 Zakim, yzhao is Hassan 16:32:02 +Hassan; got it 16:32:07 zakim, who is here? 16:32:07 On the phone I see ChrisW, Sandro, Hassan 16:32:08 Hassan has yzhao, StuartTaylor 16:32:09 On IRC I see StuartTaylor, Hassan, mkifer, Gary, Harold, mdean, sandro, RRSAgent, ChrisW, Zakim, trackbot 16:32:27 rrsagent, make logs public 16:33:37 http://www.w3.org/2008/10/21-rif-minutes.html 16:33:39 hello 16:33:41 http://www.w3.org/2008/10/21-rif-minutes.html 16:33:42 http://www.w3.org/2008/10/21-rif-minutes.html 16:33:47 :_) 16:34:45 -Hassan 16:36:40 -ChrisW 16:36:42 -Sandro 16:36:43 SW_RIF()11:00AM has ended 16:36:45 Attendees were +1.914.784.aaaa, ChrisW, StuartTaylor, Sandro, Mike_Dean, StellaMitchell, josb, Hassan, DaveReynolds, Harold, Gary, AdrianP, Michael_Kifer