14:46:25 RRSAgent has joined #rif 14:46:25 logging to http://www.w3.org/2008/09/02-rif-irc 14:47:07 Regrets: DaveReynolds 14:47:24 list agenda 14:47:53 zakim, close agenda 14:47:53 I don't understand 'close agenda', csma 14:48:13 zakim, clear agenda 14:48:13 agenda cleared 14:49:00 agendum+ Admin 14:49:17 agendum+ liaisons 14:49:27 agendum+ Publicity 14:49:45 agendum+ Actions review 14:50:00 agendum+ F2F11 14:50:11 agendum+ Core 14:50:26 agendum+ PRD 14:50:34 agendum+ Test Cases 14:50:53 agendum+ DTB 14:51:01 agendum+ AOB 14:51:09 agendum+ Pick scribe! 14:57:38 ChrisW has joined #rif 14:58:11 zakim, list agenda? 14:58:11 I see 11 items remaining on the agenda: 14:58:12 1. Admin [from csma] 14:58:12 2. liaisons [from csma] 14:58:14 3. Publicity [from csma] 14:58:14 4. Actions review [from csma] 14:58:15 5. F2F11 [from csma] 14:58:15 6. Core [from csma] 14:58:16 7. PRD [from csma] 14:58:18 8. Test Cases [from csma] 14:58:20 9. DTB [from csma] 14:58:22 10. AOB [from csma] 14:58:24 11. Pick scribe! [from csma] 14:58:26 SW_RIF()11:00AM has now started 14:58:29 +??P51 14:58:31 rrsagent, make minutes 14:58:31 I have made the request to generate http://www.w3.org/2008/09/02-rif-minutes.html ChrisW 14:58:38 rrsagent, make logs public 14:58:48 StuartTaylor has joined #rif 14:58:51 zakim, ??P51 is me 14:58:51 +csma; got it 14:59:39 YutingZhao has joined #rif 15:00:06 +Sandro 15:00:35 Hassan has joined #rif 15:01:19 + +1.734.276.aaaa 15:01:22 +[IBM] 15:01:27 zakim, ibm is temporarily me 15:01:30 +ChrisW; got it 15:01:46 +JeffP 15:01:48 LeoraMorgenstern has joined #rif 15:01:49 zakim, aaaa is MikeDean 15:01:49 +MikeDean; got it 15:01:55 StellaMItchell has joined #rif 15:01:57 josb has joined #rif 15:02:10 GaryHallmark has joined #rif 15:02:26 +[NRCC] 15:02:33 +LeoraMorgenstern 15:02:57 + +39.047.101.aabb 15:03:01 +[IBM] 15:03:04 zakim, [NRCC] is me 15:03:06 zakim, ibm is temporarily me 15:03:11 +Harold; got it 15:03:13 +StellaMItchell; got it 15:03:17 -JeffP 15:03:23 +Hassan_Ait-Kaci 15:03:28 +GaryHallmark 15:03:35 - +39.047.101.aabb 15:03:54 Scribe: GaryHallmark 15:03:57 + +39.047.101.aacc 15:04:00 Scribe: GARY hallmark 15:04:08 Scribe: GaryHallmark 15:04:15 scribenick: GaryHallmark 15:04:23 next item 15:04:52 http://lists.w3.org/Archives/Public/public-rif-wg/2008Aug/att-0129/2008-08-26-rif-minutes.html 15:04:55 AdrianP has joined #rif 15:05:03 PROPOSED: accept minutes of Aug 26 15:05:18 RESOLVED: accept the minutes of Aug 26 15:05:54 next item 15:06:12 +AdrianP 15:06:18 +JeffP 15:07:07 Zakim, mute me 15:07:07 AdrianP should now be muted 15:08:21 sandro: asks if anyone going to SWIG at W3 TP 15:08:52 next item 15:08:59 At http://www.w3.org/2005/rules/wiki/Publicity I made more precise one aspect from the minutes of Aug 26: 15:09:02 Do not use BCC (which can confuse mailing lists), but FWD all your targeted mailouts to member-rif-wg@w3.org (as the single, comprehensive, reliable archive), especially if they need to be w3c member confidential instead of public. 15:09:07 http://www.w3.org/2005/rules/wiki/Publicity 15:11:03 StuartTaylor has joined #rif 15:11:18 Zakim, unmute me 15:11:18 AdrianP should no longer be muted 15:11:55 csma needs to send publicity emails 15:12:04 chrisw sent his emails 15:12:16 Also, do not send to too many lists at the same time; some mailing lists will reject such mails 15:12:25 gary will send his emails today 15:13:04 MichaelKifer has joined #rif 15:13:11 adrian will send his 15:13:16 Zakim, mute me 15:13:16 AdrianP should now be muted 15:13:45 harold sent 2/3 15:14:17 zakim, who is on the phone? 15:14:17 On the phone I see csma, Sandro, MikeDean, ChrisW, Harold, LeoraMorgenstern, StellaMItchell, Hassan_Ait-Kaci (muted), GaryHallmark, josb, AdrianP (muted), JeffP 15:14:40 zakim, JeffP is StuartTaylor 15:14:40 +StuartTaylor; got it 15:15:09 stuart will remind Jeff to send pub email 15:15:28 sandro will send to open data 15:16:09 Zakim, YutingZhao is with StuartTaylor 15:16:09 +YutingZhao; got it 15:16:59 harold: how do we monitor discussion on the targeted mailing lists? 15:17:26 csma: whoever posts should monitor the target list 15:18:10 sandro: and forward key points to rif-wg 15:19:04 ... and respond promising fuller explanation pending internal RIF discussion 15:19:58 chrisw: don't need to fwd rants about semweb 15:20:56 +MichaelKifer 15:21:06 zakim, drop MichaelKifer 15:21:06 MichaelKifer is being disconnected 15:21:08 -MichaelKifer 15:21:10 MichaelKifer, you brought this loud tone with you again. 15:21:20 MichaelKifer, the noise was unbearable 15:21:33 Zakim, who is on the phone? 15:21:33 On the phone I see csma, Sandro, MikeDean, ChrisW, Harold, LeoraMorgenstern, StellaMItchell, Hassan_Ait-Kaci (muted), GaryHallmark, josb, AdrianP (muted), StuartTaylor 15:21:37 StuartTaylor has StuartTaylor, YutingZhao 15:21:51 harold: one reviewer questions why we don't talk about common logic 15:22:07 +MichaelKifer 15:22:14 tone again, MichaelKifer 15:22:20 -MichaelKifer 15:23:12 csma: asks Harold to draft text about CL and BLD 15:23:30 ACTION: Harold to draft text for BLD about relation to Common Logic, KIF, etc, as per O'Keefe comment. 15:23:30 Created ACTION-570 - Draft text for BLD about relation to Common Logic, KIF, etc, as per O'Keefe comment. [on Harold Boley - due 2008-09-09]. 15:23:48 +MichaelKifer 15:23:52 tone again, MichaelKifer 15:24:11 good one, jos 15:24:26 MichaelKifer, DON'T UNMUTE!!!! 15:24:37 http://lists.w3.org/Archives/Public/public-rif-comments/ 15:24:44 next item 15:25:34 AxelPolleres has joined #rif 15:26:16 ok will do 15:26:26 no 15:26:27 AxelPolleres has joined #rif 15:26:28 will do today 15:26:40 continue 15:29:50 Zakim, unmute me 15:29:50 AdrianP should no longer be muted 15:29:56 axel - did you look at the PFPS response? 15:30:17 see http://www.w3.org/2005/rules/wg/track/actions/568 15:30:17 Zakim, mute me 15:30:17 AdrianP should now be muted 15:30:30 +??P6 15:31:28 the action was about test cases for RIF 15:32:19 next item 15:32:56 chrisw: need registration questionaire to know who is coming 15:33:12 sandro: what about meals, etc.? 15:34:19 ACTION: Sandro open a registration on attendance at F2F11 15:34:20 Created ACTION-571 - Open a registration on attendance at F2F11 [on Sandro Hawke - due 2008-09-09]. 15:35:56 next item 15:37:04 http://www.w3.org/2005/rules/wiki/Core 15:37:12 harold: summarizes work on Core 15:37:42 ... some subset (probably not maximal) of PRD and BLD 15:38:18 http://www.w3.org/2005/rules/wiki/Core#Intersection_of_RIF-PRD_and_RIF-BLD 15:39:01 .. e.g. no logical functions 15:39:25 ... possibly no named arguments, only frames 15:39:45 ... member and subclass is controversial 15:39:51 josb has joined #rif 15:40:25 zakim, who is on the phone? 15:40:25 On the phone I see csma, Sandro, MikeDean, ChrisW, Harold, LeoraMorgenstern, StellaMItchell, Hassan_Ait-Kaci (muted), GaryHallmark, josb, AdrianP (muted), StuartTaylor, 15:40:29 ... MichaelKifer (muted), AxelPolleres 15:40:30 StuartTaylor has StuartTaylor, YutingZhao 15:41:51 harold: least contention about removing named arg uniterns (nobody sorry to see them go) 15:42:06 s/uniterns/uniterms 15:42:51 harold: equality in conclusion should not be in core 15:44:16 note, there is some more awkwardness about equality for the abridged syntax here: if we allow < > >= etc. as shortcuts for builtins only where the datatypes match... what it '=' then? 15:44:46 adrian? opinions on that? 15:45:09 ... we agreed abount no equality in head for core at prior f2f 15:46:16 chrisw: we need an issue for equality in core 15:46:41 s/abount/about 15:46:52 http://www.w3.org/2005/rules/wg/track/issues/71 15:47:15 action: harold to open an issue on equality in core - explaining choices 15:47:15 Created ACTION-572 - Open an issue on equality in core - explaining choices [on Harold Boley - due 2008-09-09]. 15:47:23 Hmmmm, from F2F8: RESOLVED: Core will be what is currently called BLD with Equality removed, function terms removed, and perhaps safeness, and perhaps slotted terms. We will not get rid of BLD. (Ignoring editorial issues for now) Frames stay in core. 15:47:29 csma: issue 71 is about externals in core 15:48:10 q+ 15:48:32 q+ 15:48:37 harold: may keep restricted equality to allow use of builtin functions and not have to invent pred:foo for all func:foo 15:49:46 csma: seems easier/better to keep restricted equality 15:49:56 ack axel 15:50:01 yes, if we have predicates we need to define both a function and a predicate version for the built-ins 15:50:51 q? 15:50:54 axel: could say all functions come with a similar predicate 15:51:21 ack josb 15:51:25 csma: doesn't that add to complexity of implementations 15:51:26 MichaelKifer has joined #rif 15:52:10 josb: equality in the body can always be rewritten and removed 15:52:23 ... just repeat the function 15:52:25 Zakim, unmute me 15:52:25 AdrianP should no longer be muted 15:52:40 then you would need to repeate the function call several times 15:52:52 because you can not bind the result to a variable 15:54:41 e.g. Datalog languages 15:54:55 e.g. homogenous Datalog + OWL languages 15:55:09 chrisw: these restrictions affect the subset of rules you can translate 15:55:24 josb: either have equality in the body or not have it. Don't introduce a restricted form of equality. 15:55:37 ... BLD doesn't correspond to a rule language 15:55:49 christian, chrisW these are exactly the two different viewpoints on Core: core as intersection or core as something that almost all languages implement. 15:55:57 or no? 15:56:12 no - BLD is a *condition* language - not a *rule* language. 15:56:28 -MikeDean 15:56:43 csma: if core is smaller than any rule language, maybe it is too small 15:57:06 q? 15:57:30 Jos, how would you translate this? p(?x ?y) :- And( q(?x) ?y=func:numeric-add(?x ?x) ) 15:57:55 p(?x func:numeric-add(?x ?x)) :- And( q(?x) ) 15:58:19 But I guess we don't want built-ins in the head. 15:58:25 why not? 15:58:41 built-in functions should be allowed in the head 15:59:02 Jos: how do you unify/match interpreted functions in the head? 15:59:10 csma: when would one translate to Core instead of translating to BLD? 15:59:47 Hassan, Harold's rule is equivalent to mine, so you process them in the same way 16:00:20 equivalent is what sense? 16:00:29 chrisw: e.g BLD is too expressive for some rule languages, e.g. Jena 16:00:51 they have the same models 16:01:18 restricted equality = assignment? 16:01:34 csma: agrees Core would be used for languages less expressive than BLD 16:01:38 so you are proposing some sort of canoncal rep. for Horn rules? 16:01:40 q? 16:01:45 Jos, about Hassan's point: how would you avoid that users get confused (if we allowed the same in BLD) between constructors in the head and evaluated functions in the head? 16:01:53 s/canncal/canonical/ 16:02:00 External() 16:02:01 Zakim, mute me 16:02:01 AdrianP should now be muted 16:02:03 I don't understand why assignment in the body is not assignment 16:02:04 s/canoncal/canonical/ 16:03:09 From table in 7.1: 16:03:10 Remark: under discussion; Core might have frames and user predicates plus built-in predicates, or frames and built-in predicates, or frames, user predicates, and built-in functions (with restricted equality), or frames and built-in functions (with restricted equality) 16:03:12 Hassan, I'm just saying we need to choose between yes/no allowing equality in the body, and not introduce some silly restricted kind of equality 16:03:43 URI? 16:04:01 http://www.w3.org/2005/rules/wiki/Core#Intersection_of_RIF-PRD_and_RIF-BLD 16:05:16 note that some rule languages, e.g. Jena and OBR, do not have user predicates 16:06:14 Zakim, unmute me 16:06:14 AdrianP should no longer be muted 16:06:34 I think we need predicates in PRD, e.g. for CLIPS like languages 16:07:08 Zakim, mute me 16:07:08 AdrianP should now be muted 16:07:45 q? 16:09:25 proposed resolution for next week: no named argument uniterms in CORE 16:09:40 next item 16:10:21 http://www.w3.org/2005/rules/wg/track/actions/554 16:10:24 http://www.w3.org/2005/rules/wg/track/actions/555 16:10:35 Scribe: ChrisW 16:11:05 constructs for PRD: object creation 16:11:31 Gary: try something taht could be used for BLD also, skolem functions did not work 16:11:50 ...probably there is no common solution 16:12:22 ...special builtin requires all the quantified variables 16:12:35 ...variable arity - too much burden on prules 16:13:16 ...so proposed some syntax with keyword "new" and the name of a type/class 16:13:21 ...with slots and values 16:14:01 MichaelKifer has joined #rif 16:14:04 ...would be equivalent to BLD frame syntax 16:14:09 New ::= 'New' CLASS '[' (TERM '->' TERM)* ']' 16:14:47 Zakim, unmute me 16:14:47 AdrianP should no longer be muted 16:15:06 Adrian: in priciple this is like a constructor 16:15:56 a constructor is *not* interpreted - a builtin function symbol *is* 16:16:36 ...and should be a builtin 16:16:45 csma: how would that work in PRD 16:17:12 AdrianP: i'm thinking of it like a language where you can create objects dynamically at run-time 16:18:10 q? 16:18:34 the new builtin or a function symbol act differently from object creation in PR systems. In particular, multiple invocation of the same new will give the same new object. 16:18:38 ...so what is the semantics of NEW - does it behave that way? Could you use it for mapping constructor calls? 16:19:10 GaryHallmark: i intend the semantics to be the same as if you replaced it in logic with a conjunction of 16:19:39 ...frames and membership 16:19:55 new is just a builtin relation n+1 args that is supposed to be interpreted by a 1-1 function from D^n -> D. 16:24:42 csma: thinking about using exists with new 16:25:58 ?X = javal.lang.String("abc") 16:26:04 GaryHallmark: like a predicate where you pass in a variable to be bound to the new object? 16:26:31 Zakim, mute me 16:26:31 AdrianP should now be muted 16:26:45 csma: anyway, "new" makes sense but should be able to use the new object in the action list 16:27:04 GaryHallmark: Yes, but we don't have any notion of binding in the conclusion 16:27:16 csma: that's why I was thinking of using exists 16:27:32 GaryHallmark: but if you use exists in the conclusion you don't need new 16:28:14 ...maybe you can use equality? 16:28:25 zakim, list agenda 16:28:25 I see 4 items remaining on the agenda: 16:28:26 7. PRD [from csma] 16:28:26 8. Test Cases [from csma] 16:28:27 9. DTB [from csma] 16:28:27 11. Pick scribe! [from csma] 16:29:02 PROPOSED: Extend meeting for 5 minutes 16:29:19 to discuss one last PRD topic 16:29:58 GaryHallmark: user-defined predicates and frames, the latter correspond to the rdf data model 16:30:13 ...oracle business rules don't support either 16:30:24 ...more aligned with e.g. javabeans 16:30:39 Yes, the OO model is different from the RDF/Frame/Relational model. 16:31:21 -MichaelKifer 16:31:25 ...more common to have a "slot" that can have only a single value 16:31:40 ...so any new value would "change" the value of the slot 16:31:43 I wonder how Oracle deals with this difference between Beans and Databases..... 16:31:53 q+ 16:32:06 ...frames seem like the more likley place to map from javabeans 16:32:22 ...but not a perfect match 16:32:22 With the JDBC? 16:32:53 (this answers Sandro's question) 16:32:57 csma: yes they are different, but what is the impact on PRD? What about using retract/assert? 16:33:10 but then we would need to define actions as atomic 16:33:11 ack sandro 16:33:43 Zakim, who is on the phone? 16:33:43 On the phone I see csma, Sandro, ChrisW, Harold, LeoraMorgenstern, StellaMItchell, Hassan_Ait-Kaci (muted), GaryHallmark, josb, AdrianP (muted), StuartTaylor, AxelPolleres 16:33:46 StuartTaylor has StuartTaylor, YutingZhao 16:33:52 sandro: isn't this difference (objects vs. relations) already dealt with in ORM? 16:34:18 -LeoraMorgenstern 16:34:27 update can only be delete old value, add new val per frame, that is your problem? 16:34:39 Sandro: http://www.oracle.com/technology/software/tech/java/sqlj_jdbc/index.html 16:35:02 GaryHallmark: would be nice to have teh same semantics for frames so Core is common, so can you embed the differences as more rules (what I meant by "frame axioms") 16:35:07 cf http://en.wikipedia.org/wiki/Object-Relational_impedance_mismatch 16:35:59 ...maybe we can talk about "embedding" these axioms in PRD 16:36:52 zakim, list attendees 16:36:52 As of this point the attendees have been csma, Sandro, +1.734.276.aaaa, ChrisW, MikeDean, LeoraMorgenstern, +39.047.101.aabb, Harold, StellaMItchell, Hassan_Ait-Kaci, GaryHallmark, 16:36:55 ... +39.047.101.aacc, josb, AdrianP, StuartTaylor, YutingZhao, MichaelKifer, AxelPolleres 16:36:55 +1 to adjourn 16:36:56 -josb 16:36:58 bye 16:37:00 -Harold 16:37:01 -AxelPolleres 16:37:04 -AdrianP 16:37:09 -StellaMItchell 16:37:11 -Hassan_Ait-Kaci 16:37:13 -StuartTaylor 16:37:18 Regrets: DaveReynolds 16:37:20 rrsagent, make log public 16:37:22 GaryHallmark has joined #rif 16:37:24 rrsagent, make minutes 16:37:24 I have made the request to generate http://www.w3.org/2008/09/02-rif-minutes.html ChrisW 16:37:42 -GaryHallmark 16:37:43 zakim, who is on the phone? 16:37:43 On the phone I see csma, Sandro, ChrisW 16:37:47 zakim, who is on the call 16:37:47 I don't understand 'who is on the call', csma 16:38:00 Hassan, is your sense that JDBC *solves* the OR impedence mismatch? 16:39:23 -ChrisW 16:39:25 -Sandro 16:39:27 -csma 16:39:29 SW_RIF()11:00AM has ended 16:39:30 Attendees were csma, Sandro, +1.734.276.aaaa, ChrisW, MikeDean, LeoraMorgenstern, +39.047.101.aabb, Harold, StellaMItchell, Hassan_Ait-Kaci, GaryHallmark, +39.047.101.aacc, josb, 16:39:32 ... AdrianP, StuartTaylor, YutingZhao, MichaelKifer, AxelPolleres