15:49:29 RRSAgent has joined #rif 15:49:29 logging to http://www.w3.org/2006/01/24-rif-irc 15:49:32 Zakim has joined #rif 15:49:36 zakim, this will be rif 15:49:36 ok, sandro; I see SW_RIF()11:00AM scheduled to start in 11 minutes 15:49:52 SW_RIF()11:00AM has now started 15:49:59 +??P4 15:50:15 zakim, ??P4 is me. 15:50:15 +FrancoisBry; got it 15:50:59 +??P5 15:51:29 hirtle has joined #rif 15:52:13 +Sandro 15:52:17 MarkusK has joined #rif 15:52:31 josb has joined #rif 15:53:03 bill has joined #rif 15:53:10 DonaldC has joined #rif 15:53:29 Harold has joined #rif 15:53:44 GiorgosStamou has joined #rif 15:54:29 deepalik has joined #rif 15:54:48 +??P7 15:55:11 Donald is DonaldC 15:55:15 Hassan has joined #rif 15:55:20 +[LMU] 15:55:36 Zakim Donald is DonaldC 15:56:07 +??P9 15:56:26 +[IPcaller] 15:56:29 Zakim, Donald is DonaldC 15:56:29 sorry, DonaldC, I do not recognize a party named 'Donald' 15:56:34 + +43.512.507.aaaa 15:56:35 +Hassan_Ait-Kaci 15:56:35 Chair: ChrisWelty 15:56:38 +Andreas_Harth (was +43.512.507.aaaa) 15:56:39 Zakim, IPcaller is me 15:56:39 +BillAndersen; got it 15:56:50 Zakim, mute me 15:56:50 BillAndersen should now be muted 15:56:55 +[NRCC] 15:56:57 ChrisW has joined #rif 15:57:05 +[IPcaller] 15:57:14 +Deepali_Khushraj 15:57:16 aharth has joined #rif 15:57:27 +??P21 15:57:33 zakim, who's on the phone? 15:57:33 On the phone I see FrancoisBry (muted), csma, Sandro, josb (muted), PaulaP (muted), holger (muted), BillAndersen (muted), Hassan_Ait-Kaci (muted), Andreas_Harth, [NRCC], MarkusK, 15:57:37 ... Deepali_Khushraj (muted), ??P21 15:57:47 JeffPan has joined #rif 15:57:59 ugo has joined #rif 15:58:03 Zakim, ??P21 is me 15:58:03 +DonaldC; got it 15:58:15 +[IPcaller] 15:58:25 + +43.512.507.9aabb 15:58:28 Zakim, mute me 15:58:28 DonaldC should now be muted 15:58:31 +??P17 15:58:43 zakim, ??P17 is me 15:58:43 +JeffPan; got it 15:58:53 Deborah_Nichols has joined #rif 15:58:53 zakim, mute me 15:58:53 JeffPan should now be muted 15:58:56 +Giorgos_Stamou 15:59:02 Zakim, mute me 15:59:08 Giorgos_Stamou should now be muted 15:59:09 +Ugo_Corda 15:59:29 saidtabet has joined #rif 15:59:36 msintek has joined #rif 15:59:37 Hello everyone 15:59:39 LeoraMorgenstern has joined #rif 15:59:53 +Deborah_Nichols 15:59:56 +[Fujitsu] 16:00:00 Allen has joined #rif 16:00:04 Zakim, Fujitsu is me 16:00:06 +FrankMcCabe; got it 16:00:13 +David_Hirtle 16:00:18 igor has joined #rif 16:00:23 +[IBM] 16:00:37 zakim, [ibm] is temporarily me 16:00:37 +ChrisW; got it 16:00:47 +Allen_Ginsberg 16:00:58 +Leora_Morgenstern 16:01:00 zakim, Andreas_Harth is me 16:01:00 +aharth; got it 16:01:12 zakim, mute me 16:01:12 Allen_Ginsberg should now be muted 16:01:16 zakim, [NRCC] is me 16:01:16 sorry, Harold, I do not recognize a party named '[NRCC]' 16:01:25 http://www.w3.org/2005/rules/wg/wiki/ScribesList 16:01:38 +Michael_Sintek 16:01:45 johnhall has joined #rif 16:01:55 +Said_Tabet 16:01:58 zakim, NRCC is me 16:01:58 sorry, Harold, I do not recognize a party named 'NRCC' 16:02:00 GaryHallmark has joined #rif 16:02:05 zakim, mute me 16:02:07 Said_Tabet should now be muted 16:02:10 vassilis has joined #rif 16:02:11 Good one, Chris 16:02:42 +John_Hall 16:02:57 zakim, mute me 16:02:57 John_Hall should now be muted 16:03:06 +Gary_Hallmark 16:03:18 JeremyCarroll has joined #rif 16:03:22 zakim, mute me 16:03:22 Gary_Hallmark should now be muted 16:03:28 +Mike_Dean 16:03:35 +Igor_Mozetic 16:03:38 Yesw I can scribe. 16:03:48 zakim, unmute me. 16:03:48 FrancoisBry should no longer be muted 16:03:49 zakim, mute me 16:03:49 Igor_Mozetic should now be muted 16:03:52 +??P46 16:04:28 RRSAgent, make minutes 16:04:28 I have made the request to generate http://www.w3.org/2006/01/24-rif-minutes.html sandro 16:04:38 +Guizhen_Yang 16:04:49 +Ed_Barkmeyer 16:04:53 http://lists.w3.org/Archives/Public/public-rif-wg/2006Jan/att-0084/DRAFT_W3C_RIF_WG__Minutes_2006-01-17.txt 16:05:02 zakim, unmute me 16:05:02 DonaldC should no longer be muted 16:05:05 +1 16:05:05 zakim, please mute me. 16:05:05 FrancoisBry should now be muted 16:05:09 + +1.979.575.aacc 16:06:21 Scribe: Minute last meeting extended with 3 modifications 16:06:42 1. clarifies attendees list. Persons to be added should send email to Christian SM. 16:06:55 2. Action item to be added by ???. 16:06:57 (Mala is a "she" btw.) 16:07:10 +1 16:07:11 1+ 16:07:20 zakim, mute me 16:07:20 DonaldC should now be muted 16:07:22 +[IPcaller] 16:07:28 scribe: 3rd modification??? 16:07:59 zakim, unmute me 16:07:59 DonaldC should no longer be muted 16:08:25 scribe: only 2 modifications. Missing action last meeting is in the agenda. 16:08:29 Jos_De_Roo has joined #rif 16:08:54 zakim, mute me 16:08:54 DonaldC should now be muted 16:08:57 scribe: Chris W. no addition to today's agenda. 16:09:51 scribe: Christian SM could not yet clarify who is the head of a group to contact. Will do up till next week. 16:10:00 zakimk, unmute me 16:10:06 Zakim, unmute me 16:10:09 +Jos_De_Roo 16:10:11 BillAndersen should no longer be muted 16:10:26 Zakim, mute me 16:10:36 BillAndersen should now be muted 16:10:43 scribe: Chris W. Reports on liaison activites? 16:10:46 Zakim, mute me 16:10:46 Jos_De_Roo should now be muted 16:11:33 François, correction: I _did_ clarify whom I had to contact re ISO SC32 WG2 16:11:33 scribe: ??? Submissions to TRR ?, OMG 16:11:46 JosDeRoo has joined #rif 16:12:33 zakikm, unmure me 16:12:42 zakim, unmute me 16:12:44 DonaldC should no longer be muted 16:13:08 kifer has joined #rif 16:13:31 +Evan_Wallace 16:13:32 Donald: SBVR (OMG) rule system in development and in run up of publishing specifications. 16:13:38 zakim, mute me 16:13:38 DonaldC should now be muted 16:14:17 zakim, unmute me 16:14:17 Allen_Ginsberg should no longer be muted 16:14:27 MinsuJang has joined #rif 16:14:36 +Michael_Kifer 16:14:45 liaison report: no reports from SPARQL (W3C) - Enrico Franconi, XQuery, XPath (W3C) - Massimo Marchiori,PRR (OMG) - Paul Vincent, ODM (OMG) - Elisa Kendall 16:15:15 Cris W. Use Cases: Additions? 16:15:20 rrsagent, make minutes 16:15:20 I have made the request to generate http://www.w3.org/2006/01/24-rif-minutes.html sandro 16:15:24 q+ 16:15:28 Who is speaking? 16:15:34 allen 16:15:41 q? 16:16:10 Scribe: FrancoisBry 16:16:18 ack franck 16:16:25 q? 16:16:26 http://www.w3.org/2005/rules/wg/wiki/RIF_Use_Cases_and_Requirements#Information_Integration 16:16:37 q- Frank 16:16:50 EvanWallace has joined #rif 16:18:07 For Scribe. OMG SBVR Liaison Item 1. SBVR current liaison work is with proposed "Interchange of Human-oriented Business Rules" general use case. 2. Final Adopted Specification of OMG "Semantics of Business Vocabulary and Busines Rules" will be published in a few weeks. 16:18:51 zakim, please unmute me. 16:18:51 sorry, Francois_scribe, I do not see a party named 'Francois_scribe' 16:19:44 ACTION 1: done. 16:19:51 zakim, unmute me 16:19:51 Said_Tabet should no longer be muted 16:19:59 report on action 1: done. 16:20:12 zakim, mute me 16:20:12 Said_Tabet should now be muted 16:20:17 report on action 2: done. 16:20:42 FrancoisBry has joined #rif 16:21:19 q? 16:21:38 zakim, unmute me 16:21:38 DonaldC should no longer be muted 16:21:41 q+ 16:21:43 Chris W suggest extends one wek deadline for action 3. 16:21:57 Christian SM: goal was to make people look at UC. 16:22:04 I suggest deadline extension 16:22:08 Perhaps reviewing the use cases should be a standing action on all 16:22:19 +1 for deadline extension 16:22:26 Chrisitan SM suggest extend deadline and send email all for informing of deadline extension. 16:22:28 +1 16:22:29 +1 for deadline extension 16:22:37 +1 16:22:41 +1 16:22:41 AxelPolleres has joined #RIF 16:22:44 +1 16:22:55 zakim, mute me 16:22:55 DonaldC should now be muted 16:23:11 q- 16:23:12 q+ to ask what happens about later feedback 16:24:12 +1 to sandro 16:24:31 sandro: what happens to feedback that's not in by the deadline? 16:24:37 Chris W. suggests deadline extended by another week every one asked to look at general use cases. 16:24:50 W3C process requires all comments received before the LC deadline for comments to be addressed before CR 16:24:59 csma: feedback not in by this deadline wont go into first working draft 16:25:12 Christian SM: feedback needed at latest next week if draft expected for next f2f. 16:25:32 Who is speaking? 16:25:41 cHRISw 16:25:43 (JeremyCarroll, I think we're a long way from talking about Last Call process) 16:26:00 q? 16:26:01 q? 16:26:04 ack sandro 16:26:04 sandro, you wanted to ask what happens about later feedback 16:26:20 (yes - but that seems to be the background to late comments can only be ignored after that LC deadline) 16:26:38 Chris W Decision: one more week to go over use cases and ensure we cover all use cases we want to mention in the first working draft. 16:27:03 next action: Ian to write scenario for Richt KR. 16:27:24 ???: something has been done. 16:27:38 +Axel_Polleres 16:27:50 Zakim, mute me 16:27:50 Axel_Polleres should now be muted 16:27:53 s/???/AllenGinsberg/ 16:27:56 Chris W: if someone has finished an action, eg on the wiki, please send message to chairs. 16:28:19 Chris W: new scenario by Christian for publication usecase. 16:28:46 Christian SM: there might be more than one use case here. Is being further discussed on the mailing list. 16:30:02 Christian SM: As I look for the substance ("scientific moelle" - Rabelais) of this UC, this reminds me of a discussion that maybe UC could be looked at from other viewpoints, or dimensions. I'll care for starting a discussion on that on the mailing list. 16:30:26 Chris W. "Interoperabilitybetween rule engines" Not yet done. 16:30:50 Leora: Decision Support detailed scenario action under progress. 16:30:54 q+ to comment on my action 16:30:57 dhirtle has joined #rif 16:31:07 François, correction, it is "substantific moelle" 16:31:21 Chris W: Allen and David about UC? 16:31:42 zakim, unmute me 16:31:42 Said_Tabet should no longer be muted 16:31:48 q? 16:31:51 Chris W: More UC issues to discuss? 16:32:21 zakim, mute me 16:32:21 Said_Tabet should now be muted 16:32:29 q+ to ask if human oriented rules are out of scope? 16:32:29 Allen or David: It is time to look at requirements. 16:33:00 Zakim, unmute me 16:33:00 DonaldC should no longer be muted 16:33:05 q? 16:33:12 zakim, unmute me 16:33:12 Said_Tabet should no longer be muted 16:33:20 q+ 16:33:31 Allen or David: New UC on ??? 16:33:39 ack paulaP 16:33:39 PaulaP, you wanted to comment on my action 16:33:39 zakim, mute me 16:33:41 Said_Tabet should now be muted 16:33:52 Paula: "my" action no fully done. Input from Benjamin missing. 16:34:00 q+ 16:34:06 zakim, unmute me 16:34:06 Said_Tabet should no longer be muted 16:34:22 Paula's action: detailed scenario for trust establishment (?) 16:34:39 zakim, mute me 16:34:39 Said_Tabet should now be muted 16:34:44 SAid offers to anser in lieu of Benjamin. 16:34:56 ack jeremy 16:34:57 JeremyCarroll, you wanted to ask if human oriented rules are out of scope? 16:35:36 Jeremy: human oriented rules out of scope? 16:35:36 q+ 16:35:51 +1 for out of scope 16:36:23 DonaldC: General Use Case on quality assurance. 16:37:01 q? 16:37:03 zakim, unmute me 16:37:03 Said_Tabet should no longer be muted 16:37:09 ack donald 16:37:11 ACTION: csma to ask ISO whether liaison is worthwhile for ISO IEC 16:37:11 Joint Task Force 1, SC 32, Working Group 2: Metadata Standards US 16:37:11 national body is ANSI L8 might be interesting for liaison. See 16:37:11 [http://metadata-standards.org/] [CONTINUED] 16:37:12 ack said 16:37:34 Said: continue discussion by email. Applications needed for standard being used. 16:37:41 zakim, mute me 16:37:41 Said_Tabet should now be muted 16:37:49 csma, you need to join broken lines on the action item for RRSAgent to get them right. 16:38:28 Christian SM: looking at publication use case, target is human and machine, RIF needed for being formal. 16:38:53 q+ 16:38:56 Christian SM: formal, ie unambigous and therefore machine processable. 16:38:59 ack csma 16:39:03 ack me 16:39:09 q+ 16:39:21 Christian SM: human oriented rules seem to me to mean "informal" or less formal. 16:39:40 ACTION: Allen to move the "importing rules to check data compliance" use 16:39:40 case to the general interchange use case 16:39:51 q+ 16:39:56 DonaldC: Use Case is not about human communication, and should not be. 16:40:42 ACTION: Said to start the discussion about a general use case for rule 16:40:42 systems that support business communication about rules & regulations on 16:40:42 the mailing list. 16:40:49 Ian: If people are using RIF that way, then it is fine. The same rule can be interpretated differently. 16:41:05 Ian: depending obn culture or legal situation, etc. 16:41:11 s/Ian/Allen 16:41:18 Thanks! 16:41:31 (I know it's tricky ;) 16:41:40 q+ 16:41:52 q+ 16:42:08 ack donald 16:42:26 DonaldC: It is not about human processing of rules, nor human communicating using rules. 16:42:50 DonaldC: It is aboput having organizations interchanging rules with semantics. 16:43:14 DonaldC: It is about interchanging between organization or rule systmes without loosing semantics. 16:43:14 ACTION: Christian to send an email to announce the one week deadline for reviewing edited general use cases. [CONTINUED] 16:43:54 Chris W: Interchange between rule systems with same or different meta-models? 16:44:08 ACTION: Ian Horrocks to write scenario for RichKR including ‘features’ [CONTINUED] 16:44:17 said's message starting this thread: 16:44:18 http://lists.w3.org/Archives/Public/public-rif-wg/2006Jan/0088.html 16:44:27 q? 16:44:37 Who speaks? 16:44:48 Ed, I believe 16:44:52 edbarkmeyer 16:44:56 EdwardBarkmeyer 16:45:15 MinsuJang has joined #rif 16:45:18 ACTION: Chris Welty will come up with another example narrative for a RichKR use case [CONTINUED] 16:45:35 DonaldC: 2 Use Cases. First, ??? 16:45:40 Q= 16:45:40 q+ 16:45:43 second: ??? 16:46:19 DonaldC, maybe you can clarify what you just said for the scribe, when you get the chance. 16:46:21 FrankMcCabe has joined #rif 16:46:25 q+ 16:46:33 Chris W: We have to make sure that we can exchange rules that have a formal semantics. Use Case must make clear that RIF only supports applications. 16:46:45 ACTION: Christian will propose another scenario for the publication use case [CONTINUED] 16:46:55 want to exchange rules that can be machine edited but not machine executed? 16:46:58 DonaldC:L Distinction needed: what is supported, what not. 16:46:58 q 16:47:02 ack ChrisW 16:47:20 Chris W: It should be a use case, not a requirement. 16:47:45 ACTION: Paul Vincent will do the detailed scenario for "Interoperability between rule engines" [CONTINUED] 16:47:53 Chris W: use of RIF for human oriented uses should not add requirements to RIF. 16:48:04 edbark has joined #rif 16:48:15 Chris W: Adding modality to rules for human communications. 16:48:39 q? 16:48:49 deontic operators may well show up in compliance handling 16:49:01 DonaldC: modal operators needed. 16:49:57 Christian SM: If there is such a requirement, it should be on interchanging rules specific to communication between humans. 16:50:22 DonaldC: REquirement must not be on the RIF. 16:50:25 ACTION: Frank will do the scenarios for information integration with Ed Barkmeyer assisting [CONTINUED] 16:50:29 Who is speaking? 16:50:39 allen 16:50:43 thanks. 16:50:47 I thought we were only talking about use cases at this point. Requirements analysis comes in next stage. 16:51:10 Zakim, q+ 16:51:10 I see csma, saidtabet, edbark on the speaker queue 16:51:16 use cases are about requirements, aren't they 16:51:17 Allen: Natural language might make sense for human communication. Maybe it is only about human understanding. 16:51:19 zakim, unmute me 16:51:19 Said_Tabet should no longer be muted 16:51:20 q- 16:51:25 ack said 16:51:37 q- 16:51:40 Said: we are not adding more requirements. 16:52:10 ACTION: Leora will do the Decision Support detailed scenario [CONTINUED] 16:52:27 q+ 16:52:35 zakim, mute me 16:52:35 DonaldC should now be muted 16:52:42 q- 16:52:47 q? 16:52:49 ack edba 16:52:50 zakim, mute me 16:52:50 Said_Tabet should now be muted 16:52:54 maybe this usecase strenghts some requirements 16:53:15 Harold's speaking? 16:53:17 maybe the use case is collaborative rule developement? 16:53:22 Ed Barkmeyer 16:54:02 q+ to note that we may *reject* this use case during review 16:54:20 Ed Barkmeyer: add something in front of FOL. There are rules that can bne used for ... 16:54:43 We may need support for indexicals 16:54:46 Ed Barkmeyer: ... rules for rule engines. 16:54:50 Collaborative rule devt is covered by the generalized use case nr 3 16:55:17 q? 16:55:24 Ed Barkmeyer: one issue is model. Another non-machine interpretable (rule?). 16:55:40 Mala has joined #rif 16:55:53 Harold: we should focus on UC before coming to requirements. Human-orientedness good for advertising. 16:56:05 Harold: We should wrk out this new use case. 16:56:09 q? 16:56:13 ack harold 16:56:17 ack jeremy 16:56:17 JeremyCarroll, you wanted to note that we may *reject* this use case during review 16:56:28 Francois: what I meant was "actual model of modals" 16:56:35 q+ 16:56:42 Jeremy: this use cazse might not go into working draft. 16:57:07 Jeremy: there are dividing opinions on this use case. 16:57:28 q+ 16:57:35 Chris W: no decision yet. We should not reject Use Case before we see it. 16:58:01 Chris W: We should understand what requirement this new use case would imply. 16:58:13 ack john 16:58:17 zakim,unmute me 16:58:17 John_Hall was not muted, johnhall 16:58:42 johnhall: We should discuss this use case /matter on email. 16:59:11 Chris W: agreed. 16:59:19 zakim,mute me 16:59:19 John_Hall should now be muted 16:59:30 ack csma 16:59:47 Christian SM: we do not want reject intersting use case. 17:00:05 zakim, mute me 17:00:05 Allen_Ginsberg should now be muted 17:00:11 Chris W: dcsion: authors write down this use case so as we understand it. 17:00:14 q- 17:00:26 Chris W: Issue OWL & RDF Compatibility. 17:00:57 Chris W: Email thread about semantics of RDF bnodes and relation to SPARQL. 17:01:04 zakim, who is on the phone? 17:01:04 On the phone I see Mike_Dean, Igor_Mozetic (muted), JeremyCarroll (muted), Guizhen_Yang, Ed_Barkmeyer (muted), +1.979.575.aacc, PaulVincent, Jos_De_Roo (muted), Evan_Wallace, 17:01:07 ... Michael_Kifer, Axel_Polleres (muted), FrancoisBry (muted), csma, Sandro, josb (muted), PaulaP (muted), holger (muted), BillAndersen (muted), Hassan_Ait-Kaci (muted), aharth, 17:01:11 ... Harold, MarkusK (muted), Deepali_Khushraj (muted), DonaldC (muted), MinsuJang (muted), Darko?, JeffPan (muted), Giorgos_Stamou (muted), Ugo_Corda, Deborah_Nichols (muted), 17:01:16 ... FrankMcCabe, hirtle (muted), ChrisW, Allen_Ginsberg (muted), Leora_Morgenstern, msintek (muted), Said_Tabet (muted), John_Hall (muted), Gary_Hallmark (muted) 17:01:41 q? 17:02:00 Christian SM: SPARQL and in general query languages on the query/body side seem to be genrally accepted. What about Query on the consequence side? 17:02:03 csma: I wonder if SPARQL doesn't give us a good Condition part of a rule 17:02:31 q? 17:02:37 q+ 17:02:52 zakim, who is on IRC? 17:02:52 I don't understand your question, sandro. 17:02:56 zakim, who is here? 17:02:56 On the phone I see Mike_Dean, Igor_Mozetic (muted), JeremyCarroll (muted), Guizhen_Yang, Ed_Barkmeyer (muted), +1.979.575.aacc, PaulVincent, Jos_De_Roo (muted), Evan_Wallace, 17:02:59 ... Michael_Kifer, Axel_Polleres (muted), FrancoisBry (muted), csma, Sandro, josb, PaulaP (muted), holger (muted), BillAndersen (muted), Hassan_Ait-Kaci (muted), aharth, Harold, 17:03:02 Christian SM: SPARQL query as body would be a good compatibility with RDF. Why not the same approach on the conclusion side? 17:03:03 ... MarkusK (muted), Deepali_Khushraj (muted), DonaldC (muted), MinsuJang (muted), Darko?, JeffPan (muted), Giorgos_Stamou (muted), Ugo_Corda, Deborah_Nichols (muted), FrankMcCabe, 17:03:07 ... hirtle (muted), ChrisW, Allen_Ginsberg (muted), Leora_Morgenstern, msintek (muted), Said_Tabet (muted), John_Hall (muted), Gary_Hallmark (muted) 17:03:10 On IRC I see Mala, edbark, FrankMcCabe, MinsuJang, hirtle, AxelPolleres, FrancoisBry, EvanWallace, kifer, JosDeRoo, JeremyCarroll, vassilis, GaryHallmark, johnhall, igor, Allen, 17:03:15 ... LeoraMorgenstern, msintek, saidtabet, Deborah_Nichols, ugo, JeffPan, aharth, ChrisW, Hassan, deepalik, GiorgosStamou, Harold, DonaldC, BillAndersen, josb, MarkusK, Zakim, 17:03:19 ... RRSAgent, sandro, PaulaP, holger, csma, Darko, mdean 17:03:44 ack me 17:03:51 ack josb 17:03:54 Christian SM: If we use query languages as a mean to ensure compatibilty on the query side, why not a;so on the conclusion side? 17:04:20 josb: This would an rule extension of a query language. Like eg Datalog. 17:04:48 q+ 17:05:04 q+ 17:05:17 Christian SM: I am not proposing to extend SPARQL. 17:05:22 q- 17:05:44 Allen?: Conclusion is something else than an query. 17:06:04 s/Allen?/josb 17:06:12 ack francois 17:06:13 ack francoi 17:06:41 Zakim, q+ 17:06:41 I see Harold, edbark on the speaker queue 17:07:16 -Igor_Mozetic 17:07:36 +1 do not extend query language 17:07:45 [Who said they were +1.979.575.aacc ? ] 17:07:52 menzel 17:08:12 +Igor_Mozetic 17:08:14 Zakim, aacc is ChrisMenzel 17:08:14 +ChrisMenzel; got it 17:08:28 zakim, who is here? 17:08:28 On the phone I see Mike_Dean, JeremyCarroll (muted), Guizhen_Yang, Ed_Barkmeyer (muted), ChrisMenzel, PaulVincent, Jos_De_Roo (muted), Evan_Wallace, Michael_Kifer, Axel_Polleres 17:08:28 zakim, mute me 17:08:31 ... (muted), Igor_Mozetic, FrancoisBry, csma, Sandro, josb (muted), PaulaP (muted), holger (muted), BillAndersen (muted), Hassan_Ait-Kaci (muted), aharth, Harold, MarkusK (muted), 17:08:36 ... Deepali_Khushraj (muted), DonaldC (muted), MinsuJang (muted), Darko?, JeffPan (muted), Giorgos_Stamou (muted), Ugo_Corda, Deborah_Nichols (muted), FrankMcCabe, hirtle (muted), 17:08:40 ... ChrisW, Allen_Ginsberg (muted), Leora_Morgenstern, msintek (muted), Said_Tabet (muted), John_Hall (muted), Gary_Hallmark (muted) 17:08:43 On IRC I see Mala, edbark, FrankMcCabe, MinsuJang, hirtle, AxelPolleres, FrancoisBry, EvanWallace, kifer, JosDeRoo, JeremyCarroll, vassilis, GaryHallmark, johnhall, igor, Allen, 17:08:43 Zakim, unmute Jos_De_Roo 17:08:45 +1 do not extend QL, my point was to start the discussion on the conclusion side, knowing that queries can be used on the condition side 17:08:46 q+ 17:08:47 ... LeoraMorgenstern, msintek, saidtabet, Deborah_Nichols, ugo, JeffPan, aharth, ChrisW, Hassan, deepalik, GiorgosStamou, Harold, DonaldC, BillAndersen, josb, MarkusK, Zakim, 17:08:53 ... RRSAgent, sandro, PaulaP, holger, csma, Darko, mdean 17:08:54 Igor_Mozetic should now be muted 17:08:56 Jos_De_Roo should no longer be muted 17:08:56 Oracle found that a subset of SQL is useful in ECA rules 17:08:58 q? 17:09:20 Harold: in rule bodies queries from different languages thru procedural arttachement desirable. 17:09:26 SWRL allows queries in rules???? 17:09:37 Harold: this can be donme using templates. 17:09:46 q? 17:09:47 Harold: eg SPARQL templates. 17:09:51 ack harold 17:09:53 kifer has joined #rif 17:09:55 ack ed 17:10:22 no 17:10:34 edbark: my concern is that interpreting RDF like SPARQL does. 17:10:52 SPARQL does not adhere to RDF semantics 17:10:53 edbark: conclusions in rule headsmight not be compatible with RDF model. 17:11:15 hmmm, if we allow SPARQL (or any other query language) in the body and the query is recursively dependent on the rule consequent... we are gonna run into some issues 17:11:25 edbark: merginmg RDF facts with rule engine facts will yield interesting quertions on what the interpretation migft be. 17:11:32 ack jos 17:11:48 csma has left #rif 17:11:58 +q 17:12:00 -csma 17:12:06 kifer, you mean "q+" 17:12:13 q+ 17:12:14 Jos: being member of SPARQL WG: SPARQL query is noly filter. Therefore can be used in rule bodies. We do not see any issue at all if looking at SPARQL as filter rule. 17:12:36 -Michael_Kifer 17:12:37 -Igor_Mozetic 17:12:41 ack kifer 17:12:48 Chris W: How to handle, meaning of query language in consequences unclear. 17:12:54 he is offline? 17:12:55 Michael just disconnected 17:13:02 seems we lost him 17:13:17 +Igor_Mozetic 17:13:25 zakim, mute me 17:13:25 Igor_Mozetic should now be muted 17:13:26 Chris W: Further comments on that point? 17:13:39 Chris W: Bnode semantics? 17:13:58 we cannot resolve it yet 17:14:12 +Michael_Kifer 17:14:14 Chris W: Email exhange look like it has come to a resolution. Anyone to write down on that? 17:14:43 Besides the antecedent and an ordinary consequent, there may also be an equality consequent, where the equation right-hand side could be the template of SPARQL. 17:14:45 Michael_Kifer: We cannot make any clear decision wrt semantics. We can write down in rthe wik what the issues/problems are. 17:14:55 q+ 17:15:02 Michael_Kifer: Otherwise we would copmmit the RIF. 17:15:06 Can we have e-mail to notify us after wiki update 17:15:15 s/Michael_Kifer/JosDeBrujin 17:15:20 Michale will write in wiki issues related to bnode semantics. 17:15:39 q+ 17:16:15 josb will update wiki page on bnode semantics. 17:16:20 q- 17:16:55 josb: Comment on SPARQL: seems to also disregard bnodes. 17:17:19 Chris W: Volunteer to write about bnode/SPARQL? 17:18:01 josb: will report on what is going on in SPARQL concerning bnodes. 17:18:21 zakim, mute me 17:18:21 sorry, kifer, I do not see a party named 'kifer' 17:18:25 Francois, that was JosDeRoo, not me 17:18:27 Chrisitan SM: Enrico is also in SPARQL WG and copuld/should also report on node issue. 17:18:35 kifer is MichaelKifer 17:19:10 Two Joses: They type themselves what thir actions arfe! RThanks!!! 17:19:30 ACTION: create a wiki page explaining the issue with bNode semantics and summarize the possible solutions which have come up during the discussions on the mailing list 17:19:46 (was action for josb) 17:19:50 http://www.w3.org/2005/rules/wg/wiki/Rulesystem_Arrangement_Framework 17:19:52 s/ACTION:/ACTION: JosB/ 17:20:04 (not sure if that'll work) 17:20:26 q+ 17:20:28 Chris W: AOB. 17:20:36 zakim, unmurte me 17:20:36 I don't understand 'unmurte me', DonaldC 17:20:37 q? 17:20:43 zakim, unmute me 17:20:43 DonaldC should no longer be muted 17:21:08 ACTION: JosDeRoo to update RIF wrt SPARQL rdfSemantics issue and its pending resolution 17:21:20 ACTION: JosDeBruijn create a wiki page explaining the issue with bNode semantics and summarize the possible solutions which have come up during the discussions on the mailing list 17:21:26 rrsagent, drop action 12 17:21:31 DonaldC: action Christian was going to do about OWL/RDF compatibility discussions. What to do with rules based on two meta-models? 17:22:50 +1 17:22:50 -Evan_Wallace 17:22:52 +1 17:22:54 -Michael_Kifer 17:23:01 thank you all! Bye 17:23:01 -ChrisMenzel 17:23:03 -aharth 17:23:03 -Igor_Mozetic 17:23:04 -John_Hall 17:23:04 -FrankMcCabe 17:23:05 -Deepali_Khushraj 17:23:06 -Jos_De_Roo 17:23:07 ugo has left #rif 17:23:07 -Ugo_Corda 17:23:09 -Harold 17:23:10 -msintek 17:23:12 -JeffPan 17:23:13 DonaldC: If meta-models are different, you cannot exchange the rules. We need use case stating what to do with different meta-models. 17:23:14 -hirtle 17:23:14 -Darko 17:23:16 -Hassan_Ait-Kaci 17:23:18 -ChrisW 17:23:20 -Gary_Hallmark 17:23:21 hirtle has left #rif 17:23:22 -DonaldC 17:23:24 -JeremyCarroll 17:23:26 -holger 17:23:26 msintek has left #rif 17:23:28 -Said_Tabet 17:23:30 -PaulVincent 17:23:32 -Mike_Dean 17:23:34 -Axel_Polleres 17:23:34 BillAndersen has left #rif 17:23:36 -Ed_Barkmeyer 17:23:38 -PaulaP 17:23:40 -Giorgos_Stamou 17:23:42 -Leora_Morgenstern 17:23:44 -josb 17:23:46 -MarkusK 17:23:48 -Allen_Ginsberg 17:23:50 -MinsuJang 17:23:52 -BillAndersen 17:23:56 zakim, who is on the phone? 17:23:56 On the phone I see Guizhen_Yang, FrancoisBry (muted), Sandro, Darko?, Deborah_Nichols (muted) 17:24:04 -Darko? 17:24:23 -Darko? 17:24:25 Action: Donald will submit an email about the use case for interchanging rules specified in different metamodels 17:24:46 -FrancoisBry 17:25:08 -Deborah_Nichols 17:25:34 q- 17:26:28 Zakim, Guizhen_Yang is MalaMehrotra 17:26:28 QUESTION to Chris W and Christian SM: What should I do more as sctibe? 17:26:28 +MalaMehrotra; got it 17:26:35 q- 17:28:37 MichaelKifer has joined #rif 17:30:57 zakim, who is on the phone? 17:30:57 On the phone I see MalaMehrotra, Sandro 17:33:01 RRSAgent, make minutes 17:33:01 I have made the request to generate http://www.w3.org/2006/01/24-rif-minutes.html sandro 17:34:10 RRSAgent, pointer? 17:34:10 See http://www.w3.org/2006/01/24-rif-irc#T17-34-10 17:35:22 http://www.w3.org/2000/09/dbwg/details?group=38457 17:35:57 editors: David Hirtle , Allen Ginsberg 17:39:06 http://www.w3.org/2005/rules/wg/wiki/F2F1 17:40:39 http://www.w3.org/2005/rules/wg_f2f_1_participants.html 17:41:06 http://www.w3.org/2005/rules/wg_f2f_1_participants.html 17:42:18 -Sandro 17:42:19 -MalaMehrotra 17:42:19 SW_RIF()11:00AM has ended 17:42:20 Attendees were FrancoisBry, csma, Sandro, josb, PaulaP, holger, Hassan_Ait-Kaci, BillAndersen, Deepali_Khushraj, MarkusK, Harold, DonaldC, MinsuJang, +43.512.507.9aabb, JeffPan, 17:42:24 ... Giorgos_Stamou, Ugo_Corda, Deborah_Nichols, FrankMcCabe, ChrisW, hirtle, Allen_Ginsberg, Darko?, Leora_Morgenstern, aharth, Said_Tabet, John_Hall, msintek, Gary_Hallmark, 17:42:29 ... Mike_Dean, Igor_Mozetic, JeremyCarroll, Ed_Barkmeyer, +1.979.575.aacc, Jos_De_Roo, Evan_Wallace, PaulVincent, Michael_Kifer, Axel_Polleres, ChrisMenzel, MalaMehrotra 17:45:05 Present: Allen_Ginsberg Andreas_Harth BillAndersen ChrisW David_Hirtle Deborah_Nichols Deepali_Khushraj DonaldC Ed_Barkmeyer Evan_Wallace FrancoisBry FrankMcCabe GaryHallmark GiorgosStamou Harold Hassan_Ait-Kaci Igor_Mozetic JeffPan JeremyCarroll John_Hall JosDeRoo LeoraMorgenstern MarkusK Michael_Kifer Michael_Sintek Mike_Dean MinsuJang PaulaP Said_Tabet Ugo_Corda csma deepalik holgerJosDeBruijn sandro vassilis 17:45:12 rrsagent, make minutes 17:45:12 I have made the request to generate http://www.w3.org/2006/01/24-rif-minutes.html sandro 19:57:02 Zakim has left #rif