14:31:46 RRSAgent has joined #rif 14:31:46 logging to http://www.w3.org/2008/04/22-rif-irc 14:31:57 zakim, this will be rif 14:31:57 ok, ChrisW; I see SW_RIF()11:00AM scheduled to start in 29 minutes 14:32:15 Meeting: RIF Telecon 22 Apr 2008 14:32:21 Chair: Chris Welty 14:37:24 Hi, Harold, sorry no. Looking now. 14:38:33 Agenda: http://lists.w3.org/Archives/Public/public-rif-wg/2008Apr/0104.html 14:38:57 ChrisW has changed the topic to: 22 Apr RIF Telecon Agenda http://lists.w3.org/Archives/Public/public-rif-wg/2008Apr/0104.html 14:39:22 rrsagent, make minutes 14:39:22 I have made the request to generate http://www.w3.org/2008/04/22-rif-minutes.html ChrisW 14:39:39 zakim, clear agenda 14:39:39 agenda cleared 14:39:44 agenda+ Admin 14:40:01 agenda+ F2F10 14:40:07 Harold, I'm not sure I understand. You're saying you and Michael made changes at the same time and that, unlike usually, some of the changes were silently lost? 14:40:07 agenda+ Actions review 14:40:35 agenda+ Liason 14:41:04 agenda+ LC Todo: Clear items from CP 14:41:16 agenda+ LC Todo: Metadata 14:41:26 agenda+ Entailment regimes 14:41:30 agenda+ AOB 14:47:51 Harold, I replied to your e-mail 14:51:02 rrsagent, make logs public 14:59:29 Hassan has joined #rif 15:00:02 der has joined #rif 15:00:18 SW_RIF()11:00AM has now started 15:00:20 josb has joined #rif 15:00:24 +Hassan_Ait-Kaci 15:00:25 +[NRCC] 15:00:32 GaryHallmark has joined #rif 15:00:38 +Mike_Dean 15:00:50 zakim, [NRCC] is me 15:00:50 +Harold; got it 15:01:01 +??P26 15:01:19 +[IBM] 15:01:19 mdean has joined #rif 15:01:31 zakim, ibm is temporarily me 15:01:31 +ChrisW; got it 15:01:33 +josb 15:01:55 zakim, who is on the phone? 15:01:56 On the phone I see Harold, Hassan_Ait-Kaci (muted), Mike_Dean, DaveReynolds, ChrisW, josb 15:02:11 +Gary_Hallmark 15:02:24 Scribe: GaryHallmark 15:02:32 zakim, Gary_Hallmark is GaryHallmark 15:02:32 +GaryHallmark; got it 15:02:43 zakim, next item 15:02:43 agendum 1. "Admin" taken up [from ChrisW] 15:02:52 Sandro, my changes were finished, everything was fine in Michael's first round on top of mine, but then my changes were apparently silently lost in his second round on top of mine. 15:03:21 PROPOSED: Accept minutes of Apr 15 telecon 15:03:27 http://lists.w3.org/Archives/Public/public-rif-wg/2008Apr/att-0092/15-rif-minutes.html 15:03:35 RESOLVED: Accept minutes of Apr 15 telecon 15:03:53 +Sandro 15:04:14 Harold: Axel want to discuss DTB 15:04:21 s/want/wants 15:04:31 zakim, next item 15:04:31 agendum 2. "F2F10" taken up [from ChrisW] 15:05:00 zakim, list agenda 15:05:20 AxelPolleres has joined #rif 15:05:26 I see 6 items remaining on the agenda: 15:05:26 2. F2F10 [from ChrisW] 15:05:27 3. Actions review [from ChrisW] 15:05:29 4. Liason [from ChrisW] 15:05:31 5. LC Todo: Clear items from CP [from ChrisW] 15:05:33 6. LC Todo: Metadata [from ChrisW] 15:05:35 8. AOB [from ChrisW] 15:05:42 zakim, take up item 3 15:05:47 agendum 3. "Actions review" taken up [from ChrisW] 15:06:58 +??P50 15:08:04 Jos: no reply to email about functions and operators 15:08:31 Sandro: will send email 15:09:48 Instead of a two-step interpretation for builtin-predicates Itruth ? (Iexternal(s)) (the composition of Itruth and Iexternal(s), a truth-valued function), we defined a single Interpretation, Iexternal(s) D* ? TV here 15:09:58 Axel: need to iterate with Michael about semantics of builtin predicates 15:10:02 http://www.w3.org/2005/rules/wiki/DTB#Semantics_of_Built-ins 15:10:02 MichaelKifer has joined #rif 15:10:08 zakim, take item 2 15:10:08 I don't understand 'take item 2', ChrisW 15:10:11 zakim, take up item 2 15:10:11 agendum 2. "F2F10" taken up [from ChrisW] 15:10:45 +MichaelKifer 15:10:55 zakim, mute me 15:10:55 MichaelKifer should now be muted 15:11:03 Sandro: people should indicate f2f10 plans using survey. Sandro will add link to survey page 15:11:17 may 10th is fine. 15:11:29 zakim, list agenda 15:11:29 I see 6 items remaining on the agenda: 15:11:29 http://www.w3.org/2002/09/wbs/38457/f2f10/ 15:11:30 2. F2F10 [from ChrisW] 15:11:30 3. Actions review [from ChrisW] 15:11:32 4. Liason [from ChrisW] 15:11:33 5. LC Todo: Clear items from CP [from ChrisW] 15:11:34 6. LC Todo: Metadata [from ChrisW] 15:11:34 8. AOB [from ChrisW] 15:11:54 TOPIC: DTB 15:12:21 zakim, unmute me 15:12:21 MichaelKifer should no longer be muted 15:13:40 Axel: will discuss with Michael and produce stable DTB by Monday 15:13:54 zakim, take up item 5 15:13:54 agendum 5. "LC Todo: Clear items from CP" taken up [from ChrisW] 15:13:57 zakim, mute me 15:13:57 MichaelKifer should now be muted 15:14:01 http://www.w3.org/2005/rules/wiki/ToDo_before_BLD_last_call 15:15:01 Chris: has prepared a list (rather long) of pending issues for last call 15:16:00 PROPOSAL: ISSUE-37 is not in critical path for BLD 15:16:30 RESOLVED: ISSUE-37 is not in critical path for BLD 15:16:53 Chris: issue 37 is Interoperation with Object-Oriented XML 15:17:20 ... issue 38 is Interoperation with Arbitrary XML (like SAX/DOM) 15:17:34 zakim, mute me 15:17:34 MichaelKifer was already muted, MichaelKifer 15:17:41 PROPOSAL: ISSUE-38 is not in critical path for BLD 15:17:59 RESOLVED: ISSUE-38 is not in critical path for BLD 15:18:45 ... issue 48 is classification concepts in Core 15:19:13 ... Core issues is not on critical path for BLD 15:19:24 PROPOSAL: ISSUE-48 is not critical path for BLD 15:19:34 RESOLVED: ISSUE-48 is not critical path for BLD 15:20:01 ... issue 46 is Modules in RIF 15:20:30 ... Modules are an extension of "import" 15:20:52 PROPOSED: ISSUE-46 is not critical path for BLD 15:21:02 RESOLVED: ISSUE-46 is not critical path for BLD 15:21:31 http://www.w3.org/2005/rules/wiki/ToDo_before_BLD_last_call 15:21:52 q+ 15:22:50 ack jos 15:23:09 Jos: would like to discuss imports 15:23:30 chris: ok, first let's quickly go over the entire list 15:24:39 ... added new issues: comments and preservation of metadata 15:25:54 ... does BLD have profiles? 15:26:35 ... extensibility, fallbacks 15:26:42 ... import, include 15:27:37 ... 4 syntax issues: naming, striping, XML-RDF, shortcuts in presentation syntax 15:28:19 q- 15:28:41 topic: metadata issues 15:29:06 http://www.w3.org/2005/rules/wiki/BLD#EBNF_for_the_RIF-BLD_Rule_Language 15:29:52 +1 with ChrisW 15:30:18 Chris: keep condition and rule syntax together 15:30:23 http://www.w3.org/2005/rules/wiki/Annotations 15:31:39 q+ 15:31:44 Chris: Jos' syntax has a element, curernt syntax has as container for rules 15:31:45 q+ 15:31:51 q+ 15:33:13 ack hassan 15:33:58 hak has joined #rif 15:34:14 Jos: my metadata syntax does not use frame syntax 15:34:37 -Hassan_Ait-Kaci 15:35:01 +Hassan_Ait-Kaci 15:35:10 "One man's metadata is another man's data." 15:35:20 q+ 15:35:21 ... would like to distinguish between singleton rulesets and rules 15:35:28 -Hassan_Ait-Kaci 15:35:38 ack josb 15:35:39 zakim, unmute me 15:35:40 MichaelKifer should no longer be muted 15:35:46 ... i.e. would like metadata on rules, not only on singleton rulesets 15:36:10 Hassan has joined #rif 15:36:26 +Hassan_Ait-Kaci 15:36:34 mkifer: thinks the Group container is ok 15:37:43 The new proposal follows Occam's razor: http://en.wikipedia.org/wiki/Occam's_Razor 15:37:51 zakim, mute me 15:37:51 MichaelKifer should now be muted 15:37:52 ... also, use of Frames is better for rule languages that don't support RDF 15:38:44 jos: can immediately process frame metadata -- would need an extra step anyway to extract metadata to a separate ruleset 15:38:55 s/can/cannot 15:38:58 zakim, unmute me 15:38:58 MichaelKifer should no longer be muted 15:39:07 q? 15:39:16 ack MichaelKifer 15:39:28 Jos, this is not an extraction step in the sense of information extraction. It's just retrieving the filler of the role . 15:39:41 mkifer: but at least with Frames you don't need a mapping from RDF->Frames to process metadata w/rules 15:39:50 That filler, then, is in our own RIF language. 15:40:01 ack me 15:40:03 zakim, mute me 15:40:03 MichaelKifer should now be muted 15:40:47 dave: agrees that a Rule should have metadata w/o having to wrap in a Group 15:41:23 zakim, unmute me 15:41:23 MichaelKifer should no longer be muted 15:41:50 ... RDF syntax seems to allow nested metadata, but not Frames 15:42:22 zakim, mute me 15:42:22 MichaelKifer should now be muted 15:42:56 q+ 15:43:16 zakim, unmute me 15:43:16 MichaelKifer should no longer be muted 15:44:28 chris: the 2 syntaxes are close -- primarily whether metadata can be attached to a group vs a single rule 15:44:58 ... document => ruleset, group => rule, same number of grammar rules 15:46:11 jos: no way to group rules vs no way to express metadata on a single rule 15:46:14 zakim, mute me 15:46:14 MichaelKifer should now be muted 15:46:53 ... difference between a rule and a group of one rule 15:47:27 zakim, unmute me 15:47:27 MichaelKifer should no longer be muted 15:47:41 hassan: why can't attach metadata to both Rule and Group? 15:47:59 s/can't/can't we/ 15:49:41 q? 15:49:47 q- 15:50:28 zakim, unmute me 15:50:28 MichaelKifer was not muted, MichaelKifer 15:50:47 Chris: how about: keep the group element (with some name) and add back in the "rule" terminal symbol 15:51:07 chris: can we merge the proposals by adding tag that accepts same metadata as ? 15:51:15 mkifer: strongly objects 15:51:32 Formula? 15:52:08 ... term "rule" is misleading for FLD 15:52:33 chris: what about "formula" instead of rule? 15:52:46 hassan: but the R in RIF is for Rule 15:53:04 how about "Item" -- it's as neutral as "Group" 15:53:09 mkifer: what about queries, constraints 15:53:16 Here's an example of a singleton Group: 15:53:16 Group "http://sample.org"^^rif:iri["dc:publisher"^^rif:iri->"w3:W3C"^^rif:iri] 15:53:16 ( 15:53:16 Forall ?item ( 15:53:16 "cpt:reject"^^rif:iri("ppl:Fred"^^rif:iri ?item) :- "cpt:unsolicited"^^rif:iri(?item) 15:53:17 ) 15:53:19 ) 15:53:29 what about "fiffi"? 15:54:05 or "Entry" 15:54:10 mkifer: using "formula" requires reworking existing use of formulas in documents 15:55:34 q+ 15:56:27 zakim, mute me 15:56:27 MichaelKifer should now be muted 15:56:37 ack harold 15:56:50 hassan: groups are used for 2 purposes and should just be used for grouping rules rather than providing a place to attach metadata to a single rule 15:58:14 chris: what is the objection to adding a terminal for a single rule/formula? 15:58:43 harold: don't want a mandatory terminal 15:59:05 zakim, unmute me 15:59:05 MichaelKifer should no longer be muted 15:59:08 jos: ok, as long as it is possible 15:59:31 ... different terminal symbol depending on whether the content is singleton or not 15:59:32 PROPOSED: add an optional terminal like "Rule" or "Formula" or something to wrap a single formula, for adding metadata 15:59:53 RULE ::= 'Forall' Var+ '(' CLAUSE ')' | CLAUSE 16:00:20 PROPOSED: add an optional terminal like "Rule" or "Formula" or something to wrap a single formula (called non-terminal RULE in BLD draft), for adding metadata 16:00:31 RULE ::= Rule IRIMETA? ('Forall' Var+ '(' CLAUSE ')' | CLAUSE) 16:00:39 rule is unacceptable from the fld point of view and also from the point of view of dialects that allow constraints and queries 16:01:00 RULE ::= ['Rule' IRIMETA?]? ('Forall' Var+ '(' CLAUSE ')' | CLAUSE) 16:01:05 yes 16:02:01 q+ 16:02:44 RULE ::= ['Formula' IRIMETA?]? ('Forall' Var+ '(' CLAUSE ')' | CLAUSE) 16:04:06 mkifer: "formula" slightly better than "rule" but still seems like "syntax pollution" 16:04:17 zakim, mute me 16:04:17 MichaelKifer should now be muted 16:04:27 16:04:27 16:04:27 16:04:27 16:04:27 http://sample.org 16:04:28 16:04:30 16:04:32 16:04:34 dc:publisher 16:04:36 w3:W3C 16:04:38 16:04:40 16:04:42 16:04:44 16:04:46 16:04:48 16:04:50 item 16:04:52 16:04:52 -1 using attribute like that 16:04:54 16:04:56 16:04:58 16:04:58 q+ 16:05:00 cpt:unsolicited 16:05:02 item 16:05:04 16:05:06 16:05:08 16:05:10 16:05:12 cpt:reject 16:05:14 ppl:Fred 16:05:16 item 16:05:18 16:05:20 16:05:22 16:05:24 16:05:24 ack harold 16:05:26 16:05:26 ack hassan 16:05:28 16:05:30 16:05:47 harold: use of "cardinality" attribute could be used instead of Group + Formula 16:05:51 zakim, unmute me 16:05:51 MichaelKifer should no longer be muted 16:06:12 sandro: singleton group is not the same as its content 16:07:47 hassan: production rules each have a name. Odd to have to wrap each in a Group in order to carry the name metadata 16:08:16 RULE ::= ['Formula' IRIMETA?]? ('Forall' Var+ '(' CLAUSE ')' | CLAUSE) 16:08:41 chrisw: who objects to this? 16:08:52 -1 16:09:40 MichaelKifer: instead of "Group" say "Block" -- something that can easily have one thing. 16:09:48 Hassan: call it "Meta" 16:09:50 mkifer: Group has just one purpose - to carry metadata. There are no modules in RIF just yet. 16:09:51 MichaelKifer: Fine! 16:09:54 would be fine with me, too. 16:10:13 Group ::= 'Meta' IRIMETA? '(' (RULE | Group)* ')' 16:10:20 q+ 16:10:21 We would just need to change the lower-case role tag. 16:10:37 Meta ::= 'Meta' IRIMETA? '(' (RULE | Group)* ')' 16:11:05 Meta ::= 'Meta' IRIMETA? '(' (RULE | Meta)* ')' 16:12:35 jos: not so happy because it doesn't change the fact that a single rule can't have direct metadata 16:12:38 q- 16:13:11 zakim, unmute me 16:13:11 MichaelKifer was not muted, MichaelKifer 16:13:40 The XML above example would change to ....... 16:14:07 I give up ... let us use a meta wrapper to introduce meta stuff around anything 16:15:29 zakim, mute me 16:15:29 MichaelKifer should now be muted 16:18:34 zakim, unmute me 16:18:34 MichaelKifer should no longer be muted 16:18:57 RULE ::= ['Formula' IRIMETA?]? ('Forall' Var+ '(' CLAUSE ')' | CLAUSE) 16:19:00 Group ::= 'Meta' IRIMETA? '(' (RULE | Group)* ')' 16:19:28 Meta ::= 'Meta' IRIMETA? '(' (RULE | Meta)* ')' 16:21:07 chris: take strawpoll about preferences 16:21:19 "FORMULA" Proposal 16:21:49 +1 although I would use Meta rather than Formula 16:21:50 -1 16:21:53 +0.5 16:21:53 +1 but call it Rule in honor of RIF 16:21:53 NONBINDING-PROPOSED: add a terminal for individual rules 16:22:02 +0.5 would rather get rid of Group altogether 16:22:06 +1 16:22:07 +1 16:22:17 -0.5 16:22:30 +0.5 16:22:32 (would also prefer calling it "Rule") 16:22:32 "Meta" proposal 16:22:35 +1 16:22:37 NONBINDING-PROPOSED: renamed "Group" to "Meta" 16:22:38 +0.5 16:22:46 -1 16:22:46 +0 16:22:51 +1 16:22:53 -0 16:22:58 0 16:23:09 -1 just attach metadata to ruleset as Jos proposed 16:24:43 there's always Ralf Nader :-) 16:24:49 q+ 16:24:53 q- 16:25:35 zakim, unmute me 16:25:35 MichaelKifer was not muted, MichaelKifer 16:27:20 zakim, mute me 16:27:20 MichaelKifer should now be muted 16:27:53 zakim, unmute me 16:27:53 MichaelKifer should no longer be muted 16:28:02 The attachment point for metadata: The set of rules defining one predicate are sometimes called a 'definition' (in Prolog are called a 'procedure'). 16:28:05 zakim, mute me 16:28:05 MichaelKifer should now be muted 16:28:26 -MichaelKifer 16:28:27 -Hassan_Ait-Kaci 16:28:27 -josb 16:28:31 -Mike_Dean 16:28:32 -Harold 16:28:34 -DaveReynolds 16:28:35 -AxelPolleres 16:28:36 zakim, list attendees 16:28:37 As of this point the attendees have been Hassan_Ait-Kaci, Mike_Dean, Harold, ChrisW, josb, DaveReynolds, GaryHallmark, Sandro, AxelPolleres, MichaelKifer 16:28:59 Regrets: IgorMozetic AdrianPaschke LeoraMorgenstern 16:29:07 rrsagent, make minutes 16:29:07 I have made the request to generate http://www.w3.org/2008/04/22-rif-minutes.html ChrisW 16:29:31 -GaryHallmark 16:30:27 -Sandro 16:30:29 -ChrisW 16:30:29 SW_RIF()11:00AM has ended 16:30:31 Attendees were Hassan_Ait-Kaci, Mike_Dean, Harold, ChrisW, josb, DaveReynolds, GaryHallmark, Sandro, AxelPolleres, MichaelKifer