IRC log of rif-prd on 2009-03-17
Timestamps are in UTC.
- 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: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