14:09:11 RRSAgent has joined #rif 14:09:13 logging to http://www.w3.org/2007/03/13-rif-irc 14:09:23 zakim, this will be rif 14:09:23 ok, ChrisW; I see SW_RIF()11:00AM scheduled to start in 51 minutes 14:09:39 Meeting: RIF Telecon 13 Mar 07 14:09:50 Chair: Christian de Sainte-Marie 14:13:01 Agenda: http://lists.w3.org/Archives/Public/public-rif-wg/2007Mar/0030.html 14:13:16 ChrisW has changed the topic to: 13 Mat RIF agenda: http://lists.w3.org/Archives/Public/public-rif-wg/2007Mar/0030.html 14:14:33 zakim, list agenda 14:14:33 I see 6 items remaining on the agenda: 14:14:35 3. Liason [from ChrisW] 14:14:36 4. F2F5 Debrief [from ChrisW] 14:14:38 5. CORE [from ChrisW] 14:14:41 zakim, clear agenda 14:14:42 6. UCR [from ChrisW] 14:14:43 7. RIFRAF [from ChrisW] 14:14:44 8. AOB [from ChrisW] 14:14:45 agenda cleared 14:14:51 agenda+ Admin 14:14:59 agenda+ F2F 14:15:09 agenda+ Technical Design 14:15:16 agenda+ UCR 14:15:20 agenda+ RIFRAF 14:15:26 agenda+ AOB 14:15:33 rrsagent, make minutes 14:15:33 I have made the request to generate http://www.w3.org/2007/03/13-rif-minutes.html ChrisW 14:32:48 rrsagent, make logs public 14:44:36 Chair: Chris Welty 14:53:11 DavidHirtle has joined #rif 14:55:54 patranja has joined #rif 14:56:27 sandro has joined #rif 14:59:04 Hassan has joined #rif 14:59:09 Deborah_Nichols has joined #rif 14:59:17 SW_RIF()11:00AM has now started 14:59:20 DaveReynolds has joined #rif 14:59:24 +[IBM] 14:59:28 Harold has joined #rif 14:59:33 zakim, ibm is temporarily me 14:59:33 +ChrisW; got it 14:59:40 IgorMozetic has joined #rif 14:59:48 +Deborah_Nichols 15:00:06 +??P42 15:00:08 +Dave_Reynolds (was ??P42) 15:00:19 +Hassan_Ait-Kaci 15:00:30 josb has joined #rif 15:00:35 LeoraMorgenstern has joined #rif 15:00:52 + +39.047.101.aaaa 15:00:57 +[NRCC] 15:01:04 +PaulaP 15:01:05 AllenGinsberg has joined #rif 15:01:11 Zakim, [NRCC] is me 15:01:12 +Harold; got it 15:01:17 AxelPolleres has joined #rif 15:01:49 +Allen_Ginsberg 15:02:08 zakim, mute me 15:02:25 Allen_Ginsberg should now be muted 15:02:37 +Axel_Polleres 15:02:37 zakim, take up next item 15:02:37 agendum 1. "Admin" taken up [from ChrisW] 15:02:47 PaulVincent has joined #rif 15:03:10 zakim, who is on the phone? 15:03:13 On the phone I see ChrisW, Deborah_Nichols (muted), Dave_Reynolds, Hassan_Ait-Kaci (muted), josb (muted), Harold, PaulaP (muted), Allen_Ginsberg (muted), Axel_Polleres (muted) 15:03:14 +Leora_Morgenstern 15:03:23 +Sandro 15:04:03 +??P60 15:04:27 +[IPcaller] 15:04:30 +[IPcaller.a] 15:04:44 zakim, IPcaller is me 15:04:44 +IgorMozetic; got it 15:04:46 agiurca has joined #rif 15:04:57 yes 15:05:04 scribenick: PaulaP 15:05:19 Igor, I think I'm pretty sure I'm IPcaller... could you do 41#? 15:05:34 http://lists.w3.org/Archives/Public/public-rif-wg/2007Mar/att-0012/06-rif-minutes.html 15:05:36 ChrisW: minutes of last week 15:05:45 +agiurca 15:05:47 yes, you're IPcaller.a, not IPcaller. :) 15:05:53 David, aren't you IPcaller.a 15:05:53 ChrisW: any objections to the minutes? 15:05:54 zakim, mute me 15:05:55 agiurca should now be muted 15:06:01 ChrisW: no objection 15:06:15 ChrisW: next week telecon at same time as today 15:06:29 zakim, next item 15:06:29 I see a speaker queue remaining and respectfully decline to close this agendum, ChrisW 15:06:32 q? 15:06:39 David, you are right. How do I release IPcaller? 15:06:44 ack ipcaller 15:06:52 ack ipcaller.a 15:06:53 ChrisW: no items to be added to the agenda? 15:06:58 Can the one typing so lout please mute? 15:07:06 q? 15:07:09 q= 15:07:11 q? 15:07:16 queue= 15:07:17 ack [ip 15:07:29 zakim, next item 15:07:29 agendum 2. "F2F" taken up [from ChrisW] 15:07:36 Igor, I just changed you to IPcaller.a, but IPcaller still seems unavailable 15:07:40 ChrisW: next F2F meeting 15:07:51 -??P60 15:08:21 zakim, who is on the phone? 15:08:21 On the phone I see ChrisW, Deborah_Nichols (muted), Dave_Reynolds, Hassan_Ait-Kaci (muted), josb (muted), Harold, PaulaP (muted), Allen_Ginsberg (muted), Axel_Polleres (muted), 15:08:22 ChrisW: Christian made another proposal for the upcoming F2F 15:08:24 ... Leora_Morgenstern, Sandro, IgorMozetic, IgorMozetic.a, agiurca (muted) 15:08:26 +[IPcaller] 15:08:39 ChrisW: possibility to meet in Paris at ILOG 15:09:08 ChrisW: Sandro to make a form for voting on the location and dates for the next F2F 15:09:23 ACTION: Sandro set up F2F6 survey, today 15:09:24 Created ACTION-264 - Set up F2F6 survey, today [on Sandro Hawke - due 2007-03-20]. 15:09:39 Hassan: May 24 and 25, 2007 15:09:57 ChrisW: there are many possible dates at ESWC 2007 15:09:58 -IgorMozetic 15:10:16 +[IPcaller] 15:10:25 ChrisW: some of them conflict with events co-located with ESWC 2007 15:10:44 MichaelKifer has joined #rif 15:10:51 ChrisW: possible to vote for multiple dates 15:10:59 I think the wiki page is clear 15:11:05 q? 15:11:16 zakim, next item 15:11:16 agendum 3. "Liason" taken up [from ChrisW] 15:11:18 ChrisW: anything else on the next F2F? 15:11:31 Topic: Liaison 15:11:39 PRR: submission due in next OMG meeting 15:11:39 zakim, close item 3 15:11:39 agendum 3, Liason, closed 15:11:41 I see 4 items remaining on the agenda; the next one is 15:11:43 4. Technical Design [from ChrisW] 15:11:46 zakim, next item 15:11:46 agendum 4. "Technical Design" taken up [from ChrisW] 15:11:59 ChrisW: action review 15:12:14 zakim, who is on the phone? 15:12:14 On the phone I see ChrisW, Deborah_Nichols (muted), Dave_Reynolds, Hassan_Ait-Kaci (muted), josb (muted), Harold, PaulaP (muted), Allen_Ginsberg (muted), Axel_Polleres (muted), 15:12:17 ChrisW: Michael, are you here? 15:12:17 ... Leora_Morgenstern, Sandro, IgorMozetic.a, agiurca (muted), PaulVincent, DavidHirtle 15:12:42 yes, continued 15:12:44 +Gary_Hallmark 15:13:00 ChrisW: Deborah's action continued 15:13:21 ChrisW: Harold's action 246 is done 15:13:27 http://www.w3.org/2005/rules/wg/wiki/Core/Specification 15:13:31 zakim, mute me 15:13:31 IgorMozetic should now be muted 15:13:41 -Gary_Hallmark 15:13:47 ACTION 242 done 15:13:51 +Gerd_Wagner 15:14:22 ACTION 232 continued 15:14:46 GerdWagner has joined #rif 15:14:54 ChrisW: status of 1st WD? 15:14:57 michael are you there? 15:15:11 Harold: Michael did almost everything 15:15:22 Harold: moved blue boxes at the end 15:15:37 http://www.w3.org/2005/rules/wg/wiki/Core 15:15:38 +Michael_Kifer 15:15:43 ChrisW: is the heading structure fixed? 15:15:50 zakim, mute me 15:15:50 Gerd_Wagner should now be muted 15:16:06 Michael: I did almost everything 15:16:57 Michael: to fix the section heading structure - I forgot what this is about 15:17:14 Harold: structure of main and sub-headings 15:17:29 Michael: I'll take a look at the structure 15:18:13 ChrisW: Sandro, how is the TOC actually generated for the generated version? 15:18:38 Sandro: it uses the structure of what is on the front wikipage 15:19:04 Sandro: it is not the right thing at moment 15:19:20 ChrisW: too many levels of nesting 15:19:48 Sandro: it might be a bug in the wiki-tr 15:20:06 Michael: 2.1 is a heading, but 2.1.1 not 15:20:22 Sandro: let me look at it right now 15:20:43 ChrisW: 2.1 has a subsection Meta-model 15:21:11 +Gary_Hallmark 15:21:34 Sandro: the problem is that it hasn't a number, it is just formatted in bold 15:21:50 Michael: 3 levels of nesting are quite normal 15:22:12 ChrisW: syntax and abstract syntax are sub-headings 15:22:34 Sandro: there are some problems here, style and number 15:23:03 Sandro: I'll choose a solution 15:24:05 ChrisW: also raise multi-sorted syntax one level 15:24:29 Michael: I see, it is level 5 15:25:43 ChrisW: check if subsections are nested too deep 15:25:54 The issue isn't there yet. 15:26:07 ChrisW: action on linking to issues 15:26:31 ChrisW: replace the discussion on URI 15:27:11 Michael: RIF URI will be defined in a next WD 15:27:34 ChrisW: every datatype will have a URI 15:27:58 Michael: this should be replaced by RIF, datatypes will have URIs 15:28:23 q? 15:28:28 hak has joined #rif 15:28:37 q+ 15:28:49 Michael: type of URIs 15:28:50 ack daver 15:29:15 -Hassan_Ait-Kaci 15:29:16 Dave: abstract domain 15:29:37 +Hassan_Ait-Kaci 15:29:38 dave: not really sure if it is like RDF resource 15:29:58 Michael: we have to say how to interpret this thing 15:30:08 Michael: current as abstract domain 15:30:21 Zakim, hak is Hassan 15:30:21 sorry, hak, I do not recognize a party named 'hak' 15:30:22 Michael: there is an enumeration of all datatypes 15:30:39 -Hassan_Ait-Kaci 15:30:40 Michael: somewhere towards the end in Positive Conditions 15:30:51 Michael: Multi-sorted syntax 15:31:00 Hassan has joined #rif 15:31:19 Michael: there is a paragraph on the domains of these datatypes 15:31:24 +Hassan_Ait-Kaci 15:31:25 AllenGinsberg, DavidHirtle -- I think I just fixes wiki-tr to do the right thing on the
 examples (finally!)
15:31:37  Michael: there are two sentences on that
15:31:52  Michael: it is like RDFS resource
15:32:21  Michael: adding a new notation just raises new questions
15:33:49  ChrisW: use RIF:URI
15:34:28  Michael: there is one more thing on disjunction
15:35:03  s/disjunction/disjoint functions
15:35:21  ChrisW: we didn't decide on that yet
15:36:04  ChrisW: raise a formal issue to ensure that it will be discussed
15:36:10  http://www.w3.org/2005/rules/wg/track/issues/open
15:36:30  Deborah: the issue on URIs will be open tomorrow
15:36:50  ChrisW: disjointness of various semantic domains as new issue
15:37:15  ChrisW: Michael to write an email to describe this new issue
15:38:07  ACTION to link to the new issue continued
15:38:23  Deborah: user-defined types considered as sorts?
15:38:34  q+
15:38:34  ChrisW: we didn't have a resolution on that
15:38:37  -Gary_Hallmark
15:38:50  Michael: what are they if they aren't sorts
15:40:02  ACTION on Deborah to open an issue on disjointness of various semantic domains
15:40:10  q+
15:40:12  Coming back to my ACTION 232, I meanwhile looked again at Hassan's minutes, where it says:
15:40:15   Harold: "...among the bodies of the rules expressed in future RIF dialects. Possible dialects that have been considered so far include LP, FO, PR and RR; the condition language could also be used to unfirmly express integrity contraints and queries".
15:40:31  q?
15:40:44  http://www.w3.org/2005/rules/wg/wiki/Core/Positive_Conditions
15:40:45  zakim, who is on the phone?
15:40:45  On the phone I see ChrisW, Deborah_Nichols (muted), Dave_Reynolds, josb (muted), Harold, PaulaP (muted), Allen_Ginsberg (muted), Axel_Polleres (muted), Leora_Morgenstern, Sandro,
15:40:49  Harold: action 232 - there is just a typo above
15:40:50  ... IgorMozetic (muted), agiurca (muted), PaulVincent, DavidHirtle, Gerd_Wagner (muted), Michael_Kifer, Hassan_Ait-Kaci (muted)
15:40:56  Although there was no decision regarding concrete extensions beyond Horn rules, the intent behind this condition language is that it will be shared among the bodies of the rules expressed in future RIF dialects. Possible dialects that have been considered so far include LP, FO, PR and RR; the condition language could also be used to uniformly express integrity contraints and queries.
15:41:09  Harold: the proposed resolution is given above
15:41:16  ChrisW: good
15:41:28  ACTION 232 DONE
15:41:39  ack
15:41:44  zakim, ack me
15:41:44  unmuting josb
15:41:45  I see DaveReynolds on the speaker queue
15:41:47  zakim, mute me
15:41:47  Michael_Kifer should now be muted
15:42:22  Jos: disjointness of various domains; the issue is how extensible the Core should be
15:42:37  Jos: some dialects will require such disjointness
15:42:40  zakim, unmute me
15:42:40  Michael_Kifer should no longer be muted
15:42:43  q+
15:42:58  Jos: we need to look at it wrt to requirements on the Core
15:43:04  ChrisW: I agree with that
15:43:25  zakim, mute me
15:43:25  josb should now be muted
15:43:33  Dave: what is the status of the editorial comments of the reviews?
15:43:58  +Gary_Hallmark
15:44:07  Harold: maybe send it again or pointers to it
15:44:16  if I understood jos right he said that we need to decide whether core is the most restrictive subset, or whether actual languages could actually be more restrictive than the core? In case ++1
15:44:49  Michael: Francois also sent a message and I incorporated most of his suggestions
15:45:03  ChrisW: we don't need to repeat the review work
15:45:21  Michael: just search to see whether some issues were adressed
15:45:28  GaryHallmark has joined #rif
15:45:46  ChrisW: post the URL of your email containing the review
15:46:02  ... anyway letme add, I think we shouldn't strive for the most restrictive possible subset, as this would be maybe somethnig not beyond propositional horn. 
15:46:06  http://lists.w3.org/Archives/Public/public-rif-wg/2007Feb/0107.html
15:46:09  q?
15:46:14  ack m
15:46:19  ChrisW: we should take these comments also into account
15:46:55  Michael: about Jos's remark - extensibility means that everything in the Core will be there in the extensions
15:46:56  q-
15:47:01  zakim, mute me
15:47:01  Michael_Kifer should now be muted
15:47:10  zakim, next item
15:47:10  agendum 5. "UCR" taken up [from ChrisW]
15:47:22  the issue is when other dialects add restrictions
15:47:24  zakim, unmute ,e
15:47:24  sorry, AllenGinsberg, I do not know which phone connection belongs to ,e
15:47:24  ChrisW: action review
15:47:30  zakim, unmute me
15:47:30  Allen_Ginsberg should no longer be muted
15:47:44  ACTION 237 DONE 
15:48:11  ACTION 236 DONE
15:48:22  ACTIOM 235 DONE
15:48:32  s/ACTIOM/ACTION
15:48:35  jos, sure, but propositional horn is a kinda very restrictive dialect, right? so the question is where to draw the line for "core", IMO.
15:49:06  ChrisW: we started to have some substantial changes to the UCR WD
15:49:24  ChrisW: should we make other changes before review?
15:50:18  Allen: requirement to determine that a set of rules conform to a certain dialect
15:50:38  Allen: some way of determining that a language is in a RIF dialect
15:50:47  Allen: is this a requirement?
15:51:16  ChrisW: I'm not sure that this is a requirement
15:51:38  indeed!
15:51:48  ChrisW: it might be a unsolvable problem in case of more complex dialects
15:52:06  ChrisW: interesting question
15:52:27  ChrisW: we can raise and discuss it, if you think this is important
15:52:35  It was exactly my point that we need to think about what we want with the core; from this would follow what it looks like.
15:53:31  Allen: the basic RIF processing model at the beginning of UCR WD
15:53:39  Allen: this is Section 2
15:53:54  Allen: I added some initial paragraph
15:54:13  Allen: below the second figure are some new sentences
15:54:35  Allen: not sure if Christian is happy with that
15:54:56  It is worth noting here that data models based on XML, RDF, and OWL, have special status in RIF, in part because of the RIF charter. Interchange of rules based upon the use of other data modeling formats might therefore require additional machinery beyond RIF-based translation software.
15:55:21  ChrisW: PR people? do you have any concerns regarding the text given above and in the UCR WD?
15:55:44  No objection from a PR perspective...
15:55:51  ChrisW: should we get some reviews for the document?
15:56:17  Allen: I think so
15:56:26  AlexKozlenkov has joined #rif
15:56:30  Leora: I wrote a partial review
15:57:11  ok
15:57:17  ChrisW: Leora, Adrian take a look at the new version to make sure you agree with it
15:57:39  ChrisW: any other comments on the UCR WD?
15:57:44  zakim, next item
15:57:44  agendum 6. "RIFRAF" taken up [from ChrisW]
15:58:07  ChrisW: action review
15:58:33  I checked, didn't find an action for me on that :-)
15:58:47  nono...
15:58:48  ChrisW: actions to do work similar to Axel's
15:59:05  Zakim, unmute me
15:59:05  Axel_Polleres should no longer be muted
15:59:06  ChrisW: Axel, anything to discuss today on RIFRAF?
15:59:33  Axel: actually I don't know what was decided at F2F
15:59:55  Axel: I wait for the actions on Leora and Allen to be completed 
16:00:27  Axel: I can complete the work I started or wait until the Core is stable
16:00:39  ChrisW: the version of Core is stable
16:00:53  Zakim, mute me
16:00:53  Axel_Polleres should now be muted
16:00:53  ACTION on Axel to complete his RIFRAF exercise
16:01:26  that was the bottom-up vs. top down, right?
16:01:35  ChrisW: we still to use RIFRAF to this much more coarse-grained identification of dialects
16:01:58  ChrisW: defining which combination of features goes in which dialect
16:02:07  ACTION: Axel to complete his RIFRAF excersize - due 2007-03-31
16:02:08  Created ACTION-265 - complete his RIFRAF excersize [on Axel Polleres - due 2007-03-31].
16:02:15  Zakim, unmute me
16:02:15  Axel_Polleres should no longer be muted
16:02:24  +AlexKozlenkov
16:02:35  zakim, AlexKozlenkov is me
16:02:35  +AlexKozlenkov; got it
16:02:41  zakim, mute me
16:02:41  AlexKozlenkov.a should now be muted
16:02:49  Axel: before defining sets of features we need to define these features
16:02:55  Zakim, mute me
16:02:55  Axel_Polleres should now be muted
16:03:00  Leora: agreement on that
16:03:09  zakim, next item
16:03:09  agendum 7. "AOB" taken up [from ChrisW]
16:03:23  ChrisW: we are at the end of our agenda
16:03:25  -AlexKozlenkov.a
16:03:28  +1
16:03:31  ChrisW: AOB
16:03:32  -IgorMozetic
16:03:40  -Hassan_Ait-Kaci
16:03:41  -Harold
16:03:43  -PaulVincent
16:03:47  -Gary_Hallmark
16:03:47  -agiurca
16:03:47  -Deborah_Nichols
16:03:49  -Sandro
16:03:50  -DavidHirtle
16:03:51  -Allen_Ginsberg
16:03:52  -Leora_Morgenstern
16:03:52  rrsagent, make minutes
16:03:52  I have made the request to generate http://www.w3.org/2007/03/13-rif-minutes.html ChrisW
16:03:54  -Dave_Reynolds
16:03:56  -Axel_Polleres
16:03:58  -josb
16:04:00  -Gerd_Wagner
16:04:04  -agiurca
16:04:06  -Michael_Kifer
16:04:36  -ChrisW
16:04:40  -PaulaP
16:04:41  SW_RIF()11:00AM has ended
16:04:42  Attendees were ChrisW, Deborah_Nichols, Dave_Reynolds, Hassan_Ait-Kaci, +39.047.101.aaaa, josb, PaulaP, Harold, Allen_Ginsberg, Axel_Polleres, Leora_Morgenstern, Sandro,
16:04:45  ... IgorMozetic, agiurca, PaulVincent, DavidHirtle, Gary_Hallmark, Gerd_Wagner, Michael_Kifer, AlexKozlenkov
16:05:28  rrsagent, make minutes
16:05:28  I have made the request to generate http://www.w3.org/2007/03/13-rif-minutes.html ChrisW
16:11:57  csma has joined #rif
16:12:19  \me zakim, who is on the phone?