14:19:35 RRSAgent has joined #rif 14:19:35 logging to http://www.w3.org/2010/04/20-rif-irc 14:19:43 Zakim has joined #rif 14:32:07 action: sandro to add RIFTr to implementations 14:32:07 Created ACTION-999 - Add RIFTr to implementations [on Sandro Hawke - due 2010-04-27]. 14:49:58 action: sandro to update http://lists.w3.org/Archives/Public/public-rif-comments/2009Nov/att-0015/RIF-CASPD.html remove "W3C Note" 14:49:58 Created ACTION-1000 - Update http://lists.w3.org/Archives/Public/public-rif-comments/2009Nov/att-0015/RIF-CASPD.html remove "W3C Note" [on Sandro Hawke - due 2010-04-27]. 14:50:33 zakim, this will be rif 14:50:33 ChrisW, Team_(rifc)13:27Z is already associated with an irc channel; use 'move rif to here' if you mean to reassociate the channel 14:50:40 Chair: Christian de Sainte-Marie 14:50:54 Meeting: RIF Telecon 20-Apr-2010 14:51:15 rrsagent, make minutes 14:51:15 I have made the request to generate http://www.w3.org/2010/04/20-rif-minutes.html ChrisW 14:51:35 rrsagent, make logs public 14:53:30 Agenda: http://lists.w3.org/Archives/Public/public-rif-wg/2010Apr/0016.html 14:54:06 zakim, who is on the phone? 14:54:06 sorry, ChrisW, I don't know what conference this is 14:54:07 On IRC I see RRSAgent, ChrisW, csma, AxelPolleres, sandro, trackbot 14:54:10 zakim, this will be rif 14:54:10 ok, ChrisW, I see SW_RIF()11:00AM already started 14:54:16 zakim, who is on the phone? 14:54:16 On the phone I see [IBM] 14:54:26 zakim, ibm is temporarily me 14:54:26 +ChrisW; got it 14:54:49 agenda+ Admin 14:55:02 agenda+ Liason 14:55:08 agenda+ Actions 14:55:16 agenda+ Public Comments 14:55:22 agenda+ PR Update 14:55:27 agenda+ RDF Imports 14:55:34 agenda+ RIF Primer 14:55:40 agenda+ Test Cases 14:55:47 agenda+ AOB 14:55:53 zakim, next item 14:55:53 agendum 1. "Admin" taken up [from ChrisW] 14:58:43 +Sandro 14:59:06 zakim, who is on the call? 14:59:06 On the phone I see ChrisW, Sandro 15:00:05 DaveReynolds has joined #rif 15:01:14 leoramorgenstern has joined #rif 15:01:37 ACTION: axel to fix the example in http://www.w3.org/2009/sparql/docs/tests/README.html 15:01:45 adjourned 15:01:47 +csma 15:01:48 Created ACTION-1001 - Fix the example in http://www.w3.org/2009/sparql/docs/tests/README.html [on Axel Polleres - due 2010-04-27]. 15:01:54 apaschke has joined #RIF 15:02:00 +LeoraMorgenstern 15:02:03 damn... wrong chat ;-) 15:02:41 +??P21 15:02:49 Zakim, who is on the phone? 15:02:49 On the phone I see ChrisW, Sandro, csma, LeoraMorgenstern, ??P21 15:04:01 +AxelPolleres 15:04:04 josb has joined #rif 15:05:19 +??P33 15:05:25 Zakim, ??P33 is me 15:05:25 +apaschke; got it 15:05:51 http://www.w3.org/2005/rules/wiki/DTB works for me 15:06:45 +??P5 15:06:46 rdf:PlainLiteral and indexing from zero were at risk 15:06:53 q+ 15:08:24 Gary_Hallmark has joined #rif 15:08:24 I should remove the at risk notes, update changelog, tell sandro that its' done... fine? anything else? 15:09:00 all references to XML schema are to 1.1 in DTB. 15:09:09 ... at the moment. 15:09:11 action: axel to update DTB to remove at-risk features and update change log 15:09:11 Created ACTION-1002 - Update DTB to remove at-risk features and update change log [on Axel Polleres - due 2010-04-27]. 15:09:14 + +1.503.533.aaaa 15:09:29 zakim, aaaa is me 15:09:29 +Gary; got it 15:11:31 http://www.w3.org/TR/rif-dtb/#ref-xml-schema2 15:12:23 yup 15:13:21 zakim, who is on the phone? 15:13:21 On the phone I see ChrisW, Sandro, csma, LeoraMorgenstern, DaveReynolds, AxelPolleres, apaschke, josb, Gary 15:13:37 http://www.w3.org/TR/owl2-syntax/ 15:13:45 check "status of the document" 15:13:57 http://www.w3.org/TR/owl2-overview/#sotd-xml-dep is the SOTD part, but I'm looking for the non-SOTD part. 15:14:03 "XML Schema Datatypes Dependency 15:14:05 OWL 2 is defined to use datatypes defined in the XML Schema Definition Language (XSD). As of this writing, the latest W3C Recommendation for XSD is version 1.0, with version 1.1 progressing toward Recommendation. OWL 2 has been designed to take advantage of the new datatypes and clearer explanations available in XSD 1.1, but for now those advantages are being partially put on hold. Specifically, u 15:14:06 ntil XSD 1.1 becomes a W3C Recommendation, the elements of OWL 2 which are based on it should be considered optional, as detailed in Conformance, section 2.3. Upon the publication of XSD 1.1 as a W3C Recommendation, those elements cease to be optional and are to be considered required as otherwise specified. 15:14:08 We suggest that for now developers and users follow the XSD 1.1 Candidate Recommendation. Based on discussions between the Schema and OWL Working Groups, we do not expect any implementation changes will be necessary as XSD 1.1 advances to Recommendation." 15:14:15 Here it is: http://www.w3.org/TR/2009/REC-owl2-conformance-20091027/#XML_Schema_Datatypes 15:15:06 + +1.631.833.aabb 15:15:55 so, what more do I need to change? 15:15:56 bld has a normative reference to xsd 15:15:59 swc does not 15:16:02 +[IPcaller] 15:17:15 Axel, there is an Editor's note in 4.10 15:17:54 [[XML Schema2] --> [XML Schema Datatypes] 15:18:29 MichaelKifer has joined #rif 15:18:39 q? 15:18:53 ack axel 15:19:32 in BLD it's ref-xml-schema 15:19:46 http://www.w3.org/TR/2009/REC-owl2-conformance-20091027/#XML_Schema_Datatypes 15:21:06 MichaelKifer_ has joined #rif 15:21:23 Scribe: MichaelKifer 15:21:30 scribenick: MichaelKifer 15:22:40 ACTION: axel copy the OWL text about XSD1.1 to DTB, copying http://www.w3.org/TR/2009/REC-owl2-conformance-20091027/#XML_Schema_Datatypes into DTB 2.3, changing OWL to RIF. 15:22:40 Created ACTION-1003 - Copy the OWL text about XSD1.1 to DTB, copying http://www.w3.org/TR/2009/REC-owl2-conformance-20091027/#XML_Schema_Datatypes into DTB 2.3, changing OWL to RIF. [on Axel Polleres - due 2010-04-27]. 15:23:02 http://lists.w3.org/Archives/Public/public-rif-wg/2010Mar/0077.html 15:23:44 PROPOSED: approve minutes of March 23 15:24:00 -AxelPolleres 15:24:07 RESOLVED: approve minutes of March 23 15:24:56 zakim, list agenda 15:24:56 I see 9 items remaining on the agenda: 15:24:58 1. Admin [from ChrisW] 15:24:58 2. Liason [from ChrisW] 15:24:59 3. Actions [from ChrisW] 15:24:59 4. Public Comments [from ChrisW] 15:25:01 5. PR Update [from ChrisW] 15:25:01 6. RDF Imports [from ChrisW] 15:25:03 7. RIF Primer [from ChrisW] 15:25:03 8. Test Cases [from ChrisW] 15:25:05 9. AOB [from ChrisW] 15:26:01 http://lists.w3.org/Archives/Public/public-rif-wg/2010Apr/0015.html 15:26:33 zakim, next item 15:26:33 agendum 2. "Liason" taken up [from ChrisW] 15:26:35 if problems logging into wiki tomorrow, contact sysreq@w3.org 15:27:09 no 15:28:54 Harold has joined #rif 15:29:00 zakim, next item 15:29:00 agendum 3. "Actions" taken up [from ChrisW] 15:30:28 close action 996 15:30:36 close action-996 15:30:36 ACTION-996 Remove at risk feature as per resolution closed 15:31:08 close action-997 15:31:08 ACTION-997 Draft transition request closed 15:31:15 close action-995 15:31:16 ACTION-995 Update public comments list closed 15:31:58 close action-994 15:31:58 ACTION-994 Reply to paul gearon closed 15:32:31 Gary_Hallmark has joined #rif 15:32:52 close action-959 15:32:53 ACTION-959 Contact jderoo about rdf support in EYE closed 15:33:08 close action-952 15:33:08 ACTION-952 Follow up with chime on fuxi implementation report closed 15:33:17 Done: ACTION-996 - Remove at risk feature as per resolution: http://lists.w3.org/Archives/Public/public-rif-wg/2010Mar/0080.html 15:33:19 zakim, who is on the phone? 15:33:19 On the phone I see ChrisW, Sandro, csma, LeoraMorgenstern, DaveReynolds, apaschke, josb, Gary, +1.631.833.aabb, [IPcaller] 15:34:09 zakim, ipcaller is Harold 15:34:09 +Harold; got it 15:34:18 zakim, aabb is MichaelKifer 15:34:18 +MichaelKifer; got it 15:34:22 zakim, who is on the phone? 15:34:22 On the phone I see ChrisW, Sandro, csma, LeoraMorgenstern, DaveReynolds, apaschke, josb, Gary, MichaelKifer, Harold 15:36:29 action: chris to review the proves in SWC 15:36:29 Created ACTION-1004 - Review the proves in SWC [on Christopher Welty - due 2010-04-27]. 15:36:57 close action-831 15:36:57 ACTION-831 Finish the SWC proofs or remove them closed 15:37:26 sorry, conneciton problem 15:37:31 I don't think Axel did 15:38:32 +??P13 15:38:42 -??P13 15:39:06 +??P13 15:39:22 http://lists.w3.org/Archives/Public/public-rif-comments/2010Apr/0007.html 15:43:55 -josb 15:44:04 action: csma to draft reply to WL 15:44:04 Created ACTION-1005 - Draft reply to WL [on Christian de Sainte Marie - due 2010-04-27]. 15:47:05 Harold: Core is ready for publication as PR 15:49:09 action: csma to update PRD changelog 15:49:09 Created ACTION-1006 - Update PRD changelog [on Christian de Sainte Marie - due 2010-04-27]. 15:50:07 jos, which proofs are new? 15:50:25 Michael: FLD is ready for PR 15:51:51 Sandro: schedule for PR request: need to finish answering questions then can go to PR at the end of the 1st week of May. 15:52:43 zakim, list agenda 15:52:43 I see 7 items remaining on the agenda: 15:52:45 3. Actions [from ChrisW] 15:52:45 4. Public Comments [from ChrisW] 15:52:46 5. PR Update [from ChrisW] 15:52:46 6. RDF Imports [from ChrisW] 15:52:48 7. RIF Primer [from ChrisW] 15:52:48 8. Test Cases [from ChrisW] 15:52:49 9. AOB [from ChrisW] 15:52:51 zakim, take up item 6 15:52:51 agendum 6. "RDF Imports" taken up [from ChrisW] 15:53:52 q? 15:54:16 which proofs are new? 15:54:30 the ones in section 9.2 15:54:49 http://www.w3.org/2005/rules/wiki/SWC#Embedding_RIF-OWL_2_RL_Combinations 15:54:54 zakim, take up item 7 15:54:54 agendum 7. "RIF Primer" taken up [from ChrisW] 15:55:15 the one in section 9.2.2.2 is the most critical: http://www.w3.org/2005/rules/wiki/SWC#Embedding_Normalized_OWL_2_RL 15:55:35 Harold: had telecon with Liora. She will update the outline. 15:55:54 Liora: Chris is supposed to update the outline. 15:56:17 Chris: need a good semweb example. 15:57:06 Liora: where should we be looking for such an example? 15:57:55 s/Liora/Leora/ 15:58:02 Chris: need to look at various web site and use geospatial info. Hope to have such an example within the next few days. 15:59:00 zakim, take up item 8 15:59:05 agendum 8. "Test Cases" taken up [from ChrisW] 15:59:17 Chris: need to wait for the next outline. Need to publish the URL. 16:00:36 http://www.w3.org/2005/rules/wiki/Builtins_Time 16:01:06 s/Chris/CSMA/ 16:01:13 PROPOSED: Approve http://www.w3.org/2005/rules/wiki/Builtins_Time 16:01:48 +1 16:01:49 +1 16:01:51 +1 16:01:52 +1 16:02:02 +1 16:02:02 RESOLVED: Approve http://www.w3.org/2005/rules/wiki/Builtins_Time 16:03:07 http://www.w3.org/2005/rules/wiki/Builtins_XMLLiteral 16:03:16 proposed next test case: http://www.w3.org/2005/rules/wiki/ListLiteralEquality 16:03:51 q+ 16:04:17 1- 16:04:19 q- 16:05:30 jos: syntax errors in literals are syntax errors in RIF, so this is a Negative Syntax Test. 16:06:20 Sandro: this testcase has a syntax error in the XML 16:12:10 Sandro made the fixes in real time 16:13:26 PROPOSED: Approve http://www.w3.org/2005/rules/wiki/Builtins_XMLLiteral 16:13:32 new version of test case, with only canonical XML 16:13:40 q? 16:13:51 +1 16:13:53 +1 16:13:53 +1 16:13:54 +1 16:13:57 +1 16:14:01 proposed next test case: http://www.w3.org/2005/rules/wiki/ListLiteralEquality 16:14:04 +1 16:14:28 leora: +1 (on phone) 16:14:30 RESOLVED: Approve http://www.w3.org/2005/rules/wiki/Builtins_XMLLiteral 16:14:55 proposed next test case: http://www.w3.org/2005/rules/wiki/ListLiteralEquality 16:16:00 -josb.a 16:16:04 don't think so 16:16:46 +??P13 16:17:17 And() :- "a"=List(ex:b) 16:18:34 sandro: maybe there's a NegativeEntailmentTest here that would work in Core? 16:18:40 sandro: but whatever, this is fine. 16:18:52 PROPOSED: Approve http://www.w3.org/2005/rules/wiki/ListLiteralEquality 16:19:00 +1 16:19:02 +1 16:19:02 +1 16:19:04 +1 16:19:06 +1 16:19:09 I believe that without equality in the language, you cannot duplicate this behavior 16:19:10 +1 16:19:16 leora: +1 (on phone) 16:19:19 RESOLVED: Approve http://www.w3.org/2005/rules/wiki/ListLiteralEquality 16:19:23 close action-850 16:19:23 ACTION-850 Review Element Equality, and List* test cases closed 16:20:31 http://www.w3.org/2005/rules/wiki/Named_Argument_Uniterms_non-polymorphic 16:20:56 LeoraM has joined #rif 16:22:51 I actually like the current name 16:22:59 you would. :-) 16:23:32 but I don't really mind either way 16:24:55 PROPOSED: Approve http://www.w3.org/2005/rules/wiki/Named_Argument_Uniterms_non-polymorphic 16:25:04 +1 16:25:08 +1 16:25:08 +1 16:25:10 +1 16:25:11 +1 16:25:11 +1 16:25:19 RESOLVED: Approve http://www.w3.org/2005/rules/wiki/Named_Argument_Uniterms_non-polymorphic 16:27:03 +1 16:27:05 http://www.w3.org/2005/rules/wiki/No_free_variables 16:27:49 rrsagent, link 16:27:49 I'm logging. I don't understand 'link', ChrisW. Try /msg RRSAgent help 16:27:58 zakim, link? 16:27:58 I don't understand your question, ChrisW. 16:28:02 rrsagent, link? 16:28:02 I'm logging. Sorry, nothing found for 'link' 16:28:25 rrsagent, pointer? 16:28:25 See http://www.w3.org/2010/04/20-rif-irc#T16-28-25 16:29:36 +1 16:29:39 +1 16:29:46 +1 16:29:47 PROPOSED: Appove http://www.w3.org/2005/rules/wiki/No_free_variables 16:29:48 +1 16:29:49 +1 16:29:52 +1 16:29:59 RESOLVED: Approve http://www.w3.org/2005/rules/wiki/No_free_variables 16:30:16 -josb 16:30:28 zakim, attendees 16:30:28 I don't understand 'attendees', csma 16:30:37 zakim, attendees? 16:30:37 I don't understand your question, csma. 16:30:46 -LeoraMorgenstern 16:30:50 zakim list attendees 16:30:57 -apaschke 16:30:58 -DaveReynolds 16:30:59 zakim, list attendees 16:31:00 As of this point the attendees have been ChrisW, Sandro, csma, LeoraMorgenstern, DaveReynolds, AxelPolleres, apaschke, josb, +1.503.533.aaaa, Gary, +1.631.833.aabb, Harold, 16:31:03 ... MichaelKifer 16:31:16 -Harold 16:31:28 -Gary 16:31:31 Regrets: 16:31:38 zakim, aabb is me 16:31:38 sorry, MichaelKifer, I do not recognize a party named 'aabb' 16:31:40 RRsagent, make minutes 16:31:40 I have made the request to generate http://www.w3.org/2010/04/20-rif-minutes.html csma 16:32:01 -ChrisW 16:32:32 -Sandro 16:32:38 zakim, who is on the phone? 16:32:38 On the phone I see csma, MichaelKifer 16:32:47 -csma 16:33:11 -MichaelKifer 16:33:12 SW_RIF()11:00AM has ended 16:33:13 Attendees were ChrisW, Sandro, csma, LeoraMorgenstern, DaveReynolds, AxelPolleres, apaschke, josb, +1.503.533.aaaa, Gary, +1.631.833.aabb, Harold, MichaelKifer 16:33:17 MichaelKifer has left #rif 16:34:12 ChrisW has joined #rif