14:56:34 RRSAgent has joined #rif 14:56:34 logging to http://www.w3.org/2008/08/19-rif-irc 14:56:43 zakim, this will be rif 14:56:43 ok, ChrisW; I see SW_RIF()11:00AM scheduled to start in 4 minutes 14:56:58 Meeting: RIF Telecon 19-Aug-08 14:57:05 Chair: Chris Welty 14:57:58 Agenda: http://lists.w3.org/Archives/Public/public-rif-wg/2008Aug/0078.html 14:58:12 ChrisW has changed the topic to: 19 Aug RIF Telecon Agenda http://lists.w3.org/Archives/Public/public-rif-wg/2008Aug/0078.html 14:58:22 Scribe: MichaelKifer 14:58:32 zakim, clear agenda 14:58:32 agenda cleared 14:59:13 mdean has joined #rif 15:00:04 SW_RIF()11:00AM has now started 15:00:11 +Mike_Dean 15:00:19 yuting has joined #rif 15:00:33 ?who 15:00:47 josb has joined #rif 15:01:04 +josb 15:01:06 +MichaelKifer 15:01:40 agenda+ Admin 15:01:44 agenda+ Liason 15:01:46 +Sandro 15:01:53 DaveReynolds has joined #rif 15:02:14 Hassan has joined #rif 15:02:22 +JeffP 15:02:22 StellaMitchell has joined #rif 15:02:25 AdrianP has joined #rif 15:02:37 +Hassan_Ait-Kaci 15:02:55 + +1.914.784.aaaa 15:03:04 zakim, aaaa is me 15:03:04 +ChrisW; got it 15:03:06 LeoraMorgenstern has joined #rif 15:03:30 +Stella_Mitchell 15:03:32 +John_Boyer 15:03:44 +LeoraMorgenstern 15:03:55 zakim, who is on the phone? 15:03:56 +Dave_Reynolds (was John_Boyer) 15:04:02 On the phone I see Mike_Dean, josb, MichaelKifer, Sandro, JeffP, Hassan_Ait-Kaci (muted), ChrisW, Dave_Reynolds, Stella_Mitchell, LeoraMorgenstern 15:04:43 agenda+ Action review 15:04:49 agenda+ F2F11 15:04:54 agenda+ Core 15:04:58 agenda+ Test Cases 15:05:03 agenda+ External review 15:05:07 agenda+ AOB 15:05:37 MichaelKifer has joined #rif 15:06:05 AxelPolleres has joined #rif 15:06:26 zakim, next item 15:06:26 agendum 1. "Admin" taken up [from ChrisW] 15:06:42 + +0493516aabb 15:06:55 Zakim, aabb is me 15:06:55 +AdrianP; got it 15:07:02 Zakim, mute me 15:07:02 AdrianP should now be muted 15:07:10 ok 15:07:17 +??P48 15:07:17 Scribe: Hassan 15:07:59 http://lists.w3.org/Archives/Public/public-rif-wg/2008Aug/att-0075/12-August-08-rif-minutes-revised.htm 15:08:17 PROPOSED: accept minutes of Aug 12 telecon 15:08:24 MichaelKifer_ has joined #rif 15:08:29 RESOLVED: accept minutes of Aug 12 telecon 15:08:30 test 15:08:51 zakim, next item 15:08:51 agendum 2. "Liason" taken up [from ChrisW] 15:09:03 q+ 15:10:02 Sandro: OWL WG meeting a few weeks ago: go to last call in Oct 08. Draft due next month. 15:10:06 http://www.w3.org/2007/OWL/wiki/InternationalizedStringSpec 15:10:20 I can try scribing and hope my Inet connection holds up 15:10:25 ack axel 15:10:36 me it's ok mike 15:10:49 ok 15:11:15 see http://lists.w3.org/Archives/Public/public-rdf-text/ 15:11:17 Axel: reporting on the OWL/RIF comments 15:11:51 s/OWL\/RIF comments/rdf:text/ 15:12:15 action: chris to figure out how to link to rdf:text comments 15:12:15 Created ACTION-559 - Figure out how to link to rdf:text comments [on Christopher Welty - due 2008-08-26]. 15:13:21 sandro will add a link to http://www.w3.org/2007/OWL/wiki/InternationalizedStringSpec with the mailinglist address to solicit feedback? 15:14:08 Axel: still open issues remaining; on his (Axel's) side nothing new to tell 15:14:18 zakim, next item 15:14:18 agendum 3. "Action review" taken up [from ChrisW] 15:15:16 Zakim, unmute me 15:15:16 AdrianP should no longer be muted 15:15:33 http://www.w3.org/2005/rules/wiki/PRD#Rules_instantiation:_INSTANTIATE 15:15:38 I completed ACTION-552, see http://lists.w3.org/Archives/Public/public-rif-wg/2008Aug/0074.html 15:15:59 currently the semantics does not account for pattern formula associated with an enclosing Forall 15:16:25 Zakim, mute me 15:16:25 AdrianP should now be muted 15:18:24 zakim, next item 15:18:24 agendum 4. "F2F11" taken up [from ChrisW] 15:19:05 No suggestion for hotels 15:19:08 + +1.503.533.aacc 15:20:07 ChrisW: try hotels in Brooklyn or wven Queens using public trans. to get lower rates 15:20:22 s/wven/even/ 15:20:42 zakim, next item 15:20:42 agendum 5. "Core" taken up [from ChrisW] 15:20:46 Zakim, mute me 15:20:46 sorry, yuting, I do not know which phone connection belongs to you 15:21:15 GaryHallmark has joined #rif 15:21:37 action: chris to put DTB review on agenda for next week 15:21:37 Created ACTION-560 - Put DTB review on agenda for next week [on Christopher Welty - due 2008-08-26]. 15:22:07 http://lists.w3.org/Archives/Public/public-rif-wg/2008Aug/0067.html 15:22:48 ChrisW: What should CORE be? 15:23:44 BLD intersected PRD = CORE? 15:24:54 DaveReynolds and GaerHallmark agree on this def 15:25:09 s/Gaer/Gary/ 15:25:23 Zakim, unmute me 15:25:23 AdrianP should no longer be muted 15:26:01 ChrisW: Assume this is so (CORE *is* the intersection) - how do we define this language? 15:27:07 GaryHallmark: decidability or tractability issues for CORE are not relevant for RIF 15:27:11 q+ 15:27:35 ChrisW: What does such an intersection look like? 15:28:02 GaryHallmark: we could extract the syntax from the common grammar rules 15:28:35 core production rule syntax, i.e. without negation; only assert in the head and without the special pattern formula in the forall 15:29:02 ack adrian 15:29:05 GaryHallmark: intended semantics overlap is a fuzzy concept; make things that are relevant or not more explicit 15:29:26 AdrianP: Suggests a specific language 15:29:51 AdrianP: will work it out (for the condition language) 15:29:56 action: AdrianP to document the BLD/PRD syntax intersection 15:29:57 Sorry, couldn't find user - AdrianP 15:30:05 action: Adrian to document the BLD/PRD syntax intersection 15:30:05 Sorry, amibiguous username (more than one match) - Adrian 15:30:05 Try using a different identifier, such as family name or username (eg. agiurca, apaschke) 15:30:08 q- 15:30:19 action: apaschke to document the BLD/PRD syntax intersection 15:30:19 Created ACTION-561 - Document the BLD/PRD syntax intersection [on Adrian Paschke - due 2008-08-26]. 15:30:50 Zakim, mute me 15:30:50 AdrianP should now be muted 15:31:14 yes 15:31:34 ChrisW: Handling of external functions; skolem functions as well 15:31:43 Subclassing also 15:32:20 DaveReynolds: prefers that CORE stay minimal and not have membership and subclass 15:33:04 q+ 15:33:10 ack jos 15:33:20 ChrisW: Who would disagree as a maximal intersection of PRB and BLD? 15:33:39 Jos: how useful a language would that be? 15:34:10 ChrisW: a maximal intersection of PRB and BLD would make interchange easier 15:34:24 Jos: yes, but there may be other uses for CORE 15:34:55 ChrisW: so it should be easy to "implement" 15:35:04 other uses e.g. the integration of CORE + ontologies. Decidability is often a requirement for many application scenarios 15:35:43 PRD has no equality in the head, so neither does Core 15:35:50 ChrisW: Jos would an Easy-To-Implement core bigger or less? 15:36:01 Jos: it would be less 15:36:56 GaryHallmark: it would be goood to itemize "things" make make this hard ... disjunction? 15:37:11 s/goood/good/ 15:37:12 disjunction in the body can be split into two rules, so there is no need to have it in Core 15:37:30 s/make make/that make/ 15:38:06 DaveReynolds describes features that he's wish for CORE (a la JENNA) 15:38:29 s/he's/he'd/ 15:39:01 s/JENNA/Jena/ 15:39:14 ChrisW: another aspect is to relate it to existing languages 15:39:46 -Mike_Dean 15:39:50 action: Dave to open CORE issues on tracker 15:39:50 Created ACTION-562 - Open CORE issues on tracker [on Dave Reynolds - due 2008-08-26]. 15:40:09 q? 15:40:12 zakim, next item 15:40:12 agendum 6. "Test Cases" taken up [from ChrisW] 15:40:19 ChrisW: More on Core? 15:40:33 No more on core 15:40:42 the discussion points: http://lists.w3.org/Archives/Public/public-rif-wg/2008Aug/0056.html 15:41:52 ChrisW: shooting for one-month after the F2F to have the final draft ready 15:41:55 yes 15:41:56 Zakim, unmute me 15:41:56 AdrianP should no longer be muted 15:42:11 about how many test cases by then? 15:42:17 MichaelKifer_ has joined #rif 15:42:19 ChrisW: review of the approach? 15:42:37 Zakim, unmute me 15:42:37 AdrianP was not muted, AdrianP 15:43:12 Discussing format of the document 15:43:27 http://www.w3.org/2005/rules/wiki/Category:Test_Case 15:44:43 StellaMitchell: Test Case Number of Results as an example 15:44:55 q+ 15:45:23 AdrianP: explains what a query is in the context on the test case 15:45:53 ack jos 15:46:15 Jos: Why do you need such a concept as a "query"? 15:46:39 I made some comments on test cases and "query" answers in my mail. 15:46:54 Jos: proposes a simple scheme instead 15:47:13 ChrisW: we have not defined what a query is 15:47:16 +1 to jos because enumerating "answers" is not possible, especially if there are infinite answers. 15:47:30 Jos: exactly so better not use it 15:48:10 AdrianP: we need it because entailment is not enough in certain test cases 15:48:31 Jos: argues against the need 15:48:37 ... also, we'd need a defined output format, etc. 15:48:43 q? 15:48:58 ChrisW: I think Adrian is referring more to a unit test 15:49:05 http://www.w3.org/2005/rules/wiki/Category:Test_Case 15:50:06 ChrisW: does not like the arrow of the frame notation 15:50:35 (Test case Positive Entailment Test) 15:51:26 ChrisW: understands the notation Premiss -> Conclusion 15:52:33 no. 15:52:47 no arbitrary condition... 15:53:31 ChrisW: hesitant to define a whole new language for just test cases 15:53:32 ... I was suggesting such more general built-ins some time ago. 15:53:39 q+ 15:53:46 ack a 15:53:56 positive and negative entailment tests seem like the main ones to me 15:54:07 can a BLD expert comment on the "answer" to http://www.w3.org/2005/rules/wiki/PositiveEntailment_Entail_everything 15:54:14 Axel: agrees - need a new language for the queries, the output, etc ... 15:54:47 ChrisW: try to focus on entailment 15:55:39 StellaMitchell: question on the exact nature of the test cases 15:55:44 Gary: Indeed, A(t), for any ground term t, is entailed 15:56:05 ChrisW: test cases should use things that are expressible in BLD 15:56:19 If you say everything is in A, you can derive that everything is in A 15:56:43 ChrisW: let's keep it simple 15:56:47 I would have more comments when it comes to test cases for core... but I don't know whether this is in scope of the discussion now and whether I haven't said all in the mails yet on this topic. 15:57:27 q+ 15:57:32 ChrisW: Jos and Michael - please think up some test cases for BLD 15:57:35 ack jos 15:58:00 Jos: also w/ RDF and OWL - will do 15:58:15 http://www.w3.org/2005/rules/wiki/SWC_test1 15:59:01 ChrisW: anyone else please as well 15:59:38 http://www.w3.org/2005/rules/wiki/Built-Ins_numeric_add 16:00:05 a test case for each DTB built-in 16:00:09 many 16:00:09 StellaMitchell: do we need things like shown in "Built-Ins numeric add" test case? 16:00:11 Zakim, mute me 16:00:11 AdrianP should now be muted 16:00:54 ChrisW: this looks more like what I was imagining ... 16:01:24 StellaMitchell: do we need to verify that all the builins are implemented? 16:01:24 q+ 16:01:28 q+ 16:01:35 s/builins/builtins/ 16:01:45 action: chris to add "test case for every builtin?" to issues list 16:01:45 Created ACTION-563 - Add \"test case for every builtin?\" to issues list [on Christopher Welty - due 2008-08-26]. 16:01:49 usually test cases a simple, at least from the point of view of test-driven development in agile programming 16:01:53 ack jos 16:02:05 s/a/are 16:02:10 Jos: wonders if test cases for consistency checking are needed? 16:02:18 "a"="b" 16:02:53 jos, could you specify an example for where builtins cause inconsistency?!? 16:03:06 beside entailment tests we currently have syntax tests 16:03:11 http://www.w3.org/2005/rules/wiki/Negative_Syntax_free_vars 16:03:33 ChrisW and Axel do not believe so 16:04:04 StellaMitchell: it was question to have some consistency checks are needed 16:04:13 ack sandro 16:04:28 s/checks/checks where they/ 16:04:28 I listed some categories of potential test cases here http://www.w3.org/2005/rules/wiki/Test#Categories_of_RIF_Test_Cases 16:05:06 Axel: currently not sure whether there is anything besides equality that can cause inconsistency, but I suspect there is 16:05:21 Sandro: agrees that as much consistency check should be done (necessary conditions, not sufficient) 16:05:54 inconsistency e.g. in PRD due to negation 16:06:13 Sandro: discusses the format of the tests (for nested tables) and how to simplify it 16:06:37 Zakim, unmute me 16:06:37 AdrianP should no longer be muted 16:07:05 AdrianP: asks a question about editing the test cases 16:07:41 AdrianP: using a standard syntax or XML 16:08:06 StellaMitchell: yes we need an official format 16:08:13 +Mike_Dean 16:08:27 stella: nice to be able to enter tests in presentation syntax and then auto convert to XML 16:08:54 did Hassan write a program to convert PS to XML? 16:09:21 -MichaelKifer 16:09:30 Sandro: discusses how to organize the wiki to automate all this 16:10:29 Sandro: using RDF data and XHTML tables 16:11:25 -AxelPolleres 16:11:47 action: hassan to finish PS to XML conversion based on LC BLD grammar 16:11:48 Created ACTION-564 - Finish PS to XML conversion based on LC BLD grammar [on Hassan Ait-Kaci - due 2008-08-26]. 16:13:40 Sandro: discussing using Pres. Syntax and then generate XML form 16:14:49 ChrisW: how do we ensure that all versions of the same syntax are kept consistent with one another? 16:15:35 ChrisW: the idea is to keep all the wiki versions of the same thing be kept consistent (in PS or XML) 16:15:50 Sandro: there are ways to do that ... 16:16:41 ChrisW: test metadata and the submission process? 16:16:59 AdrianP: describes the current submission process ... 16:17:14 ChrisW: what about an editorial process? 16:17:19 AdrianP: yes 16:17:35 ChrisW: how - email? wiki? 16:17:35 I think email submission is fine. 16:18:12 Sandro: not sure of ways to do that ... 16:18:26 If it's emailed to the WG, we will have a record of it, but still not allow access to the wiki. 16:18:36 Sandro: ... from the wiki 16:18:49 In any case, we have to vet and modify the examples, so there will be work involved in any case with exernal submissions. 16:18:55 Sandro: let us use email for now 16:19:07 I agree Sandro; I don't think we'll get many email submissions 16:19:58 ChrisW: we'll review this again next week 16:20:39 Zakim, mute me 16:20:39 AdrianP should now be muted 16:20:44 action: sandro to get CVS access for TCG 16:20:44 Created ACTION-565 - Get CVS access for TCG [on Sandro Hawke - due 2008-08-26]. 16:21:18 ChrisW: giving a pat on the back of Adrian et al... 16:21:21 zakim, next item 16:21:21 agendum 7. "External review" taken up [from ChrisW] 16:22:02 http://www.w3.org/2005/rules/wiki/Response_to_PPS4 16:22:09 ChrisW: external review from Peter Patel-Schneider 16:22:41 who is on the phone? 16:22:51 zakim, who is on the phone? 16:22:51 On the phone I see josb, Sandro, JeffP, Hassan_Ait-Kaci, ChrisW, Dave_Reynolds, Stella_Mitchell, LeoraMorgenstern, AdrianP (muted), +1.503.533.aacc, Mike_Dean 16:22:52 q+ CVS item 16:22:56 Jos: perhaps Michael should respond 16:22:58 grrr 16:23:00 q- 16:23:03 q- cvs 16:23:06 q- item 16:23:09 zakim, aacc is GaryHallmark 16:23:09 +GaryHallmark; got it 16:23:31 action: Chris to ask MK to look at PFPS4 16:23:31 Created ACTION-566 - Ask MK to look at PFPS4 [on Christopher Welty - due 2008-08-26]. 16:23:44 q? 16:23:48 q+ 16:24:12 ok 16:24:15 ok 16:24:46 ack jos 16:25:09 Is this page public? http://www.w3.org/Systems/Accounts/w3t/ 16:25:35 ChrisW: saying something wise ... ;-) 16:25:49 action: chris to ask axel to look at 2cnd to last comment on PFPS4 16:25:49 Created ACTION-567 - Ask axel to look at 2cnd to last comment on PFPS4 [on Christopher Welty - due 2008-08-26]. 16:25:55 zakim, next item 16:25:55 I do not see any non-closed or non-skipped agenda items, ChrisW 16:26:07 Sandro, no it is not public 16:26:09 +1 16:26:13 +1 to adjourn 16:26:15 -GaryHallmark 16:26:17 -Stella_Mitchell 16:26:20 -LeoraMorgenstern 16:26:21 -josb 16:26:21 -AdrianP 16:26:23 -Dave_Reynolds 16:26:24 -Mike_Dean 16:26:27 rrsagent, list attendees 16:26:27 I'm logging. I don't understand 'list attendees', ChrisW. Try /msg RRSAgent help 16:26:33 zakim, list attendees 16:26:33 As of this point the attendees have been Mike_Dean, josb, MichaelKifer, Sandro, JeffP, Hassan_Ait-Kaci, +1.914.784.aaaa, ChrisW, Stella_Mitchell, LeoraMorgenstern, Dave_Reynolds, 16:26:37 ... +0493516aabb, AdrianP, AxelPolleres, +1.503.533.aacc, GaryHallmark 16:26:39 rrsagent, make minutes 16:26:39 I have made the request to generate http://www.w3.org/2008/08/19-rif-minutes.html ChrisW 16:26:44 rrsagent, make logs public 16:27:25 -Hassan_Ait-Kaci 16:27:27 zakim, who is on the phone? 16:27:27 On the phone I see Sandro, JeffP, ChrisW 16:27:36 zakim, drop jeffp 16:27:36 JeffP is being disconnected 16:27:36 zakim, drop jeffp 16:27:37 JeffP is being disconnected 16:27:37 -JeffP 16:33:33 http://www.web3event.com/index.php 16:34:58 -Sandro 16:34:59 SW_RIF()11:00AM has ended 16:35:01 Attendees were Mike_Dean, josb, MichaelKifer, Sandro, JeffP, Hassan_Ait-Kaci, +1.914.784.aaaa, ChrisW, Stella_Mitchell, LeoraMorgenstern, Dave_Reynolds, +0493516aabb, AdrianP, 16:35:04 ... AxelPolleres, +1.503.533.aacc, GaryHallmark 16:41:19 quit 18:59:54 Zakim has left #rif