14:27:01 RRSAgent has joined #rif 14:27:01 logging to http://www.w3.org/2007/05/08-rif-irc 14:27:08 zakim, this will be rif 14:27:08 ok, ChrisW; I see SW_RIF()11:00AM scheduled to start in 33 minutes 14:28:28 Meeting: RIF Telecon 8 May, Agenda: http://lists.w3.org/Archives/Public/public-rif-wg/2007May/0011.html 14:28:55 Meeting: RIF Telecon 1 May 2007 14:29:16 ChrisW has changed the topic to: RIF Telecon 1 May, Agenda: http://lists.w3.org/Archives/Public/public-rif-wg/2007May/0011.html 14:29:32 Chair: Christian de Sainte-Marie 14:29:44 Agenda: http://lists.w3.org/Archives/Public/public-rif-wg/2007May/0011.html 14:29:58 zakim, clear agenda 14:29:58 agenda cleared 14:30:04 agenda+ Admin 14:30:11 agenda+ F2F6 14:30:17 agenda+ Liason 14:30:38 agenda+ Core: Issue 31 14:30:44 agenda+ Core: Metadata 14:30:52 agenda+ UCR 14:30:58 agenda+ RIFRAF 14:31:02 agenda+ AOB 14:31:16 rrsagent, make minutes 14:31:16 I have made the request to generate http://www.w3.org/2007/05/08-rif-minutes.html ChrisW 14:38:32 rrsagent, make logs public 14:44:15 sandro has joined #rif 14:53:26 DavidHirtle has joined #rif 14:54:55 SW_RIF()11:00AM has now started 14:55:01 +Sandro 14:55:31 patranja has joined #rif 14:57:15 sandro has changed the topic to: RIF Telecon 8 May http://lists.w3.org/Archives/Public/public-rif-wg/2007May/0011 14:57:22 +[IBM] 14:58:19 can you hear me at all now? 14:58:25 zakim, [ibm] is temporarily me 14:58:25 +ChrisW; got it 14:58:42 zakim, who is on the call? 14:58:42 On the phone I see Sandro, ChrisW 14:58:44 Harold has joined #rif 14:59:25 +[NRCC] 14:59:41 mdean has joined #rif 14:59:44 Zakim [NRCC] is me. 15:00:08 DaveReynolds has joined #rif 15:00:29 +Mike_Dean 15:00:32 AxelPolleres has joined #rif 15:00:49 IgorMozetic has joined #rif 15:00:53 +Dave_Reynolds (was Guest P14 74394) 15:00:55 PaulVincent has joined #rif 15:00:56 +Dave_Reynolds 15:01:25 +PaulaP 15:01:27 +[IPcaller] 15:01:56 +??P34 15:02:27 zakim, who is on the phone? 15:02:33 On the phone I see Sandro, ChrisW, Harold, Mike_Dean, Dave_Reynolds, PaulaP (muted), DavidHirtle, ??P34 15:03:07 +[IPcaller] 15:04:10 Hassan has joined #rif 15:04:16 scribenick: DavidHirtle 15:04:25 Scribe: David Hirtle 15:05:06 zakim, who is on the phone? 15:05:06 On the phone I see Sandro, ChrisW, Harold, Mike_Dean, Dave_Reynolds, PaulaP (muted), DavidHirtle, PaulVincent, AxelPolleres 15:05:16 Thanks Dave! I so enjoy my little chats with Zakim... 15:05:27 zakim, next item 15:05:27 agendum 1. "Admin" taken up [from ChrisW] 15:06:08 +Hassan_Ait-Kaci 15:06:11 zakim, close item 1 15:06:11 agendum 1, Admin, closed 15:06:12 I see 6 items remaining on the agenda; the next one is 15:06:13 2. F2F6 [from ChrisW] 15:06:14 zakim, next item 15:06:14 agendum 2. "F2F6" taken up [from ChrisW] 15:06:29 Allen has joined #rif 15:07:19 +Allen_Ginsberg 15:07:49 +??P43 15:07:58 zakim, ??P43 is me 15:07:58 +IgorMozetic; got it 15:08:12 chris: anyone who hasn't filled out the survey for the F2F, please do so 15:08:22 zakim, mute me 15:08:22 IgorMozetic should now be muted 15:08:23 AllenG has joined #rif 15:08:54 Unless dinner is ++ better than the meeting... 15:09:10 chris: 22 people who will attend the meeting, and 28 who will attend the dinner... 15:09:38 sandro: make your hotel reservations soon if you haven't already 15:10:10 zakim, next item 15:10:10 agendum 3. "Liason" taken up [from ChrisW] 15:10:27 NO update from PRR 15:10:38 AllenGinsberg has joined #rif 15:10:45 q+ on SPARQL review 15:10:48 POWDER working group 15:11:11 -> http://www.w3.org/2007/powder/blog 15:11:22 chris: POWDER is another SemWeb WG working on content rating... 15:11:29 interesting, that fits with one of our use cases. 15:11:32 -> http://www.w3.org/2007/powder/ 15:11:42 -IgorMozetic 15:11:53 ... they've identified some rules use cases and want some feedback from us 15:12:19 ... I'll forward to our list; feel free to reply 15:12:25 +[IPcaller] 15:12:36 zakim, [IPcaller] is me 15:12:36 +IgorMozetic; got it 15:12:41 zakim, mute me 15:12:41 IgorMozetic should now be muted 15:13:30 zakim, next item 15:13:30 agendum 4. "Core: Issue 31" taken up [from ChrisW] 15:14:47 Axel: I sent comments on SPARQL that could perhaps been endorsed by RIF. For now I just sent them as myself. 15:15:05 CGI868 has joined #rif 15:15:07 Chris: Alas, we didn't have time to make that formally from RIF. 15:15:12 Chris: I think it's fine. 15:15:32 zakim, who is here? 15:15:32 On the phone I see Sandro, ChrisW, Harold, Mike_Dean, Dave_Reynolds, PaulaP (muted), DavidHirtle, PaulVincent, AxelPolleres, Hassan_Ait-Kaci (muted), Allen_Ginsberg, IgorMozetic 15:15:36 ... (muted) 15:15:37 On IRC I see CGI868, AllenGinsberg, AllenG, Allen, Hassan, PaulVincent, IgorMozetic, AxelPolleres, DaveReynolds, mdean, Harold, PaulaP, DavidHirtle, sandro, RRSAgent, ChrisW, 15:15:39 ... Zakim, rifbot 15:15:41 Topic: Issue-31 15:15:47 MichaelKifer has joined #rif 15:16:24 http://www.w3.org/2005/rules/wg/wiki/Issue-31 15:17:31 + +39.047.101.aaaa 15:17:43 zakim, aaaa is me 15:17:43 +MichaelKifer; got it 15:17:53 zakim, mute me 15:17:53 MichaelKifer should now be muted 15:18:39 q? 15:18:45 chris: main discussion in the group is between ONDS and OS choices 15:19:14 Sandro: translation to DS is hard, from DS is easy. 15:19:53 Chris: Straw Poll. Who likes OS? 15:21:21 zakim, unmute me 15:21:21 MichaelKifer should no longer be muted 15:21:24 zakim, mute me 15:21:24 MichaelKifer should now be muted 15:21:24 Can MK comment on that? 15:21:25 Chris: translations from lower numbers to higher numbers is easy; not the other way around. 15:21:25 chris: translating from a higher number choice back to lower number (esp 3 to 1) is hard 15:21:42 q+ 15:22:18 hassan: why is it difficult to translate from higher number to lower? 15:22:26 That was a question. 15:22:47 Actually #2 (ONDS) to #3 (OS) is not quite trivial if you have equality 15:23:09 what hassan mentions is 2 -> 1, that is easy. 15:23:56 agreed 1 <-> 2 is trivial, it is 3 (OS) which makes it hard, both ways 15:24:00 q- 15:24:06 chris: there are some entailments that make it extremely difficult from 3 down to 1 (or even 2) 15:24:29 q+ 15:24:39 hassan: if you interpret it then it has a unique meaning; you can spew it out unambiguously 15:25:17 zakim, unmute me 15:25:17 MichaelKifer should no longer be muted 15:25:50 michael: hassan is right, translations in both directions are possible 15:25:51 p(a), q(b), p=q, in OS entails p(b) and q(a), right. 15:26:44 ChrisW, I'd be interested to hear the results of the straw poll, but I'd like to know if folks can vote for more than one option. 15:26:51 OSR is even better IMHO 15:27:08 chris: michael, from OS into DS is easy? 15:27:43 michael: depends on what you mean by easy; can use a predicate etc. 15:27:43 MichaelKifer: it was proven in the HiLog paper ... 15:27:56 Chris: a predicate for each arity ... a combinatoric explosion of rules. 15:28:19 hassan: where's the combinatorial explosion come from? 15:28:22 Hassan: please explain combinatoric explosion 15:28:23 michael: number of rules 15:28:49 MichaelKifer: grown in the size of each rule, but the same number of rules, same number of symbols. I think the grown is actually linear. 15:29:06 zakim, mute me 15:29:06 MichaelKifer should now be muted 15:29:08 q- 15:29:48 sandro: if no one is going to argue other side, no need for argument 15:30:02 chris: yes, vote for more than one if you're happy with that 15:30:16 ... or we'll just ask who is against 15:30:27 ... who's opposed to choice 3 (OS)? 15:30:52 (say "-1 OS" if you are opposed.) 15:31:11 (no one opposed) 15:31:12 ... anyone opposed to 2 (ONDS)? 15:31:18 -1 ONDS 15:31:23 -1 onds 15:31:27 preference against ONDS but not rule it out 15:31:32 hassan: I'm opposed to it 15:31:35 -1 DS 15:31:40 chris: who's opposed to DS? 15:31:40 -1 DS 15:31:41 -1 15:31:42 hak -1 15:31:45 -1 ds 15:31:46 Allen: -1 DS 15:32:03 chris: so no one's opposed to 3; sounds like consensus 15:32:13 q+ 15:32:34 sandro: hassan seems to prefer 4, but we don't need to choose now: can just add reflection later 15:33:19 hassan: better to have reflection from the start, especially if it's not too costly to add 15:33:58 zakim, unmute me 15:33:58 MichaelKifer should no longer be muted 15:34:27 chris: is there an encoding of a reflective rule (rule that takes the syntax of the language and puts it into the language)? 15:34:39 michael: I don't know; haven't discussed it 15:35:04 sandro: by picking 3, we're not ruling out 4 15:35:22 michael: we need to pick up one and define semantics accordingly 15:35:34 sandro: have you thought about semantics of 3 vs 4? 15:35:57 michael: I know how to do semantics for 3 etc. but there are options for 4 (even syntactic)... we cannot just leave it open 15:36:35 chris: I agree with that; we should agree on 3 or 4 15:37:21 Hassan: Reflection is the possibility to describe your abstract syntax in your semantics. 15:37:43 MichaelKifer: How much introspection do you want to allow? 15:37:45 Pat Hayes recently put forward the very 15:37:45 general IKL system 15:38:03 which may be of interest here 15:38:14 regarding syntactic self-description: 15:38:28 http://lists.w3.org/Archives/Public/public-rif-wg/2006Oct/0109.html 15:38:44 sandro: let's resolve on 3 or 4 for now and discuss it more next week 15:38:46 chris: sure 15:39:17 MichaelKifer: introspection for encoding rules as data isn't a problem, but if we get close to Liar Paradox, etc, then it's another matter. 15:40:02 michael: I'm concerned about what happens when we go into a first order dialect 15:40:17 MichaelKifer: so it's easy enough to have some quotation, but if we get extended to FOL it may cause problems. 15:40:21 How much would we go in the direction of KIF and CG if we introduce quotation mechanism? 15:42:00 michael: a first order extension of this could lead to paradoxes, e.g. whatever I'm saying is a lie 15:42:43 hassan: a very simple reflection mechanism can't harm you 15:43:13 q? 15:43:18 ack m 15:43:18 michael: I don't know what the consequences are going to be if we allow reflection in the core; in a dialect only, it's not a problem 15:44:43 hassan: if you're designing a language, having the possibility to describe your own syntax is an advantage 15:44:55 ... I don't see any consequences 15:45:07 s/any c/any dire c/ 15:45:08 michael: in FOL, if you allow self-reference, you have to be very careful 15:45:31 Could we have a 1st-order-capable Core and a (Reflective) Extension Layer above it, of possible use for some Dialects. 15:46:29 chris: everyone seems to be talking about a different aspect of reflection 15:46:46 ... hassan, could you write up a proposal about reflection you have in mind? 15:47:26 hassan: sure, but I'm just using general programming language notion 15:48:03 hassan: I'm talking about something like Prolog's "univ" ( written "=.." ). 15:48:20 Chris: My concern is whether there is a way to support that in things like FOL. 15:48:30 hassan: a language that does not support reflection doesn't have to worry about it 15:48:52 Chris: We're trying to make the the Core be something that can be translated to every other languages. 15:48:52 chris: yes, it does, in order to be compliant 15:50:23 sandro: concrete example: we have a ruleset and we're translating it to FOL ... if the rule is trying to infer new data, does it affect rules themselves? 15:51:15 zakim, mute me 15:51:15 MichaelKifer should now be muted 15:51:33 chris: anyone else in favor of adding reflection? 15:51:40 (no one) 15:51:54 chris: hassan, please send a message to the list and we'll discuss next week 15:51:57 s/n?/n to Core? 15:52:10 chris: if no other support, we'll have to move to a dialect 15:53:06 sandro: let's resolve that we agreed on 3 or 4, not 1 or 2 15:53:46 hassan: I won't object to 3; I won't be able to attend next week 15:53:57 I'd be interested in reading Hassan's arguments for 4... 15:54:01 zakim, unmute me 15:54:01 MichaelKifer should no longer be muted 15:54:11 michael: I won't be on the telecon next week either 15:54:12 zakim, mute me 15:54:12 MichaelKifer should now be muted 15:54:16 PROPOSED: To go with 3 or 4, and next week we'll decide between 3 and 4, if Hassan's e-mail convinced anyone. 15:54:34 PROPOSED: To go with 3 (OS) or 4 (OSR), and next week we'll decide between 3 and 4, if Hassan's e-mail convinced anyone. 15:54:54 chris: any objections? 15:55:10 RESOLVED: To go with 3 (OS) or 4 (OSR), and next week we'll decide between 3 and 4, if Hassan's e-mail convinced anyone. (cf http://www.w3.org/2005/rules/wg/wiki/Issue-31) 15:55:14 zakim, next item 15:55:14 agendum 5. "Core: Metadata" taken up [from ChrisW] 15:55:39 chris: I'm not really prepared on this issue; christian not here 15:55:48 sandro: I feel somewhat prepared 15:56:00 ... DaveR may be more than me if he'd rather 15:57:15 DaveR: I took issue to be that we have requirement about attaching metadata to rules... how do we represent, what are core items, etc? 15:57:22 DaveReynolds: How do we represent Metadata? What core vocab should we have? And How extensible should it be? 15:57:41 DaveReynolds: I think it should be, in the style of RDF, completely open ended. 16:00:08 Sandro: what if you use RDF in RIF Core format? 16:00:15 BTW: having meta-data is having some relection 16:00:26 Chris: So what if you have a rule like "All the rules authored by Chris are false" ? 16:00:52 chris: we have to be careful about putting this in core because of problems in translating rules into languages that don't support it 16:02:01 Sandro: How about having a file have a Ruleset and a Metadata set, and you can merge them at your own risk. 16:02:40 chris: one obvious way to express RDF as metadata would be to use triples 16:03:14 ... what metadata do we need? 16:03:49 4.1.5. Embedded metadata 16:03:49 RIF must support metadata such as author and rule name. 16:04:32 A 'rulename' can be used to *attach* metadata to rules such as 'author'. 16:04:34 Rule metadata - see Dublin Core; properties like priority etc 16:04:35 Chris: just wondering about kinds of metadata that might impact the core..... 16:04:57 DaveReynolds: date, provenance, 16:05:02 chris: is Dublin Core enough? 16:05:23 DaveReynolds: for round-tripping, we might need "the original form of name" 16:05:27 q+ 16:06:09 ack p 16:06:17 Paul: usually in rule-matching systems, data defined for customer 16:07:25 -Sandro 16:07:41 +1 to Chris, translator hint annotations seem valuable 16:07:41 + +1.403.762.aabb 16:08:02 zakim, who is on the phone? 16:08:02 On the phone I see ChrisW, Harold, Mike_Dean, Dave_Reynolds, PaulaP (muted), DavidHirtle, PaulVincent, AxelPolleres, Hassan_Ait-Kaci (muted), Allen_Ginsberg, IgorMozetic (muted), 16:08:04 Paul: obvious one is original language in which rules are defined, also source rules as comments 16:08:06 ... MichaelKifer (muted), +1.403.762.aabb 16:08:39 q+ 16:09:01 chris: we have this Dublin Core metadata, round-trip "preservation metadata", any other kinds? 16:09:09 allen: dialect identification metadata? 16:09:18 sandro: I don't think that's metadata 16:09:45 Harold: instead of giving dialect as metadata, could have different URLs pointing to different XML Schemas of RIF 16:09:53 Harold - surely a URL refernce is just a form of metadata? 16:09:54 Reference: http://dublincore.org/ 16:10:19 sandro: I agree, could have different namespace for each dialect 16:11:45 harold: XSD is quite weak; may involve other things like Schematron 16:12:04 Dave, I meant the URL that points to the definition of a dialect such as to its xml schema. 16:13:12 s/Schematron/Schematron or even semantic validators (for results of static analysis)/ 16:15:53 chris: does each dialect define set of metadata fields? 16:16:57 Chris, about the direction of pointing between a RIF file and its metadata, I think essential metadata (about results of static analysis) cannot point from outside into their RIF file -- they must be attached to the ruleset iteself. 16:17:28 -PaulaP 16:17:51 zakim, next item 16:17:51 I see a speaker queue remaining and respectfully decline to close this agendum, ChrisW 16:17:56 ack 16:18:00 q? 16:18:02 ack h 16:18:04 zakim, next item 16:18:05 agendum 6. "UCR" taken up [from ChrisW] 16:18:21 chris: where do we stand? 16:18:29 -Harold 16:18:44 allen: need to add text for figures, otherwise nothing else 16:19:04 chris: should we have a use cases section at F2F? 16:19:14 allen: phase 2 requirements... 16:19:43 chris: I think Paula started a list of phase 2 requirements 16:20:38 zakim, next item 16:20:38 agendum 8. "AOB" taken up [from ChrisW] 16:21:36 allen: I did the ontology thing using imports and sent it to the list a while ago... just wanted to make sure it's okay 16:21:44 zakim, next item 16:21:44 I do not see any non-closed or non-skipped agenda items, ChrisW 16:21:47 Suggestion: Can we postpone this discussion until in two weeks (will be) 16:21:53 travelling next telecon! 16:21:59 zakim, take up item 7 16:21:59 agendum 7. "RIFRAF" taken up [from ChrisW] 16:22:03 chris: sure 16:22:12 yes! 16:22:15 chris: so schedule F2F time to talk about RIFRAF 16:22:23 sorry, cannot unmute, my skype is somewhat stuck 16:22:37 +1 16:22:39 -MichaelKifer 16:22:41 -PaulVincent 16:22:42 -IgorMozetic 16:22:43 please schedule rifraf on day 1 (june 2) 16:22:45 -Hassan_Ait-Kaci 16:22:45 thanks! 16:22:46 -Allen_Ginsberg 16:22:50 -Dave_Reynolds 16:22:56 rrsagent, make minutes 16:22:56 I have made the request to generate http://www.w3.org/2007/05/08-rif-minutes.html ChrisW 16:23:12 -AxelPolleres 16:23:23 -Mike_Dean 16:23:40 -DavidHirtle 16:23:43 zakim, who is on the phone? 16:23:43 On the phone I see ChrisW, +1.403.762.aabb 16:25:49 -ChrisW 16:25:51 - +1.403.762.aabb 16:25:53 SW_RIF()11:00AM has ended 16:25:54 Attendees were Sandro, ChrisW, Mike_Dean, Dave_Reynolds, PaulaP, DavidHirtle, Harold, AxelPolleres, PaulVincent, Hassan_Ait-Kaci, Allen_Ginsberg, IgorMozetic, +39.047.101.aaaa, 16:25:57 ... MichaelKifer, +1.403.762.aabb 16:26:04 Chair: Chris Welty 16:26:47 Regrets: FrançoisBry, JosDeBruijn, MichaelSintek, MarkusKrötzsch, DeborahNichols 16:26:53 rrsagent, make minutes 16:26:53 I have made the request to generate http://www.w3.org/2007/05/08-rif-minutes.html ChrisW 16:27:29 Chair: Chris Welty 16:27:33 rrsagent, make minutes 16:27:33 I have made the request to generate http://www.w3.org/2007/05/08-rif-minutes.html ChrisW 16:31:35 DavidHirtle has left #rif 18:49:56 Zakim has left #rif 20:00:15 sandro has joined #rif 21:44:15 sandro has joined #rif