18:02:28 <RRSAgent> RRSAgent has joined #rif-prd
18:02:28 <RRSAgent> logging to http://www.w3.org/2009/03/17-rif-prd-irc
18:02:39 <csma> rrsagent, make log public
18:02:47 <cke> cke has joined #RIF-PRD
18:02:49 <csma> rrsagent, make minutes
18:02:49 <RRSAgent> I have made the request to generate http://www.w3.org/2009/03/17-rif-prd-minutes.html csma
18:03:03 <cke> what is the teleconf code?
18:03:08 <csma> changhai, the code is 26631
18:03:32 <GaryHallmark> GaryHallmark has joined #rif-prd
18:03:46 <csma> Gary, the code is 26631
18:03:51 <Zakim> Team_(rif-prd)18:02Z has now started
18:03:56 <Zakim> +??P0
18:03:58 <Zakim> + +2
18:03:59 <Zakim> +??P2
18:04:06 <AdrianP> Zakim, ??P0 is me
18:04:06 <Zakim> +AdrianP; got it
18:04:10 <Zakim> +Gary_Hallmark
18:04:34 <csma> zakim, who is on the phone?
18:04:34 <Zakim> On the phone I see +2, AdrianP, ??P2, Gary_Hallmark
18:05:24 <csma> zakim, ??P2 is me
18:05:24 <Zakim> +csma; got it
18:05:35 <csma> zakim, AdrianP is cke
18:05:35 <Zakim> +cke; got it
18:05:44 <csma> zakim, who is on the phone?
18:05:44 <Zakim> On the phone I see +2, cke, csma, Gary_Hallmark
18:06:15 <csma> zakim, +2 is AdrianP
18:06:15 <Zakim> +AdrianP; got it
18:06:23 <csma> zakim, who is on the phone?
18:06:23 <Zakim> On the phone I see AdrianP, cke, csma, Gary_Hallmark
18:06:33 <csma> ack ??p2
18:06:37 <csma> ach Adr
18:06:40 <csma> ack Adr
18:06:43 <csma> ack +2
18:08:38 <AdrianP> next week I will be at the SABRE/SIWN congress running the ABIS conference
18:08:51 <AdrianP> need to check the program
18:10:00 <AdrianP> http://www.w3.org/2005/rules/wiki/Category:Test_Case
18:10:26 <AdrianP> test the actions of PRD
18:13:24 <AdrianP> yes, I will write some test cases for PRD (negation, assert, retract)
18:13:43 <csma> ACTION: Adrian to write test cases for the Modify action
18:14:58 <csma> ACTION: Adrian to write test cases for assert, retract, modify, and the assert-retract combination (and combination with negation)
18:15:48 <AdrianP> what about the tricky test case from Axel? Gary do you rember in which mail it was?
18:15:59 <csma> http://www.w3.org/2005/rules/wiki/PRD_Ruleset_Example
18:19:46 <csma> ACTION: Changhai to put all the examples in the above document in standard test case form
18:21:20 <csma> ACTION: csma to check, and possibly add, the PRR-OCL examples
18:23:45 <AdrianP> will we duplicate the relevant BLD / Core test cases for PRD or extend the test cases metadata proprties
18:26:13 <csma> http://www.w3.org/2005/rules/wiki/Class_Membership
18:26:40 <AdrianP> http://www.w3.org/2005/rules/wiki/Test_Case_Format#Dialect
18:29:28 <csma> ACTION: csma to check test cases A-C for applicability to Core/PRD, Gary to do the D-F, Adrian G-Q, Changhai the rest.
18:31:30 <csma> http://www.w3.org/2005/rules/wiki/PRD_Logic_Example
18:32:50 <AdrianP> I could do a test case on inflationary semantics
18:33:00 <AdrianP> in combination of negation
18:33:12 <AdrianP> http://lists.w3.org/Archives/Public/public-rif-wg/2008Dec/0053.html
18:33:16 <csma> ACTION: Gary to look at Oracle didactic tests
18:34:39 <csma> ACTION: csma to look at ILOG didactic test cases
18:39:18 <AdrianP> yes, we have the RIF demo from RuleML-2008
18:40:41 <AdrianP> http://ruleml-challenge.cs.nccu.edu.tw/sites/default/files/Please%20Pass%20the%20Rules_0.pdf
18:40:55 <AdrianP> http://ruleml-challenge.cs.nccu.edu.tw/?q=node/25
18:41:08 <AdrianP> there was another interesting demo about RIF from IBM
18:41:23 <AdrianP> http://ruleml-challenge.cs.nccu.edu.tw/?q=node/22
18:41:36 <AdrianP> http://ruleml-challenge.cs.nccu.edu.tw/?q=node/22
18:41:44 <AdrianP> http://www.ibm.com/developerworks/wikis/display/db2xml/Rules
18:46:59 <Zakim> -AdrianP
18:47:01 <Zakim> -Gary_Hallmark
18:47:02 <Zakim> -cke
18:47:02 <Zakim> -csma
18:47:04 <Zakim> Team_(rif-prd)18:02Z has ended
18:47:05 <Zakim> Attendees were Gary_Hallmark, csma, cke, AdrianP
18:47:20 <csma> rrsagent, make minutes
18:47:20 <RRSAgent> I have made the request to generate http://www.w3.org/2009/03/17-rif-prd-minutes.html csma
20:15:35 <Zakim> Zakim has left #rif-prd