14:38:47 RRSAgent has joined #rif 14:38:47 logging to http://www.w3.org/2006/04/25-rif-irc 14:45:51 sandro has joined #rif 14:46:07 zakim, what is the code? 14:46:07 the conference code is 74394 (tel:+1.617.761.6200), sandro 14:46:20 rrsagent, make minutes 14:46:20 I have made the request to generate http://www.w3.org/2006/04/25-rif-minutes.html sandro 14:46:33 rrsagent, make record public 14:49:37 Harold has joined #rif 14:51:26 Francois has joined #rif 14:51:37 14:52:31 Hello, Francois. 14:53:50 SW_RIF()11:00AM has now started 14:53:57 +??P2 14:54:14 PhilippeB has joined #rif 14:54:58 +MoZ 14:55:24 Zakim, who is on the phone ? 14:55:24 On the phone I see ??P2, MoZ 14:55:31 +??P19 14:55:34 +Philippe_Bonnard (was ??P19) 14:55:45 Zakim, mute me 14:55:45 Philippe_Bonnard should now be muted 14:56:07 +Sandro 14:56:12 sandro, hello sandro. 14:56:23 LeoraMorgenstern has joined #rif 14:56:28 Allen has joined #rif 14:57:01 +[IBM] 14:57:04 patranja has joined #rif 14:57:14 +Leora_Morgenstern 14:57:14 Hassan has joined #rif 14:57:19 zakim, [ibm] is temporarily me 14:57:19 +ChrisW; got it 14:57:31 zakim, who is on the phone? 14:57:31 On the phone I see Francois, MoZ, Philippe_Bonnard (muted), Sandro, ChrisW, Leora_Morgenstern 14:57:33 MichaelKifer has joined #rif 14:57:34 zakim, mute me 14:57:34 Leora_Morgenstern should now be muted 14:57:46 Zakim: mute me 14:57:51 +Hassan_Ait-Kaci 14:58:02 Zakim, mute me 14:58:02 MoZ should now be muted 14:58:32 Deborah_Nichols has joined #rif 14:58:43 +Michael_Kifer 14:58:44 MarkusK has joined #rif 14:58:44 +[NRCC] 14:58:50 zakim mute me 14:59:03 +Deborah_Nichols 14:59:06 zakim, [NRCC] is me 14:59:06 +Harold; got it 14:59:22 +PaulaP 14:59:25 DaveReynolds has joined #rif 14:59:25 +Allen_Ginsberg 14:59:35 zakim, mute me 14:59:35 Allen_Ginsberg should now be muted 14:59:38 scribenick: MichaelKifer 14:59:46 zakim, mute me. 14:59:46 Francois should now be muted 14:59:58 +Jos_de_Bruijn 15:00:03 jos has joined #rif 15:00:10 +Dave_Reynolds (was Guest P28 74394) 15:00:11 +Dave_Reynolds 15:00:21 AxelPolleres has joined #rif 15:00:42 +[IPcaller] 15:00:45 DavidHirtle has joined #rif 15:01:31 +[IPcaller] 15:01:37 Zakim, who is making noise? 15:01:41 zakim, IPcaller is me 15:01:42 +AxelPolleres; got it 15:01:47 MoZ, listening for 10 seconds I heard sound from the following: josb (10%) 15:01:49 Zakim, mute me 15:01:52 AxelPolleres should now be muted 15:02:08 pfps has joined #rif 15:02:16 +??P33 15:02:24 zakim, ??p33 is pfps 15:02:24 +pfps; got it 15:02:36 Uli has joined #rif 15:02:55 +David_Hirtle 15:03:02 http://lists.w3.org/Archives/Public/public-rif-wg/2006Apr/att-0093/rif-scriberei.html 15:03:42 April 11 minutes have been accepted as true record 15:03:45 http://lists.w3.org/Archives/Public/public-rif-wg/2006Apr/att-0054/18-rif-minutes.html 15:03:53 +??P38 15:04:06 zakim, who is on the phone? 15:04:06 On the phone I see Francois (muted), MoZ (muted), Philippe_Bonnard (muted), Sandro, ChrisW, Leora_Morgenstern (muted), Hassan_Ait-Kaci (muted), Michael_Kifer, Harold, 15:04:10 zakim,nmute me 15:04:10 ... Deborah_Nichols (muted), PaulaP (muted), Allen_Ginsberg (muted), josb (muted), Dave_Reynolds (muted), MarkusK (muted), AxelPolleres (muted), pfps, DavidHirtle (muted), ??P38 15:04:16 I don't understand 'nmute me', PhilippeB 15:04:18 zakim, unmute me 15:04:20 Philippe_Bonnard should no longer be muted 15:04:42 zakim, who is talking? 15:04:53 sandro, listening for 10 seconds I heard sound from the following: Philippe_Bonnard (67%) 15:05:00 zakim, who is talking? 15:05:11 sandro, listening for 10 seconds I heard sound from the following: Philippe_Bonnard (61%), ChrisW (29%) 15:05:16 Minutes for April 18 need to be edited futher by Philippe_Bonnard 15:05:18 ACTION: PhillipeB to clean up minutes from April 18 15:05:37 there is an echo 15:05:49 Zakim, mute me 15:05:51 zakim, P38 may be me 15:05:52 Philippe_Bonnard should now be muted 15:05:56 sorry, Uli, I do not understand your question 15:06:27 zakim, ??P38 is probably Uli 15:06:27 +Uli?; got it 15:07:45 JosDeRoo has joined #rif 15:07:49 q+ 15:07:54 [DONE] ACTION: Sandro to set up registration page for F2F3 15:08:09 [DONE] ACTION: Public membership list needs to be extended to include Alex 15:08:12 http://www.w3.org/2002/09/wbs/38457/f2f3reg/ 15:08:27 http://www.w3.org/2002/09/wbs/38457/f2f3reg/ 15:08:48 +Jos_De_Roo 15:08:59 csma has joined #rif 15:09:06 MalaMehrotra has joined #rif 15:09:40 +Mala_Mehrotra 15:10:20 +Christian 15:10:52 zakim, Christian is me 15:10:52 +csma; got it 15:11:05 zakim, mute me 15:11:05 Jos_De_Roo should now be muted 15:11:19 ppl should register to attend the F2F3 and to get transportation 15:12:58 yes 15:12:58 ACTION: Paula to check on phone-call-in capability, and if we'll have a speaker phone, and network at f2f3? [DONE] 15:12:59 sandro will set up a straw poll to decide the location/time of F2F4 15:13:23 ok 15:13:43 zakim. unmute me 15:13:45 ACTION: Sandro set up straw-poll on F2F4 (MITRE - 3 different dates - and Peter/ISWC) [recorded in http://www.w3.org/2006/04/18-rif-minutes.html#action04] [CONTINUED] 15:13:54 ack josdero 15:14:08 JeffP has joined #rif 15:14:26 zakim, who is speaking. 15:14:26 I don't understand 'who is speaking', Francois 15:14:38 jos de roo is speaking 15:14:58 zakim, unmute me 15:14:58 csma should no longer be muted 15:15:19 ChrisW: Need a liason to SPARQL. Leave Enrico as the liason 15:16:48 Haley 15:16:49 Haley 15:17:09 +JeffP 15:17:27 http://home.businesswire.com/portal/site/google/index.jsp?ndmViewId=news_view&newsId=20060418005368&newsLang=en 15:17:44 http://www.computerwire.com/industries/research/?pid=E64311AB-B294-4F5A-A355-22EA0C08EA0A 15:17:45 csma: nothing new as far as PRR, but Haley has released a new production language HRML (Haley Rule Markup Language) 15:18:35 +Gary_Hallmark 15:18:53 http://xml.coverpages.org/ORMML-coopis02.pdf 15:20:09 http://www.haley.com/0422488215392258/newsevents/PressRelease_JSR94_Release_Final_200604.html 15:20:53 zakim, unmute me 15:20:53 Leora_Morgenstern should no longer be muted 15:21:00 q+ 15:21:08 q- 15:21:16 csma: no news as far as SBVR, ODM are concerned. Maybe a new co-chair. 15:21:17 ACTION: Francois write up what he's saying on the DesignConstraints page 15:21:18 See message and ensuing thread: http://lists.w3.org/Archives/Public/public-rif-wg/2006Apr/0053.html 15:21:24 zakim, mute me 15:21:24 Leora_Morgenstern should now be muted 15:21:24 ACTION: Francois write up what he's saying on the DesignConstraints page 15:21:25 See message and ensuing thread: http://lists.w3.org/Archives/Public/public-rif-wg/2006Apr/0053.html 15:21:34 ACTION: Francois write up what he's saying on the DesignConstraints page 15:21:35 See message and ensuing thread: http://lists.w3.org/Archives/Public/public-rif-wg/2006Apr/0053.html 15:21:46 GaryHallmark has joined #rif 15:22:26 ACTION: Leora to set up draft proposal on what we mean by FOL [recorded in http://www.w3.org/2006/04/18-rif-minutes.html#action02] [CONTINUED] 15:22:30 StanDevitt has joined #rif 15:22:41 ACTION: Leora to Write up CSF for FOL [recorded in http://www.w3.org/2006/04/18-rif-minutes.html#action03] 15:22:42 [CONTINUED] 15:23:02 [DONE] ACTION: Francois write up what he's saying on the DesignConstraints page 15:23:10 ACTION: Sandro and Igor to find a name+definition for the 15:23:11 "pure prolog" requirement that does not mention "pure prolog" [recorded 15:23:11 in http://www.w3.org/2006/04/11-rif-minutes.html#action10] 15:23:16 [CONTINUED] 15:23:26 http://www.w3.org/2005/rules/wg/wiki/2006-04-25_Meeting 15:25:03 ACTION: Sandro to discuss on email whether the "pure prolog" requirement can be replaced by a "horn logic" requirement or if we need both [CONTINUED] 15:25:41 [DROPPED] ACTION: Frank will produce an initial diagram with existing constraints 15:25:43 PaulV has joined #rif 15:25:50 ACTION: Frank will produce an initial diagram with existing constraints [DROPPED] 15:26:16 ACTION: sandro to clarify meaning of sound and what is the requirement on RIF [CONTINUED] 15:26:33 +[IPcaller] 15:26:34 ACTION: Sandro to clarify whether sound reasoning constraint with unknown dialects is a requirement or a critical success factor [CONTINUED] 15:27:49 +[IPcaller] 15:28:50 johnhall has joined #rif 15:30:13 http://www.w3.org/2005/rules/wg/wiki/RIF_must_define_for_all_RIF_elements_a_default_behaviour_for_compliant_applications_that_do_not_know_how_to_process_it 15:31:41 Chris: requirement that RIF must be able to pass on pieces of XML that it dosnt understand. 15:33:36 q+ 15:33:54 How does this differ from having a default behavior for compliant applications that do understand how to do it? 15:34:13 +[IPcaller] 15:35:06 zakim, IPcaller is me 15:35:06 +johnhall; got it 15:35:13 zakim, mute me 15:35:13 johnhall should now be muted 15:35:22 csma: RIF should be able to describe what to do with pieces that it does not understand 15:35:33 no, 15:35:34 ack leora 15:35:35 q? 15:35:38 that was just leftover 15:35:43 ack leora 15:35:47 ack pfps 15:35:52 ack pfps 15:35:54 zakim, mute me 15:35:54 Leora_Morgenstern should now be muted 15:35:57 -StanDevitt 15:36:30 pfps: [to csma] should every rule set come with a spec of the default action? 15:37:15 q+ 15:37:35 [procedural item] looks like Zakim cannot handle >1 IPCaller :) - I see myself, StanDevitt and John Hall registering IPCaller 15:38:04 q+ 15:38:20 zakim, who is on the phone? 15:38:20 On the phone I see Francois (muted), MoZ (muted), Philippe_Bonnard (muted), Sandro, ChrisW, Leora_Morgenstern (muted), Hassan_Ait-Kaci, Michael_Kifer, Harold, Deborah_Nichols 15:38:24 ... (muted), PaulaP (muted), Allen_Ginsberg (muted), josb (muted), Dave_Reynolds (muted), MarkusK (muted), AxelPolleres (muted), pfps, DavidHirtle (muted), Uli? (muted), Jos_De_Roo 15:38:27 ... (muted), Mala_Mehrotra, csma, JeffP, Gary_Hallmark, PaulV, johnhall (muted) 15:38:46 looks ok to me 15:39:07 q? 15:39:16 csma: the producer should be able to state what should RIF do with unsupported features (eg, ignore them) 15:39:47 ack hassan 15:41:27 StanDevitt has joined #rif 15:41:34 Hasan: These actions must be tied into the semantics 15:42:17 +[IPcaller] 15:42:45 Hasan: should look closer at the RIF condition language proposal in conjunction with csma's requirement 15:43:50 csms: believes that handling unknown features can be done independent of any semantics 15:44:13 we are just having a fire alarm warning, so might have to run off and leave the building 15:44:21 q+ 15:45:18 ack uli 15:45:39 Hasan: csms's requirement is supported by the RIF condition language proposal 15:46:40 q+ 15:46:47 q- 15:47:21 +1 to Chris' comment on the independence requirements - architecture 15:50:11 q+ 15:50:42 csma: the consumer should be able to decide if parts of the ruleset are not understood; but csma agrees that this may be too simplistic 15:52:23 q? 15:52:35 -Philippe_Bonnard 15:52:35 ACTION: csma to modify compliance reqs to make it more like a req 15:52:51 ACTION: csma will modify the requirement to clarify it 15:55:06 ack gary 15:55:31 rrsagent, drop item 15 15:55:31 I'm logging. I don't understand 'drop item 15', ChrisW. Try /msg RRSAgent help 15:56:44 q+ 15:58:27 rrsagent, drop action 15 15:58:49 zakim, ack paula 15:58:49 I see Uli on the speaker queue 16:00:42 What I am hearing is that the producer may "prefer" that priorty be used if present, but that it is not necessary. 16:00:49 #rif 16:00:57 Gary: can all the burden be on the translator and keep the RIF clean? 16:01:25 csma: an example of a use of my requirement is rules with certainty factors; these maybe omitted if these factors do not affect the semantics [editor's note: this is rarely the case] 16:01:26 ack uli 16:01:42 Gary: for example, instead of tagging priority as optional, just don't use priority in rulesets for maximum interoperability 16:02:01 StanDevitt has joined #rif 16:02:51 What I am hearing is that the author can specify a priority list of interpretations. 16:02:58 Chris: you are describing a taxonmy of semantics 16:03:20 Priorities among rules do affect the semantics in most cases -- this is like the case statement 16:03:28 e.g. Use priority if it is available, but otherwise use non-prioirty. 16:03:34 the "RIF RAF" was supposed to be doing that 16:03:35 The taxonomy is the basis that may be extended - this what Uli is saying as well 16:03:43 yes, i think so 16:04:11 +1 to what Uli is saying!!! 16:04:31 so a lattice instead of a hierarchy 16:05:13 The analogy is like a list of fonts to choose from in CSS - the author having preferences, but being happy with any choice. 16:05:17 any partial order may be extended to a boolean lattice using disjunctions 16:06:15 Uli: the extensibility mechanism should be handled at the level of taxonomies of dialects (similar point as Hasan's) 16:08:10 q? 16:08:31 ACTION:csma to clarify use of terms like 'consumer', producer, translator etc 16:08:36 http://lists.w3.org/Archives/Public/public-rif-wg/2006Apr/0068.html 16:08:54 MalaMehrotra has joined #rif 16:09:51 Discussion of the extensibility mechanism based on the "RIF Condition Language" 16:10:12 Michael: I agree that we can have such a "seed" mechanism, but then this could be even extended, according to the needs 16:13:49 MalaMehrotra has joined #rif 16:14:44 +csma.a 16:15:04 q+ 16:17:50 ack uli 16:18:12 -csma 16:20:53 +1 to Harold: we need to cater for different ways of integration with ontologies 16:21:07 Harold gave an overview of the approach based on conditions 16:21:13 q+ 16:21:57 q+ 16:22:11 What is the paper's reference mentioned by Michael? Pointers? 16:22:18 csma: how do we access Java objects, not just ontologies? 16:23:15 q+ 16:23:20 ack stan 16:23:49 Harold, 'Forall' is used but not defined, have I miss something ? 16:23:57 +1 ! thanks to Harold & Michael and whoever else worked on this 16:24:40 Hasan, this is a paper, which will appear in KR2006. He sent me a private copy. I can ask him if I can share this or u can ask him for a copy: rosati at dis.uniroma1.it 16:25:36 The KR papers will be available on the web in a few days 16:26:03 Thanks Michael - I will ask him. 16:26:58 for extensibility we can define instead of 16:28:00 StanDevitt: adding features to a language interferes with extensibility because this requires that we change XML Schema 16:28:11 MoZ, the basis is Horn -- universal quantification (Forall) is referred to as a later extension 16:28:30 AxelPolleres has left #rif 16:28:32 DavidHirtle, thanks 16:28:46 q? 16:28:51 AxelPolleres has joined #rif 16:29:04 Harold, csma, others: the schema extensibility issue can be solved by inheritance or substitution groups 16:29:13 ack pfps 16:30:00 +1 with Peter - I think 16:30:02 -Francois 16:30:06 ack me 16:30:43 SaidTabet has joined #RIF 16:31:01 +1 with Peter: some (extended) languages might have unnamed individuals, especially when considering extension to FOL 16:31:21 pfps: concern that the semantics of "RIF Cond Lang" is based on binding variables to named objects -- this is not a general model-theoretic semantics 16:31:23 Substitutions are just constraints over Herbrands Trees 16:32:17 Discussion of the F2F4 straw poll 16:33:34 sandro: why should the poll count individual rather than individuals? Because we want organizations to be represented, not just individuals 16:33:43 -Harold 16:33:45 bye 16:33:47 Uli has left #rif 16:33:58 end-of-meeting 16:33:59 -Hassan_Ait-Kaci 16:34:01 -josb 16:34:01 -PaulV 16:34:01 bye 16:34:02 -Deborah_Nichols 16:34:03 -Jos_De_Roo 16:34:04 -Gary_Hallmark 16:34:04 bye 16:34:05 -johnhall 16:34:06 -Dave_Reynolds 16:34:08 -PaulaP 16:34:10 rrsagent, make minutes 16:34:10 I have made the request to generate http://www.w3.org/2006/04/25-rif-minutes.html sandro 16:34:13 -MoZ 16:34:15 -JeffP 16:34:16 -Leora_Morgenstern 16:34:18 -Allen_Ginsberg 16:34:19 bye 16:34:23 -DavidHirtle 16:34:24 -AxelPolleres 16:34:33 PaulaP has left #rif 16:34:37 -StanDevitt 16:34:57 bye 16:35:12 -Mala_Mehrotra 16:35:43 -Uli? 16:35:51 -Michael_Kifer 16:35:56 -MarkusK 16:35:57 -pfps 16:36:02 zakim, who is bon the call? 16:36:02 I don't understand your question, csma. 16:36:16 zakim, who is on the call? 16:36:16 On the phone I see Sandro, ChrisW, csma.a 16:39:20 -Sandro 16:39:22 -ChrisW 16:39:24 -csma.a 16:39:25 SW_RIF()11:00AM has ended 16:39:26 Attendees were MoZ, Philippe_Bonnard, Francois, Sandro, Leora_Morgenstern, ChrisW, Hassan_Ait-Kaci, Michael_Kifer, Deborah_Nichols, Harold, PaulaP, Allen_Ginsberg, Dave_Reynolds, 16:39:31 ... josb, MarkusK, AxelPolleres, pfps, DavidHirtle, Uli?, Jos_De_Roo, Mala_Mehrotra, csma, JeffP, Gary_Hallmark, PaulV, StanDevitt, johnhall 17:01:20 Harold has left #rif 18:38:48 Zakim has left #rif