14:30:16 RRSAgent has joined #rif 14:30:16 logging to http://www.w3.org/2009/08/25-rif-irc 14:30:23 zakim, clear agenda 14:30:23 agenda cleared 14:30:27 zakim, this will be rif 14:30:27 ok, ChrisW; I see SW_RIF()11:00AM scheduled to start in 30 minutes 14:30:45 Chair: Chris Welty 14:30:55 Meeting: RIF Telecon 25-Aug-09 14:35:20 Agenda: http://lists.w3.org/Archives/Public/public-rif-wg/2009Aug/0022.html 14:35:35 ChrisW has changed the topic to: Aug 25 RIF Telecon agenda http://lists.w3.org/Archives/Public/public-rif-wg/2009Aug/0022.html 14:36:26 agenda+ Admin 14:36:46 agenda+ Liason 14:36:52 agenda+ Action Review 14:37:03 agenda+ Public Comments 14:37:08 agenda+ Exit Criteria 14:37:18 agenda+ Publication 14:37:23 agenda+ Test Cases 14:37:26 agenda+ AOB 14:37:44 rrsagent, make minutes 14:37:44 I have made the request to generate http://www.w3.org/2009/08/25-rif-minutes.html ChrisW 14:38:03 rrsagent, make logs public 14:46:11 sandro has joined #rif 14:57:29 Harold has joined #rif 15:01:37 johnhall has joined #rif 15:02:33 SW_RIF()11:00AM has now started 15:02:41 +[IPcaller] 15:02:46 StellaMitchell has joined #rif 15:03:04 +Mike_Dean 15:03:14 mdean has joined #rif 15:03:17 zakim, ipcaller is me 15:03:17 +johnhall; got it 15:03:24 ChrisW has joined #rif 15:03:37 sorry about that, telecom problems 15:03:38 joining 15:03:47 +AxelPolleres 15:04:01 +[IBM] 15:04:03 zakim, who is on the call? 15:04:03 On the phone I see johnhall, Mike_Dean, AxelPolleres, [IBM] 15:04:09 zakim, ibm is temporarily me 15:04:09 +ChrisW; got it 15:04:18 +Sandro 15:04:19 +Stella_Mitchell 15:04:59 AdrianP has joined #rif 15:05:28 Scribe: AxelPolleres 15:05:29 scribe: Axel Polleres 15:05:47 scribenick: AxelPolleres 15:05:51 July 21 minutes: http://lists.w3.org/Archives/Public/public-rif-wg/2009Jul/att-0045/21-rif-minutes.html 15:05:54 +[NRCC] 15:06:01 PROPOSED: accept minutes of July 21 telecon 15:06:02 RRSAgent, make record public 15:06:09 RESOLVED: accept minutes of July 21 telecon 15:06:10 +??P14 15:06:20 Zakim, ??P14 is me 15:06:20 +AdrianP; got it 15:06:28 July 28 minuntes: http://lists.w3.org/Archives/Public/public-rif-wg/2009Jul/att-0047/28-July-2009-rif-minutes.html 15:06:29 DaveReynolds has joined #rif 15:06:34 zakim, [NRCC] is me 15:06:34 +Harold; got it 15:06:35 PROPOSED: accept minutes of July 28 telecon 15:06:45 RESOLVED: accept minutes of July 28 telecon 15:06:54 +??P29 15:07:13 zakim, list agenda 15:07:13 I see 8 items remaining on the agenda: 15:07:14 1. Admin [from ChrisW] 15:07:14 2. Liason [from ChrisW] 15:07:15 3. Action Review [from ChrisW] 15:07:15 4. Public Comments [from ChrisW] 15:07:16 5. Exit Criteria [from ChrisW] 15:07:16 6. Publication [from ChrisW] 15:07:18 7. Test Cases [from ChrisW] 15:07:20 8. AOB [from ChrisW] 15:07:27 ChrisW: agenda amendmends? 15:07:38 zakim, next item 15:07:38 agendum 1. "Admin" taken up [from ChrisW] 15:07:58 Topic: Liaison 15:08:05 ChrisW: 15:08:39 zakim, next item 15:08:39 agendum 2. "Liason" taken up [from ChrisW] 15:08:58 ... Liaison with SPARQL? 15:09:25 zakim, mute me 15:09:25 johnhall should now be muted 15:09:27 Axel: FPWD features and rationale, we'd be still happy for feedback 15:09:50 ... technical FPWDs first versions not to be expected before end of Sep. 15:10:19 Sandro: OWL doesn't need rdf:PlainLiteral functions. 15:10:30 ... at the moment. 15:11:27 ... OWL hung up on some XSD issue at the moment, but may not want to wait for us. 15:11:44 ... not sure how much time we have. 15:11:49 q+ 15:12:06 ChrisW: What prevents OWL to implement those functions? 15:13:36 ... Axel: those functions back up the facets, IMO 15:14:22 Sandro: we made two functions at risk. 15:16:18 Gary_Hallmark has joined #rif 15:16:19 ... length() and compare() 15:16:36 Axel: yes these are strictly speaking redundant wrt. the resp. string functions. 15:16:56 +Gary 15:17:50 ChrisW: seems ridiculous to hold up just for these straightforward functions. they don't seem to be a challenge. 15:18:41 ... back-and-forth to strings etc obviously needed, and rdf:Plainliteral is the right place. 15:19:20 sandro: strong opinions about "at risk" functions? 15:19:31 axel: no strong opinion 15:19:36 ChrisW: leave them in. 15:20:28 PROPOSED: RIF considers rdf-plain-literal to be ready for PR. The features-at-risk should be left in, and we do not believe implementation reports are necessary, given the simplicity of the spec. 15:20:44 +1 15:20:48 +1 15:20:50 +1 15:20:55 +1 15:20:56 +1 15:20:59 +1 15:21:00 0 (overloaded functions would be cleaner but not worth the work) 15:21:11 rrsagent, pointer? 15:21:11 See http://www.w3.org/2009/08/25-rif-irc#T15-21-11 15:21:13 (I agree, Dave) 15:21:30 RESOLVED: RIF considers rdf-plain-literal to be ready for PR. The features-at-risk should be left in, and we do not believe implementation reports are necessary, given the simplicity of the spec. 15:22:04 ChrisW: anything else todo for rdf:plainLiteral/OWL? 15:22:14 zakim, next item 15:22:14 I see a speaker queue remaining and respectfully decline to close this agendum, ChrisW 15:22:17 q? 15:22:20 ack axel 15:22:24 zakim, next item 15:22:24 agendum 3. "Action Review" taken up [from ChrisW] 15:22:24 ack me 15:23:22 http://www.w3.org/2005/rules/wiki/Implementations 15:23:48 ACTION-899: done? 15:23:48 ACTION-899 Look for a template for implementation reports notes added 15:23:54 action-899: complete 15:23:54 ACTION-899 Look for a template for implementation reports notes added 15:24:00 action-899: done 15:24:00 ACTION-899 Look for a template for implementation reports notes added 15:24:08 action-899: closed 15:24:08 ACTION-899 Look for a template for implementation reports notes added 15:24:08 If you meant to close ACTION-899, please use 'close ACTION-899' 15:24:18 close action-899 15:24:18 ACTION-899 Look for a template for implementation reports closed 15:25:08 ACTION-882 done 15:25:17 close action-882 15:25:17 ACTION-882 Contact University of Innsbruck. closed 15:25:30 Here's my e-mail asking for OWL implementation reports: http://lists.w3.org/Archives/Public/public-owl-dev/2009JulSep/0055.html 15:25:56 actions 880, 879 continued 15:26:04 close ACTION-873 15:26:04 ACTION-873 Contact Leo Obrst. closed 15:26:20 close ACTION-878 15:26:20 ACTION-878 Contact Elisa Kendall. closed 15:26:50 close ACTION-877 15:26:50 ACTION-877 Contact William Andersen. closed 15:27:34 ChrisW: What about ACTION-896? 15:27:48 sandro: unsure, make it continued. 15:28:26 ChrisW: sandro you had also ACTION-892? 15:28:54 sandro: think I concluded it was obsolete. think they commented enoug in the past, suggest we close it 15:29:01 close ACTION-892 15:29:01 ACTION-892 Get an OWL-WG comment on RIF closed 15:29:52 close ACTION-854 15:29:52 ACTION-854 Check all docs for use of "rdf:text" closed 15:29:53 http://lists.w3.org/Archives/Public/public-rif-wg/2009Jun/0103.html 15:30:19 ACTION-850 continued. 15:31:12 ACTION-785 is pending review. 15:31:28 ACTION-733 is continued. 15:32:00 ChrisW: sandro why is ACTION-864 pending review? 15:32:26 sandro: I talked to doug and chime, I think we can close that 15:32:36 close ACTION-864 15:32:36 ACTION-864 Contact Doug Lenat (Cleveland Clinic) closed 15:32:39 zakim, next item 15:32:39 agendum 4. "Public Comments" taken up [from ChrisW] 15:33:01 ChrisW: Table on WG homepage. 15:33:32 http://www.w3.org/2005/rules/wiki/ 15:33:48 http://www.w3.org/2005/rules/wiki/Response_to_DM1 15:34:07 ChrisW: just questions, no concerns raised. 15:34:25 ... david hopes to do an implementation also. 15:34:45 ... Comments? 15:35:00 sandro: do we need to track the response? 15:35:20 chrisW: wans't really raising concerns. 15:35:42 sandro: looks better if we get a response "yes, looks fine" 15:36:06 chrisW: I can add "please let us know if that's satisfactory. 15:36:14 http://www.w3.org/2005/rules/wiki/Response_to_DM2 15:36:35 chrisW: do we need to respond on "AT RISK" comment? 15:36:54 sandro: we shall respond "if there are implementations then we'll keep it" 15:37:28 http://www.w3.org/2005/rules/wiki/Response_to_CS1 15:37:54 chrisW: no comments on this one. 15:38:01 http://www.w3.org/2005/rules/wiki/Response_to_SH1 15:38:17 chrisw: small corrections in Core which I just made... comments? 15:38:38 sandro: just explaining words added... looks fine. 15:38:48 http://www.w3.org/2005/rules/wiki/Response_to_AR3 15:39:12 chrisw: mainly use cases for equality and claims he is working on an implementation. 15:39:39 http://www.w3.org/2005/rules/wiki/Response_to_PF1 15:40:12 chrisW: one of michael's students, suggestion for Reaction rule dialect. 15:40:51 ... I responded to all dialect requests that we look for dialects as "FLD implementations". 15:41:40 ... also asked for how to define terms as equal in Core. 15:41:59 sandro: looks like a good question for an FAQ. 15:43:38 chrisW: slightly updated response to make it clearer. if anyone wants to add an example, go ahead. 15:43:56 http://www.w3.org/2005/rules/wiki/Response_to_BG1 15:44:40 chrisW: mostly says "keep going"... mild critique on PRD being not fully "semantic" 15:45:00 ... we may just understand it as "good first step". 15:45:29 sandro: we shall include a "are you satisfied?" question in the response. 15:46:00 ... let me check the wording OWL uses. 15:46:15 zakim, unmute me 15:46:16 johnhall should no longer be muted 15:46:34 ... asking whether he is satisfied with the response is maybe good enough. 15:46:57 OWL's text: 15:46:57 Please acknowledge receipt of this email to (replying to this email should suffice). In your acknowledgment please let us know whether or not you are satisfied with the working group's response to your comment. 15:46:57 zakim, mute me 15:46:57 johnhall should now be muted 15:47:10 johnhall: he has a point, that we give no way to implement PRD in a non-operational way. 15:48:15 http://www.w3.org/2005/rules/wiki/Response_to_WL 15:48:17 we had started with a model-theoretic semantics for PRD but then gave priority to the operational one 15:48:23 chrisW: response already sent. 15:48:32 That wasn't quite my point - rather that without procedural semantics, most of the industry could not implement PRD 15:48:47 action: Chris to contact WL for response 15:48:47 Created ACTION-901 - Contact WL for response [on Christopher Welty - due 2009-09-01]. 15:49:14 sandro: suggest one more ping with the suggested "please respond" text on the wiki. 15:49:29 (sandro can you paste where you put it on the wiki) 15:50:37 dave: response to WL links to wrong mail 15:50:52 chrisW: actually, hasn't been sent yet 15:51:14 ACTION-901 is void... 15:51:30 http://www.w3.org/2005/rules/wiki/Response_to_TG1 15:52:18 chrisW: this is a message of support. 15:52:39 ... preferred more general extensibility mechanism for procedures and built-ins. 15:53:20 ... "please acknowlege" sentence to be added. 15:53:54 sandro: not sure I agree, but I have no better response. 15:54:10 ... we have a perfect way to attach procedures. 15:54:25 he probably means user-defined procedures 15:54:34 ... we could say: URIs are perfectly extensible and provide that. 15:55:06 I don't think so, Adrian. But who knows. 15:55:26 harold: in FLD/FLD we define that "Externals" could relate to other resources, such as procedures. 15:57:03 "This syntax enables very flexible representations for externally defined information sources: not only predicates and functions, but also frames, classification, and equality terms can be used. In this way, external sources can be modeled in an object-oriented way." 15:57:24 (http://www.w3.org/2005/rules/wiki/FLD#Terms) 16:00:20 "Thus, External("http://foo.bar.com"^^rif:iri["foo"^^xs:string->"123"^^xs:integer]) and External("pred:isTime"^^rif:iri("22:33:44"^^xs:time) are examples of invocations of external terms -- one querying an external source and another invoking a built-in." 16:00:39 so basically, "we believe that RIF's use of IRIs for external procedures and functions is a general and extensible method for attaching procedures that is agnostic w.r.t 16:00:39 )http://www.w3.org/2005/rules/wiki/DTB#Appendix:_Schemas_for_Externally_Defined_Terms) 16:00:40 programming langauge. The builtins are a core set that should foster interoperability" 16:01:04 http://www.w3.org/2005/rules/wiki/Response_to_TG1 16:04:20 http://www.w3.org/2005/rules/wiki/Response_to_AA1 16:04:30 ChrisW: nothing special needed there 16:04:41 http://www.w3.org/2005/rules/wiki/Response_to_JdR1 16:05:09 ChrisW: implementation support. seems to have a lot of work done. 16:05:18 ... shall I say more? 16:05:51 sandro: we shall reference the implementation report template. 16:06:09 http://www.w3.org/2005/rules/wiki/Response_to_PasH1 16:06:51 ChrisW: mainly support plus dialect suggestions. 16:07:02 ... none of the cited papers mentions RIF. 16:07:18 ... mentions book where RIF was included. 16:07:41 ... we shall maybe put it on the publications page? he was a member of RIF. 16:08:17 http://semantic-web-book.org/page/C6-Rules 16:08:36 dave: section 6 is about RIF 16:08:42 mike: RIF about 18 pages. 16:09:36 (we have, BTW, a summer school article on RIF with Paula, Harold, Michael, though very outdated in between ) 16:09:48 http://www.w3.org/2005/rules/wiki/Response_to_GL1 16:09:58 ChrisW: compliments & advertising 16:10:16 ... other comments on that one? 16:10:24 http://www.w3.org/2005/rules/wiki/Response_to_CB1 16:10:42 ChrisW: similar as last one. 16:11:04 http://www.w3.org/2005/rules/wiki/Response_to_NB2 16:11:35 ChrisW: has specific comments on XML Schema. 16:11:45 ... didn't draft response yet. 16:13:00 ... we had postponed schema 16:13:29 ... Harold, your action to address the schema and I will do the response. 16:13:32 action: harold to look at message from Nick B. and check FLD schema 16:13:32 Created ACTION-902 - Look at message from Nick B. and check FLD schema [on Harold Boley - due 2009-09-01]. 16:15:36 sandro: question whether schema may evolve after spec. 16:15:49 harold: he only gives a warning 16:16:11 sandro: would be awkward to proceed without fixing this. 16:16:19 ChrisW: we need to fix it. 16:16:30 harold: cannot promise 2 weeks. 16:16:41 ChrisW: Gary, can you look into this? 16:16:46 isn't his comment just saying to remove one line in the schema? 16:16:53 Gary: Can do, not really familiar with FLD schema. 16:18:28 chrisW: respond we need to look into this more carefully. 16:18:55 sandro: I think that making the schema normative is awkward 16:19:07 chrisW: where else would it be? 16:19:56 sandro: this looks critical path. 16:20:20 dave: can we just drop the include? 16:20:34 sandro: seems to be what he suggested. 16:21:25 dave: XML schema section 4.5 has the defs of redefine. 16:23:06 gary: schema processors seem to stumble over redefines 16:23:36 yes, redefine is a known problem of Altova 16:23:44 ... do not like including and refedining the same thing 16:24:31 (harold, can you type in your suggestion?) 16:27:16 http://ruleml.org/rif/fld/LC/ 16:28:40 harold: I can try to merge two redefines in one. 16:28:56 ... need to look back in the XSD, not sure. 16:29:08 ChrisW: let's make it non-normative. 16:29:21 harold: I think it is essential to FLD. 16:29:53 ChrisW: if we can't make the decision today to go to CR, we have to put it off for some time. 16:30:14 harold: the telecon was short announced, let's give it another 2 weeks. 16:30:20 sandro: next week? 16:30:21 agree XML schema is essential to a dialect 16:30:28 I can't be there next week. 16:30:32 will be travelling next week - i-Semantics conference 16:30:44 chrisW: can you have it next week harold? 16:30:49 DaveReynolds, are you okay with doing the CR decision in your absence? 16:31:02 harold: there are some more comments. 16:31:04 q+ 16:31:16 Sandro - does that include the exit criteria? 16:31:44 PROPOSED: extend meeting by 10 minutes 16:31:48 +1 16:31:48 probably, DaveReynolds. 16:31:54 RESOLVED: extend meeting by 10 minutes 16:33:06 Sandro - I'm OK doing CR decision w/o me. For the exit criteria it might be good to explicitly allow implementations of Core so that Core could go to PR w/o BLD+PRD. 16:33:13 Axel: two things on DTB 16:33:33 Good point DaveReynolds, but I don't think we need to decide that going into CR. 16:33:49 (we're not actually disallowing implementation or Core, of course.) 16:33:54 Sandro, ok. 16:34:26 ... 1) string-join, we need to fix that, two alternatives: a minimalistic one and a meaningful one (use lists) cf. http://lists.w3.org/Archives/Public/public-rif-wg/2009Aug/0011.html 16:34:41 2) list functions are under-specified, we need to fix that for CR. 16:35:07 http://www.w3.org/2005/rules/wiki/Response_to_RG2 16:35:35 ChrisW: similar as previous ansers,referring to that we look forward to dialect implementations. 16:35:49 Harold: another comment on Nick's mail. 16:36:00 (Harold, can you type that in?) 16:36:29 ChrisW: If we can't fix the issue in time, we havbe to make it non-normative. 16:36:49 harold: we might need to talk to the XML schema people in XSD. 16:37:19 sandro: I'd be happy to leave only FLD open and get at least the other docs to CR. 16:37:27 -Gary 16:37:29 rrsagent, make minutes 16:37:29 I have made the request to generate http://www.w3.org/2009/08/25-rif-minutes.html ChrisW 16:37:29 -Harold 16:37:30 -Stella_Mitchell 16:37:32 -DaveReynolds 16:37:34 zakim, list attendees 16:37:34 As of this point the attendees have been Mike_Dean, johnhall, AxelPolleres, ChrisW, Sandro, Stella_Mitchell, AdrianP, Harold, DaveReynolds, Gary 16:37:49 Regrets: MichaelKifer LeoraMorgenstern 16:37:55 rrsagent, make minutes 16:37:55 I have made the request to generate http://www.w3.org/2009/08/25-rif-minutes.html ChrisW 16:38:07 Have to go - bye 16:38:09 rrsagent, make records public 16:38:11 johnhall has left #rif 16:38:22 -johnhall 16:38:32 -AdrianP 16:38:39 -AxelPolleres 16:38:49 zakim, who is on the phone? 16:38:49 On the phone I see Mike_Dean, ChrisW, Sandro 16:39:04 -Mike_Dean 16:39:06 did you still need me? 16:39:10 no, thanks! 16:39:15 zakim, who is on the call? 16:39:15 On the phone I see ChrisW, Sandro 16:43:10 -ChrisW 16:43:10 -Sandro 16:43:11 SW_RIF()11:00AM has ended 16:43:12 Attendees were Mike_Dean, johnhall, AxelPolleres, ChrisW, Sandro, Stella_Mitchell, AdrianP, Harold, DaveReynolds, Gary 16:47:56 AxelPolleres has left #rif